✦ LIBER ✦

Synthesizing structured analysis and object‐based formal specifications

✍ Scribed by David L. Coleman; Albert L. Baker

Book ID: 110379549
Publisher: Springer
Year: 1997
Tongue: English
Weight: 272 KB
Volume: 3
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1018921517893

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Object-oriented Analysis with Structured

Object-oriented Analysis with Structured and Integrated Specifications and Solutions (OASISS) for production system control

✍ V. BOTTA; A. GUINET; D. BOULLE 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 270 KB

OOZS: an object-oriented structured form

OOZS: an object-oriented structured formal specification language

✍ Gang Li; Huaikou Miao; Guanming Zhu 📂 Article 📅 1997 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 373 KB

Testing refinements of state-based forma

Testing refinements of state-based formal specifications

✍ John Derrick; Eerke Boiten 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

A specification provides a concise description of a system, and can be used as both the benchmark against which any implementation is tested, and also as a means to generate tests. Formal specifications have potential advantages over informal descriptions because they offer the possibility of reduci

Formal specification and object-oriented

Formal specification and object-oriented design

✍ Mary Buchanan; Carol Britton 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 153 KB

Semantics, calculi, and analysis for obj

Semantics, calculi, and analysis for object-oriented specifications

✍ Achim D. Brucker; Burkhart Wolff 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 512 KB

A concern-based approach to generating f

A concern-based approach to generating formal requirements specifications

✍ Jin, Ying ;Zhang, Jing ;Hao, Weiping ;Ma, Pengfei ;Zhang, Yan ;Zhao, Haiyan ;Mei 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 641 KB