This paper provides an overview of work carried out to: integrate tools to support the use of the formal techniques RAISE and LOTOS into a software development environment, the ESSDE; and then to use these integrated tools to demonstrate the application of formal techniques in a software development lifecycle. The work involved many concerns: extending the functionality of SDEs via tool integration, the usage of SDEs, the practical application of formal techniques, interworking of different methods in the software lifecycle. Some conclusions with respect to these concerns are also reported.
CITATION STYLE
Taylor, P. (1994). Formal methods for a space software development environment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 887 LNCS, pp. 90–103). Springer Verlag. https://doi.org/10.1007/3-540-58822-1_91
Mendeley helps you to discover research relevant for your work.