Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 81 citing Programming from specifications. 

Applications of Formal Methods

Michael Gerard Hinchey, Jonathan Peter Bowen - Technology & Engineering - 1995 - 447 pages
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Snippet view - About this book

Formal Methods in Human-computer Interaction

Michael D. Harrison, Harold Thimbleby - Computers - 1990 - 323 pages
Fianlly principles are discussed informally in the context of example systems and the notations summarised."
Limited preview - About this book

Foundations of Component-Based Systems

Gary T. Leavens, Murali Sitaraman - Computers - 2000 - 312 pages
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and ...
Limited preview - About this book

Foundations of Component-Based Systems

Gary T. Leavens, Murali Sitaraman - Computers - 2000 - 312 pages
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and ...
Limited preview - About this book

Formal Engineering for Industrial Software Development: Using the SOFL Method

Shaoying Liu - Business & Economics - 2004 - 408 pages
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the ...
Limited preview - About this book

FM 2005: Formal Methods: International Symposium of Formal Methods Europe ...

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki - Business & Economics - 2005 - 558 pages
This volume contains the proceedings of Formal Methods 2005, the 13th International Symposium on Formal Methods held in Newcastle upon Tyne, UK, during July 18-22, 2005.
Limited preview - About this book

ZB 2003: Formal Specification and Development in Z and B: Third ...

Didier Bert - Computers - 2003 - 545 pages
These proceedings record the papers presented at the third International Conference of B and Z Users (ZB 2003), held in the city of Turku in the south of Finland. This con ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search