The single model principle

Journal of Object Technology

Volumn 1, Issue 5, 2002, Pages 63-81

  Paige, Richard ^a   Ostroff, Jonathan ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATION; COMPUTER GRAPHICS; COMPUTER SOFTWARE; CONSTRAINT THEORY; MATHEMATICAL MODELS; METADATA; OBJECT ORIENTED PROGRAMMING;

MISSION-CRITICAL SYSTEMS; OBJECT-ORIENTED (OO) SYSTEMS; SINGLE MODEL PRINCIPLE; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 3042648217     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.5.c6     Document Type: Article

References (23)

1. Beck, K. Extreme Programming Explained. Addison-Wesley Longman, 1999.
2. Dardenne, A., A.v. Lamsweerde, and S. Fickas. Goal-Directed Requirements Acquisition. Science of Computer Programming, 20, p3-50, 1993.
3. Douglass, B.P. Real-time UML: developing efficient objects for embedded systems (2nd edition), Addison-Wesley, Reading, MA, 1999.
4. Graham, I. Requirements Engineering and Rapid Development. Addison-Wesley, 1998.
5. Harel, D. From Play-In Scenarios to Code: an Achievable Dream. IEEE Computer, 34(1): p53-60, 2001.
6. Hehner, E.C.R. A Practical Theory of Programming. Springer-Verlag, New York, 1993.
7. Jackson, M. Software Requirements and Specifications. Addison-Wesley, 1995.
8. Leavens, G.T., K.R.M. Leino, E. Poll, C. Ruby, and B. Jacobs. JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, ACM, 2000. ftp://ftp.cs.iastate.edu/pub/techreports/TR00-15/.
9. Meyer, B. Eiffel the Language. Object Oriented Series, Prentice Hall, 1992.
10. Meyer, B. Object-Oriented Software Construction. Prentice Hall, 1997.
11. Meyer, B. Agents, iterators, and introspection in Eiffel. ISE Inc. 2000.
12. Morgan, C. Programming from Specifications. International Series in Computer Science, Prentice Hall, 1994.
13. Nuseibeh, B., S. Easterbrook, and A. Russo. Making inconsistency respectable in software development. Journal of Systems and Software, 58, p171-180, 2001.
14. OMG. Unified Modelling Language Specification: Version 1.3, 1999. http://www.omg.org
15. OMG. Unified Modelling Language Specification: Version 1.4, 2001. http://www.omg.org
16. OMG. Model Driven Architecture: a Technical Perspective. Document ab/2001-02-04, February 2001. www.omg.org
17. Paige, R. and J.S. Ostroff. From Z to BON/Eiffel. In 13th IEEE international Conference on Automated Software Engineering (ASE), Hawaii, IEEE Computer Society, 1998.
18. Paige, R. and J.S. Ostroff. ERG - an Object-Oriented Refinement Calculus for Eiffel. Department of Computer Science, York University. Technical Report CS-2001-05, 2001. http://www.cs.yorku.ca/techreports/2001/CS-2001-05.html
19. Paige, R.F. and J.S. Ostroff. Metamodelling and Conformance Checking with PVS. In Proc. Fundamental Aspects of Software Engineering 2001, Springer-Verlag, LNCS 2029, pp2-16, 2001.
20. Paige, R.F. and J.S. Ostroff. A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. In Proc. Workshop on Practical UML-Based Rigorous Development Methods 2001 (co-located with UML 2001), Lecture Notes in Informatics (GI Series), German Society, p 192-207, 2001.
21. Paige, R.F., J.S. Ostroff, and P.J. Brooke. Checking the Consistency of Views using PVS. In Proc. Fourth Rigorous Object-Oriented Methods Workshop, British Computer Society, March 2002.
22. Spivey, J.M. The Z Notation: A Reference Manual (2nd edition). Prentice-Hall, Englewood Cliffs, N.J., 1992.
23. Walden, K. and J.-M. Nerson. Seamless Object Oriented Software and Architecture. Prentice Hall, 1995.