𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic Verification System for Power Plant Sequence Diagrams

✍ Scribed by FUKUDA, Mitsuko; YAMADA, Naoyuki; TESHIMA, Toshiaki; KAN, Ken'ichi; UTSUNOMIYA, Mitsugu

Book ID
127047177
Publisher
Japan Science and Technology Information Aggregator, Electronic
Year
1994
Tongue
English
Weight
788 KB
Volume
31
Category
Article
ISSN
0022-3131

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A logic-based semantics for the verifica
A logic-based semantics for the verification of multi-diagram UML models
✍ 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