Login / Signup
Software and System Modeling Based on a Unified Formal Semantics.
Manfred Broy
Franz Huber
Barbara Paech
Bernhard Rumpe
Katharina Spies
Published in:
Requirements Targeting Software and Systems Engineering (1997)
Keyphrases
</>
formal semantics
modeling language
logical reasoning
logical language
modelling language
software development
software systems
operational semantics
er model
metamodel
probabilistic model
probability distribution
first order logic
formal language
epistemic logic