Peter Gorm Larsen. Applying formal specification in industry. IEEE Software, 13(3):48--56, 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....lack of tools to support the complex tasks of building and analyzing formal models can also make the application of FSTs impractical in some cases. The above mentioned and other problems with the application of early FSTs has resulted in work on the development of industrial strength FSTs [Lars96, WIFT95]. A key realization is that a practical development modeling and analysis approach requires (1) a judicious mixture of formal and informal techniques [Fran97] and (2) a set of integrated tools supporting the construction, analyses, and transformation of software models, and the linking of ....

Peter Gorm Larsen, John Fitzgerald, Tom Brookes, "Applying Formal Specification in Industry", IEEE Software 13(3), 1996.

....overall system which are only available as C code. This facility enables users to employ existing C libraries while a specification is being interpreted debugged. Related work has been carried out using an earlier version of the same technology by British Aerospace for communications software [3, 10, 6]. The results of this work were very promising and showed that the use of formal specification for critical components was slightly less expensive than the conventional way, and in addition an exceptional situation was discovered already at the system design phase which was never discovered with ....

Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48--56, May 1996.

....We believe that it is due to our pragmatic approach that we have been able to get our VDM technology applied by industrial users. Some of these are confidential but for a number of them interesting papers have been written jointly with the industrial user. This includes work at British Aerospace [10, 7], work at Aerospatiale [11, 5] and work at Dassault Electronique [2] In Austria students have started doing thesis projects in collaboration with Austrian industrial companies using the VDM technology. So far four such projects have been carried out and we expand on this below. 2 The VDM Tools: ....

Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48-- 56, May 1996.

....used, the more confidence is obtained in a formal model of a computer system. However, rigorous development using formal verification requires skilled personnel and is costly. Based on our experience of introducing formal specification to some European industrial companies, e.g. British Aerospace [7] and Aerospatiale [3] we believe that a less rigorous approach using validation by testing is a complement to formal verification, which engineers can use cost effectively early in their formal methods careers. When they become more confident with constructing formal models, it would be natural ....

Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48--56, May 1996.

No context found.

Peter Gorm Larsen. Applying formal specification in industry. IEEE Software, 13(3):48--56, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC