Graphical specification of object oriented systems

Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990

Volumn , Issue , 1990, Pages 28-37

  Bear, Stephen ^a   Allen, Phillip ^a   Coleman, Derek ^a   Hayes, Fiona ^a  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; SPECIFICATIONS;

DIAGRAMMATIC SPECIFICATIONS; GRAPHICAL NOTATION; OBJECT CLASS; OBJECT ORIENTED ANALYSIS AND DESIGN; OBJECT-ORIENTED SYSTEM; STATECHARTS;

OBJECT ORIENTED PROGRAMMING;

EID: 85029785022     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/97945.97950     Document Type: Conference Paper

References (5)

1. Jones C.B. Systematic Software Development Using VDM. Prentice-Hall, 1986.
2. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
3. Harel D., Pnueli A., Pruzan-Schmidt J., and Sherman R. On the formal semantics of state-charts. In Proceedings of the Second IEEE Symposium on Logic in Computer Science, pages 54-64, 1987.
4. Jackson D. Composing data and process descriptions in the design of software systems. Master's thesis, MIT, 1988.
5. Mellor S.J. and Shlaer S. Object Oriented Systems Analysis: Modelling the world in data. Prentice-Hall, 1988.