[Lecture Notes in Computer Science] FM 2006: Formal Methods Volume 4085 || Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

[Lecture Notes in Computer Science] FM’9

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1708 || A Business Process Design Language

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 174 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.

[Lecture Notes in Computer Science] FM’9

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1709 || Lessons from the application of formal methods to the design of a storm surge barrier control system

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 413 KB

[Lecture Notes in Computer Science] FM’9

[Lecture Notes in Computer Science] FM’99 — Formal Methods Volume 1709 || Lessons from the application of formal methods to the design of a storm surge barrier control system

✍ Wing, Jeannette M.; Woodcock, Jim; Davies, Jim 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 413 KB

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place.

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applied Formal Methods — FM-Trends 98 Volume 1641 || Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier

✍ Hutter, Dieter; Stephan, Werner; Traverso, Paolo; Ullmann, Markus 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 337 KB

[Lecture Notes in Computer Science] FM 2

[Lecture Notes in Computer Science] FM 2009: Formal Methods Volume 5850 || Abstract Specification of the UBIFS File System for Flash Memory

✍ Cavalcanti, Ana; Dams, Dennis R. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 403 KB

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applied Formal Methods — FM-Trends 98 Volume 1641 || Integrating Domain Specific Language Design in the Software Life Cycle

✍ Hutter, Dieter; Stephan, Werner; Traverso, Paolo; Ullmann, Markus 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 895 KB

This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in in