Developing BON as an industrial-strength formal method

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

Volumn 1708, Issue , 1999, Pages 834-853

  Paige, Richard F ^a   Ostroff, Jonathan S ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; UNIFIED MODELING LANGUAGE;

ALGORITHM REFINEMENT; BUSINESS OBJECTS; DESIGN BY CONTRACTS; FORMAL DEVELOPMENT; INDUSTRIAL STRENGTH; OBJECT ORIENTED SOFTWARE; SOFTWARE MODELLING;

FORMAL METHODS;

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

References (23)

1. J.-R. Abrial. The B-Book, Cambridge, 1996.
2. L. Baresi and M. Pezze. Toward Formalizing Structured Analysis, ACM Trans. Soft. Eng. Method. 7(1), January 1998.
3. J. Bicarregui, B. Matthews, and B. Ritchie. Investigating the integration of two formal methods. In Proc. FMICS ’98, CWI, 1998.
4. A. Evans, R. France, K. Lano, and B. Rumpe. The UML as a Formal Modeling Notation. Computer Standards and Interfaces 19(7), 1998.
5. M. Fowler. UML Distilled, Addison-Wesley, 1997.
6. D. Gries and F. Schneider. A Logical Approach to Discrete Math, Springer, 1993.
7. A. Hall. Seven Myths of Formal Methods. IEEE Software, September 1990.
8. L. Hatton. Does OO Sync with How We Think? IEEE Software, May/June 1998.
9. E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.
10. B. Jacobs et al. Reasoning about Java Classes (Preliminary Report). In Proc. OOPSLA’ 98, ACM Press, Oct. 1998.
11. C.B. Jones. Systematic Software Development using VDM, Prentice-Hall, 1990.
12. L. Lo. Modular Design for Reactive Systems,MSc Thesis, Department of Computer Science, York University, 1998.
13. B. Matthews, B. Ritchie, and J. Bicarregui. Synthesizing structure from flat specifications. In Proc. B’98, LNCS 1393, Springer-Verlag, 1998.
14. B. Meyer. Object-Oriented Software Construction, Prentice-Hall, 1997.
15. J.S. Ostroff. Temporal Logic for Real-Time Systems, Wiley, 1989.
16. J.S. Ostroff and R.F. Paige. Formal Methods in the Classroom: The Logic of Real Time Software Design. In Proc. Real-Time Software Engineering Education Workshop’ 98, IEEE Press, 1999.
17. R.F. Paige. A Meta-Method for Formal Method Integration. In Proc. FME’97, LNCS 1313, Springer, 1997.
18. R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing 10(3):233-242, June 1999.
19. R.F. Paige and J.S. Ostroff. A Comparison of BON and UML. Technical Report CS-1999-03, York University, May 1999.
20. J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 1989.
21. K. Walden and J.-M. Nerson Seamless Object-Oriented Software Development, Prentice-Hall, 1995.
22. D. Weber-Wulff. Selling Formal Methods to Industry. In Proc. FME ‘93, LNCS 670, Springer-Verlag, 1993.
23. J. Wordsworth. Software Development with Z, Addison-Wesley, 1994.