✦ 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
DOI: 10.1007/bf02943404

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functionality semantics of predicate dat

Functionality semantics of predicate data flow diagram

✍ Xiao-lei Gao; Huai-kou Miao; Ling Liu 📂 Article 📅 2004 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 600 KB

Semantic constraint specification and ve

Semantic constraint specification and verification of ebXML business process specifications

✍ Jong Woo Kim; Hyoung Do Kim 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 692 KB

Specification and verification for semi-

Specification and verification for semi-structured data

✍ Chen Tao-Iue; Han Ting-ting; Lu Jian 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 560 KB

Formal semantics, modular specification,

Formal semantics, modular specification, and symbolic verification of product-line behaviour

✍ Classen, Andreas; Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierr 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 574 KB

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

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