Benefits and problems of formal methods

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

Volumn 3063, Issue , 2004, Pages 1-15

  Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; CURRICULA; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

DEVELOPMENT PROCESS; FORMAL APPROACH; OBJECT CONSTRAINT LANGUAGE; PRE-REQUISITES;

FORMAL METHODS;

EID: 84958757158     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24841-5_1     Document Type: Conference Paper

References (19)

1. Jonathan P. Bowen and Michael G. Hinchey. Seven More Myths of Formal Methods. IEEE Software, 12(4):34–41, July 1995.
2. Jonathan P. Bowen and Michael G. Hinchey. Ten Commandments of Formal Methods. IEEE Computer, 28(4):56–63, April 1995.
3. Dines Bjorner. Formal Methods in the Twentyfirst Century: An Assessment of Today - Predictions for the Future. In Proc. Int. Conf. Software Engineering (ICSE’1998), 1998. Not included in the official proceedings.
4. Jonathan P. Bowen. Virtual Library - Formal Methods. http://vl.fmnet. info, 2004.
5. Pierre Chapront. Ada+B: The Formula for Safety Critical Software Development. In Lars Asplund, editor, Proc. Reliable Software Technologies: Ada Europe (RST’1998), pages 13–18. Springer, Berlin, LNCS 1411, 1998.
6. Edmund M. Clarke and Jeanette M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4):626–643, 1996.
7. Marie-Claude Gaudel. Testing from Formal Specifications, a Generic Approach. In Dirk Craeynest and Alfred Strohmeier, editors, Proc. Reliable Software Technologies: Ada Europe (RST’2001), pages 35–48. Springer, Berlin, LNCS 2043, 2001.
8. Robert L. Glass. Formal Methods are a Surrogate for a More Serious Software Concern. IEEE Computer, pages 19–19, April 1996.
9. Martin Gogolla and Mark Richters. Expressing UML Class Diagrams Properties with OCL. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 86–115. Springer, Berlin, LNCS 2263, 2001.
10. J. Anthony Hall. Seven Myths of Formal Methods. IEEE Software, 7(5):11–19, September 1990.
11. C. Michael Holloway and Ricky W. Butler. Impediments to Industrial Use of Formal Methods. IEEE Computer, pages 25–26, April 1996.
12. John C. Knight, Colleen L. DeJong, Mathew S. Gibble, and Luís G. Nakano. Why Are Formal Methods Not Used More Widely? In C. Michael Holloway and Kelly J. Hayhurst, editors, 4th NASA Langley Formal Methods Workshop, pages 1–12, 1997. NASA Langley Research Center, Report CP 3356.
13. OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document formal/03-03-01, www.omg.org.
14. Mark Richters and Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML’2000), pages 265–277. Springer, Berlin, LNCS 1939, 2000.
15. Mark Richters and Martin Gogolla. OCL - Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43–69. Springer, Berlin, LNCS 2263, 2001.
16. Wolfram Schulte. Why Doesn’t Anyone Use Formal Methods. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. Int. Conf. Integrated Formal Methods (IFM’2000), pages 297–298. Spinger, Berlin, LNCS 1945, 2000.
17. A. Toval, V. Requena, and J.L. Fernandez. Emerging OCL Tools. Software and Systems Modeling, 2(4):248–261, 2003.
18. Axel van Lamsweerde. Building Formal Requirements Models for Reliable Software. In Dirk Craeynest and Alfred Strohmeier, editors, Proc. Reliable Software Technologies: Ada Europe (RST’2001), pages 1–20. Springer, Berlin, LNCS 2043, 2001.
19. JosWarmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 2003. 2nd Edition.