Formal modeling in a commercial setting: A case study

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

Volumn 1708, Issue , 1999, Pages 590-607

  Wong, Andre ^a   Chechik, Marsha ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SOFTWARE TESTING;

COMMERCIAL SETTINGS; DEVELOPMENT PROCESS; FORMAL DESCRIPTION LANGUAGE; MULTIMEDIA MESSAGING SYSTEMS; NATURAL LANGUAGE SPECIFICATIONS; PRODUCTIVITY DATA; SOFTWARE REQUIREMENTS; TOOL EVALUATIONS;

FORMAL METHODS;

EID: 84958037669     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_33     Document Type: Conference Paper

References (33)

1. ANSI/IEEE. “IEEE 830: IEEE Recommended Practice for Software Requirements Specifications ". IEEE, 1993.
2. Aonix. “Aonix Home Page". http://www.aonix.com, September 1998.
3. F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. Prentice Hall, 1991.
4. UML Partners Consortium. “UML Proposal Document Set". OMG documents ad/97-08-f02,03,04,05,06,07,08,09g, September 1997.
5. J. Crow and B.L. Di Vito. “Formalizing Space Shuttle Software Requirements". In Workshop on Formal Methods in Software Practice, San Diego, California, January 1996.
6. R.E. Davis and R.L. Danielson. “Practically Formal Methods". In Proceedings of International Conference on Software Engineering: Education and Practices, pages 168-175. IEEE Computer Society Press, January 1996.
7. Steve Easterbrook, Robyn Lutz, Richard Covington, John Kelly, Yoko Ampo, and David Hamilton. “Experience Using Lightweight Formal Methods for Requirements Modeling". IEEE Transactions on Software Engineering, 24(1):4-14, January 1998.
8. Christian Facchi, Markus Haubner, and Ursula Hinkel. The SDL Specification of the SlidingWindow Protocol Revisited. Technical Report TUM-I9614, Technische Univerität München, 1996.
9. M.S. Feather. “Rapid Application of Lightweight Formal Methods for Consistency Analysis". IEEE Transactions on Software Engineering, November 1998.
10. M.W. Froberg. “Automatic Code Generation from SDL to a Declarative Programming Language". In Proceedings of the Sixth SDL Forum, Darmstadt, Germany, October 1993.
11. M. Grasmanis and I. Medvedis. “Approach to Behaviour Specification and Automated Test Generation for Telephone Exchange Systems". In Proceedings of the Fifth SDL Forum, Glasgow, Scotland, September 1991.
12. Anthony Hall. “Using Formal Methods to Develop an ATC Information System". IEEE Software, 13(2), March 1996.
13. Mats P.E. Heimdahl. “Lessons from the Analysis of TCAS II". In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'96), San Diego, CA, January 1996.
14. Constance Heitmeyer. “One the Need for Practical Formal Methods". In Proceedings of 5th Int. Symp. on Realtime and Realtime Fault Tolerant Systems (FTRTFT'98), pages 18-26, 1998. LICS 1486.
15. Jonathan P. Hoare. “Application of the B-Method to CICS". In M. G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods, pages 97-124. Prentice Hall International Series in Computer Science, 1995.
16. ITU-T. “ITU-T Recommendation Z.100: Specification and Description Language (SDL)". ITU-T, 1993.
17. ITU-T. “ITU-T Recommendation Z.120: Message Sequence Chart (MSC)". ITU- T, 1993.
18. Daniel Jackson and Jeannette Wing. “Lighweight Formal Methods". IEEE Computer, April 1996.
19. Paul K. Joannou. “Experiences from Application of Digital Systems in Nuclear Power Plants". In Proceedings of the Digital Systems Reliability and Nuclear Safety Workshop, Rockville, Maryland, 1993.
20. Cliff B. Jones. “An Invitation to Formal Methods: A Rigorous Approach to Formal Methods". IEEE Computer, 20(4):19, April 1996.
21. Barbara Ann Kitchenham. “Evaluating Software Engineering Methods and Tools. Part 1". ACM SIGSOFT Software Engineering Notes, 21(1):11-15, January 1996.
22. L. Mansson. “High Level Specification of a Telecom Application with SDL'92". In Proceedings of the Sixth SDL Forum, Darmstadt, Germany, October 1993.
23. Peter Mataga and Pamela Zave. “Multiparadigm Specification of an AT&T Switching System". In M. G. Hinchey and J. P. Bowen, editors, Applications of Formal Methods, pages 375-398. Prentice Hall International Series in Computer Science, 1995.
24. M. Kooij and L. Provoost. “Industrial Report on the Use of Abstraction in SDL/MSC". In First Workshop of the SDL Forum Society on SDL and MSC, Berlin, Germany, June 1998. alcatel.
25. D.L. Parnas. “Some Theorems We Should Prove". In Proceedings of 1993 International Conference on HOL Theorem Proving and Its Applications, Vancouver, BC, August 1993.
26. A. Sarma. “Modelling Broadband ISDN Protocols with SDL". In Proceedings of the Fifth SDL Forum, Glasgow, Scotland, September 1989.
27. Telelogic. “Telelogic SDT Home Page". http://www.telelogic.com/solution/tools/sdt.asp, September 1998.
28. Teradyne. “TestMaster Home Page". http://www.teradyne.com/prods/sst/ssthome.html, September 1998.
29. H.J. Vgel, W. Kellerer, S. Karg, M. Kober, A. Beckert, and G. Einfalt. “SDL based prototyping of ISDN-DECT-PBX switching software". In First Workshop of the SDL Forum Society on SDL and MSC, Berlin, Germany, June 1998.
30. Debora Weber-Wulff. “Selling Formal Methods to Industry". In J.C.P. Woodcock and P.G. Larsen, editors, Proceedings of FME'93: Industrial Benefit of Formal Methods, First International Symposium of Formal Methods Europe, pages 671-678, Odense, Denmark, April 1993. Springer-Verlag.
31. ~andre/progress.html, September 1998.
32. Andre Wong. “Formalizing Requirements in a Commercial Setting: A Case Study". M.Sc. thesis, University of Toronto, Department of Computer Science, Toronto, ON, Canada, 1999. (In preparation).
33. Marvin V. Zelkowitz and Dolores R. Wallace. “Experimental Models for Validating Technology". IEEE Computer, 31(5), May 1998.