✦ LIBER ✦

System modeling and transformational design refinement in ForSyDe [formal system design]

✍ Scribed by Sander, I.; Jantsch, A.

Book ID: 118698471
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 412 KB
Volume: 23
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2003.819898

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Development and application of design tr

Development and application of design transformations in ForSyDe

✍ Sander, I.; Jantsch, A.; Lu, Z. 📂 Article 📅 2003 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 176 KB

Design shells: A formalism for prototype

Design shells: A formalism for prototype refinement in knowledge-based design systems

✍ Rivka Oxman 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 764 KB

Formal methods in computer system design

✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.

Formal methods in system design and impl

Formal methods in system design and implementation

✍ Bernard Sufrin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th

Formal system-level design space explora

Formal system-level design space exploration

✍ Daniel Knorreck; Ludovic Apvrille; Renaud Pacalet 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 978 KB

Formal models in the design of water res

Formal models in the design of water resource systems

✍ Dorfman, Robert 📂 Article 📅 1965 🏛 American Geophysical Union 🌐 English ⚖ 635 KB