Semantic Integration of Heterogeneous Software Specifications by Martin Grosse-R
164,10 €
Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.
Jetzt bei Ebay:
