Picgal: Practical use of formal specification to develop a complex critical system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1313, Issue , 1997, Pages 221-236

  Devauchelle, Lionel ^a   Gorm Larsen, Peter ^b   Voss, Henrik ^b  

^a Department SY/YI BP 3 002 ^*  (France)

^b The Institute of Applied Computer Science (IFAD)   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FORMAL SPECIFICATION; NETWORK COMPONENTS; SOFTWARE RELIABILITY; SPECIFICATIONS;

CODE GENERATORS; CONVENTIONAL APPROACH; CRITICAL DOMAIN; CRITICAL SYSTEMS; HIGH RELIABILITY; INDUSTRIAL CONTEXT; MEASUREMENTS OF; PARALLEL DEVELOPMENT;

FORMAL METHODS;

EID: 84957358921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63533-5_12     Document Type: Conference Paper

References (10)

1. John Dawes. The VDM-SL Reference Guide. Pitman, 1991. ISBN 0-273-03151-1.
2. René Elmstrøm, Peter Gorm Larsen,and Poul Bcgh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77-80, September 1994.
3. John Fitzgerald, Peter Gorm Larsen, Tom Brookes, and Mike Green. Applications of Formal Methods, chapter 14. Developing a Security-critical System using Formal and Convential Methods, pages 333-356. Prentice-Hall International Series in Computer Science, 1995.
4. Brigitte FrShlich and Peter Gorm Larsen. Combining VDM-SL Specifications with C++Code. In Marie-Claude Gaudel and Jim Woodcock, editors, FME'96: Industrial Benefit and Advances in ForTnal Methods, pages 179-194. Springer-Verlag, March 1996.
5. Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, second edition, 1990. ISBN 0-13-880733-7.
6. Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48-56, May 1996.
7. Paul Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, pages 133-140, July 1995.
8. P. G. Larsen and B. S. Hansen and H. Brunn N. Plat and H. Toetenel and D. J. Andrews and J. Dawes and G. Parkin and others. Information technology -- Programming languages, their environments and system software interfaces – Vienna Development Method -Specification Language - Part 1: Base language, December 1996.
9. The VDM Tool Group. The IFAD VDM-SL Language. Technical report, IFAD, May 1996. IFAD-VDM-1.
10. T.M. Brookes and J.S. Fitzgerald and P.G. Larsen. Formal and Informal Specifications of a secure System Component: Final Results in a Comparative Study. In Marie-Claude Gaudel and Jim Woodcock, editors, FME'g6: Industrial Benefit and Advances in Formal Methods, pages 214-227. Springer-Verlag, March 1996.