𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A tool for syntax directed software design

✍ Scribed by Jürgen Lampe

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
334 KB
Volume
43
Category
Article
ISSN
1383-7621

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Designing software for provable correctn
Designing software for provable correctness: The direction for quality software
✍ Michael Dyer 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 941 KB

A bstract: Formal software design methods significantly improve the quality of software designs and products. They introduce new levels of defect prevention with a rigorous design process for decomposing product requirements, systematically verifying the correctness of each decomposition and maintai

A Visual Syntax-directed Editor for the
A Visual Syntax-directed Editor for the Descartes Specification Language
✍ AMIR A. KHWAJA; JOSEPH E. URBAN 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 674 KB

The front end of the software life cycle is an important phase in the development of quality software systems. Due to the interactive nature of the requirements specification phase, automated tools assist in capturing user concepts and conveying these concepts to the developers. This paper presents