How firing conditions help inheritance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 967, Issue , 1995, Pages 264-275

  Strulo, Ben ^a  

^a MARTLESHAM HEATH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ACTIVE BEHAVIOURS; FIRING CONDITIONS; OBJECT ORIENTED;

SEMANTICS;

EID: 84951810186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60271-2_125     Document Type: Conference Paper

References (13)

1. Jean-Raymond Abrial. Assigning Meanings to Programs - the B Book. Cambridge University Press, 1995 (to appear).
2. Elspeth Cusack and Clazien Wezeman. Deriving Tests for Objects Specified in Z. In J.E Bowen J.E. Nicholls, editors, Z User Workshop, London 1992. Workshops in Computing, Springer-Verlag, 1992.
3. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In J.E Bowen J.A. Hall, editors, Z User Workshop, Cambridge 1994. Workshops in Computing, Springer-Verlag, 1994.
4. Mark B. Josephs. Specifying Reactive Systems in Z~ PRG Technical Report, PRG-TR-19-91, Oxford University Computing Laboratory, 1991.
5. Barbara H. Liskov and Jeanette M. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, November 1994.
6. Carroll Morgan. Programming from Specifications. Prentice Hall International, second edition, 1994.
7. Carroll Morgan and Trevor Vickers. On the Refinement Calculus. Springer-Verlag, 1992.
8. J. M. Spivey. The Z Notation - a Reference Manual. Prentice Hall International, second edition, 1992.
9. th International Conference of Z Users (this proceedings). Lecture Notes in Computer Science, Springer-Verlag, 1995.
10. Susan Stepney, Rosalind Barden and David Cooper (Eds.) Object Orientation in Z. Springer Verlag, 1992.
11. J. B. Wordsworth. Software Development using Z. Addison Wesley, 1992.
12. Clazien Wezeman and Tony Judge. Z for Managed Objects. In J.P. Bowen J.A. Hall, editors, Z User Workshop, Cambridge 1994. Workshops in Computing, Springer-Verlag, 1994.
13. ISO/IEC IS 10165 (Parts 1-4) Management Information Services, Structure of Management Information. 1990.