• English
    • Deutsch
View Item 
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  •   OPARU Home
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • View Item
  • English 
    • English
    • Deutsch
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Formal OO Method Inspired by Fusion and Object-Z

Erstveröffentlichung
1997
Metadata only
Search for full text
Beitrag zu einer Konferenz


Authors
Achatz, Klaus
Schulte, Wolfram
Editor
Bowen, J. P.
Hinchey, M. G.
Till, D.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Published in
ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK / Bowen, Jonathan P. ; Hinchey, Michael G. ; Till, David (Hrsg.). - Berlin ; Heidelberg : Springer, 1997. - (Lecture Notes in Computer Science ; 1212). - S. 92-111. - ISBN 978-3-540-62717-3, ISBN 978-3-540-68490-9
Link to publication
https://dx.doi.org/10.1007/BFb0027286
Conference
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, 1997-04-03 - 1997-04-04, Reading
Dewey Decimal Group
DDC 000 / Computer science, information & general works

Metadata
Show full item record

About OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFundingThis CollectionFacultiesInstitutionsPersonsResource typesUlm SerialsDewey Decimal ClassesFunding

My Account

LoginRegister

Statistics

View Usage Statistics

About OPARU | Contact Us
Impressum | Privacy statement