✦ LIBER ✦

Using formal methods for teaching software engineering: a tool-based approach

✍ Scribed by P. Ciancarini; C. Mascolo

Book ID: 110379553
Publisher: Springer
Year: 1998
Tongue: English
Weight: 153 KB
Volume: 6
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1018921801906

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Base for software engineering tools and

Base for software engineering tools and methods

📂 Article 📅 1986 🏛 Elsevier Science ⚖ 117 KB

A comparison of tools for teaching forma

A comparison of tools for teaching formal software verification

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

rCOS: a formal model-driven engineering

rCOS: a formal model-driven engineering method for component-based software

✍ Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 781 KB

Modeling NASA swarm-based systems: using

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB

A Formal Engineering Framework for Servi

A Formal Engineering Framework for Service-Based Software Modeling

✍ Miao, Weikai; Liu, Shaoying 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 511 KB

A web-based tool for control engineering

A web-based tool for control engineering teaching

✍ J. Albino Méndez; César Lorenzo; Leopoldo Acosta; Santiago Torres; Evelio Gonzál 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 336 KB 👁 2 views