You have Guest access.
Log In
Taro Kurita, Miki Chiba and Yasumasa Nakatsugawa
Book Chapter
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
Wolfgang Ahrendt, Richard Bubel and Reiner Hähnle
Lecture Notes in Computer Science, 2009, Volume 5846, Teaching Formal Methods, Pages 125-143
Pattern-Driven Formal Specification
Richard Bubel and Reiner Hähnle
Lecture Notes in Computer Science, 2007, Volume 4334, Verification of Object-Oriented Software. The KeY Approach, Pages 295-315
A New Look at Formal Methods for Software Construction
Reiner Hähnle
Lecture Notes in Computer Science, 2007, Volume 4334, Verification of Object-Oriented Software. The KeY Approach, Pages 1-18
A Roadmap for Formal Property Verification
Pallab DasGupta
2006, A Roadmap for Formal Property Verification, Pages 217-241
Reviews
Dines Bjørner and Martin Henson
Monographs in Theoretical Computer Science. An EATCS Series, 2008, Logics of Specification Languages, Part III, Pages 599-623
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar
Beum-Seuk Lee and Barrett R. Bryant
Lecture Notes in Computer Science, 2004, Volume 2941, Radical Innovations of Software and Systems Engineering in the Future, Pages 219-233
Semantic Web for Extending and Linking Formalisms
Jin Song Dong, Jing Sun and Hai Wang
Lecture Notes in Computer Science, 2002, Volume 2391, FME 2002:Formal Methods—Getting IT Right, Pages 77-90
Introduction
2006, A Roadmap for Formal Property Verification, Pages 1-17
Introduction to Formal Methods
Michael Hinchey, Jonathan Bowen and Christopher Rouff
NASA Monographs in Systems and Software Engineering, 2006, Agent Technology from a Formal Perspective, Part I, Pages 25-64
Specification-Based Testing for CoCasl’s Modal Specifications
Delphine Longuet and Marc Aiguier
Lecture Notes in Computer Science, 2007, Volume 4624, Algebra and Coalgebra in Computer Science, Pages 356-371
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info