Software and System Modeling Based on a Unified Formal Semantics

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 43-68
https://doi.org/10.1007/10692867_2

Abstract

No abstract available

Keywords

All Related Versions

Version 1, 2014-11-10, ArXiv

This publication has 16 references indexed in Scilit:

Using extended event traces to describe communication in software architectures
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Die Praxis der Softwareentwicklung: Eine Erhebung
Informatik Spektrum, 1999
Towards a Precise Semantics for Object-Oriented Modeling Techniques
Published by Springer Nature ,1998
Integrated Informal Object-Oriented and Formal Modeling Techniques
Published by Springer Nature ,1998
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
Formal Aspects of Computing, 1996
STeP: Deductive-algorithmic verification of reactive and real-time systems
Published by Springer Nature ,1996
Graphical development of consistent system specifications
Published by Springer Nature ,1996
The RPC-memory case study: A synopsis
Published by Springer Nature ,1996
Representations of work
Communications of the ACM, 1995
PVS: A prototype verification system
Lecture Notes in Computer Science, 1992