[Monographs in Theoretical Computer Science] Logics of Specification Languages || The event-B Modelling Method: Concepts and Case Studies

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

✍ Abrial, Jean-Raymond; Börger, Egon; Langmaack, Hans 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 808 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model-Driven Engineering Languages and Systems Volume 8107 || Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies

✍ Moreira, Ana; Schätz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 428 KB

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180

[Lecture Notes in Computer Science] FME

[Lecture Notes in Computer Science] FME '93: Industrial-Strength Formal Methods Volume 670 || Automating the generation and sequencing of test cases from model-based specifications

✍ Woodcock, James C. P.; Larsen, Peter G. 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 German ⚖ 895 KB

the Last Few Years Have Borne Witness To A Remarkable Diversity Of Formal Methods, With Applications To Sequential And Concurrent Software, To Real-time And Reactive Systems, and To Hardware Design. In That Time, Many Theoretical Problems Have Been Tackled And Solved, And Many Continue To Be Worke

[Lecture Notes in Computer Science] FME

[Lecture Notes in Computer Science] FME '93: Industrial-Strength Formal Methods Volume 670 || Automating the generation and sequencing of test cases from model-based specifications

✍ Woodcock, James C. P.; Larsen, Peter G. 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 German ⚖ 895 KB

the Last Few Years Have Borne Witness To A Remarkable Diversity Of Formal Methods, With Applications To Sequential And Concurrent Software, To Real-time And Reactive Systems, and To Hardware Design. In That Time, Many Theoretical Problems Have Been Tackled And Solved, And Many Continue To Be Worke

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Volume 7610 || Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 75 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB