๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Semantic specification and verification of data flow diagrams

โœ Scribed by Tong Liu; C. S. Tang


Book ID
112947400
Publisher
Springer
Year
1991
Tongue
English
Weight
528 KB
Volume
6
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A logic-based semantics for the verifica
โœ Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Rossi, Matteo ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Association for Computing Machinery โš– 828 KB

UML is a well-known and widely used design notation: it offers a rich set of modeling elements, but their behavior is often not properly defined. Many proposals have tried to provide UML with a formal semantics, but they often focus on a limited number of diagram types, and thus do not provide a via