An Extended Semantic Foundation For Object-Z

@inproceedings{Griffiths1996AnES,
  title={An Extended Semantic Foundation For Object-Z},
  author={Alena Griffiths},
  booktitle={APSEC},
  year={1996}
}
The industrial potential of object-oriented formal methods is enormous. The potential of these methods has largely gone unrealised however, due to weaknesses in the underlying semantic foundations. This paper addresses that problem. We identify the \hard" problems in the area as: (i) the need to model object identity; (ii) the relationship between structure and behaviour; and, (iii) the (sometimes connicting) notions of modularity and compositionality. The semantic foundations of Object-Z are… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Formal Methods and Object-orientation: A Historical Perspective

K Lano
FACS Europe | Series I • 1995

Ninth International Conference of Z Users

G Smith
Lecture Notes in Computer Science • 1995

Object-Oriented Speciication Case Studies

K Lano, H Haughton
Object-Oriented Speciication Case Studies • 1994

Reenement in Object-Oriented Speciication Languages

Kevin Lano
6th Annual Reenement Workshop • 1994

Integrating Formal Methods with Object-Oriented Software Engineering

R Duke
Joint Conference on Software Engineering • 1993

Modelling Object Identity

R Duke, G Rose
Proceedings 16th Australian Computer Science Conference (ACSC-16), pages 93{100 • 1993

Z Base Standard | Version 1.0

S Brien, T King, J Nicholls, J Woodcock, Wordsworth
Z Base Standard | Version 1.0 • 1992

A Framework for Using Formal Methods In Object- Oriented Software Development

Richard Holt, Dennis Dechampeaux
Followup Report on ECOOP '91 Workshop W3: Object- Oriented Formal Methods • 1991

Similar Papers

Loading similar papers…