What does industry need from formal specification techniques?

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 2-7

  Hall, A ^a  

^a Praxis Critical Systems   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION TECHNIQUES; FORMAL TECHNIQUES; INDUSTRIAL PROJECTS; INDUSTRY NEEDS; PRACTICAL EXPERIENCE;

FORMAL SPECIFICATION;

EID: 84949496865     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766285     Document Type: Conference Paper

References (6)

1. C. L. Heitmeyer, R.D.Jeffords, B. G. Labaw. Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology, 5:231-261, July 1996.
2. M. Jackson, Software Requirements and Specifications. Addison Wesley, 1995.
3. A. Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, March 1996: 66-76.
4. S. Lawrence Pfleeger, L. Hatton. Investigating the Influence of Formal Methods. IEEE Computer, February 1997: 33-43.
5. M. Croxford, J. Sutton. Breaking Through the V & V Bottleneck. Proceedings Ada Europe 1995. Springer Verlag Lecture Notes in Computer Science 1031, 1996.
6. R. Barden, S. Stepney, D. Cooper. Z in Practice. Prentice Hall, 1994