Formality, evolution, and model-driven software engineering

Electronic Notes in Theoretical Computer Science

Volumn 130, Issue , 2005, Pages 39-55

  Davies, Jim ^a   Crichton, Charles ^a   Crichton, Edward ^a   Neilson, David ^b   Sørensen, Ib Holm ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b B Core (UK) Limited   (United Kingdom)

Author keywords

Formal methods; Model driven; Object modelling

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS;

DESIGN LANGUAGES; FORMAL METHODS; MODEL-DRIVEN; OBJECT MODELING;

SOFTWARE ENGINEERING;

EID: 18144375615     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.03.004     Document Type: Conference Paper

References (9)

1. D.S. Frankel Model Driven Architecture 2003 Wiley
2. M. Fowler UML Distilled: A Brief Guide to the Standard Object Modeling Language 2003 Addison-Wesley
3. D. Harel, and E. Gery Executable Object Modeling with Statecharts IEEE Computer 30 1997
4. C.C. Morgan Programming from Specifications 1990 Prentice Hall available from http://users.comlab.ox.ac.uk/carroll.morgan/PfS
5. P. Naur and B. Randall. Software Engineering: A Report on a Conference Sponsored by the NATO Science Committee, 1969
6. S.A. Schneider The B Method 2001 Palgrave
7. C. Snook, and M. Butler U2B - UML to B translation tool Available at http://www.ecs.soton.ac.uk/cfs/U2Bdownloads/U2Bdownloads.htm
8. J.M. Spivey The Z Notation: A Reference Manual second edition 1992 Prentice-Hall International
9. H. Treharne Supplementing a UML Development Process with B Proceedings of FME 2002: Formal Methods - Getting IT Right LNCS 2391 2002 Springer