Graphical specification of object oriented systems

Authors:
Stephen Bear;Phillip Allen;Derek Coleman;Fiona Hayes
Affiliations:
Hewlett Packard Laboratories, Bristol;Hewlett Packard Laboratories, Bristol;Hewlett Packard Laboratories, Bristol;Hewlett Packard Laboratories, Bristol
Venue:
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Year:
1990

Citing 3
Cited 6

Systematic software development using VDM

Systematic software development using VDM
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Object-oriented systems analysis: modeling the world in data

Object-oriented systems analysis: modeling the world in data

Coherent models for object-oriented analysis

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Turnable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Communicating Real-Time State Machines

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A survey of structured and object-oriented software specification methods and techniques

ACM Computing Surveys (CSUR)
ObjChart: Tangible Specification of Reactive Object Behavior

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Icon systems for object-oriented system design

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The graphical notation Objectcharts, introduced in this paper, allows a developer to precisely specify the behaviour of object classes and to reason about the behaviour of particular configurations of objects.Objectcharts combine object oriented analysis and design techniques and Harel's statecharts to give a diagrammatic specification technique for object oriented systems.