Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings. > From testing theory to test driver implementation
FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings. |
Marie-Claude Gaudel; James Woodcock
Springer Berlin Heidelberg
FME ' 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14. 3, Oxford, UK, March 18 - 22, 1996. Proceedings.
From testing theory to test driver implementation
Authors

Jan Peleska; Michael Siegel

ARI Id

1664483822438_1874948

Access

Not Available Free

Pages

538-556

DOI

10.1007/3-540-60973-3_106

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-60973-3_106

Table of Contents of Book
Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
How did software get so reliable without proof?
C. A. R. Hoare
1-17
A case study on the formal development of a reactor safety system
Terje Sivertsen
18-38
Test automation for safety-critical systems: Industrial application and future developments
Jan Peleska
39-59
Quantitative analysis of an application of formal methods
Juan Bicarregui; Jeremy Dick; Eoin Woods
60-73
Applying the B technologies to CICS
Jonathan Hoare; Jeremy Dick; Dave Neilson; Ib Sørensen
74-84
Refining action systems within B-Tool
M. Waidén; K. Sere
85-104
Integrating action systems and Z in a medical system specification
V. Kasurinen; K. Sere
105-119
Formalizing Anaesthesia: A case study in formal specification
Rix Groenboom; Erik Saaman; Ernest Rotterdam; Gerard Renardel deLavalette
120-139
A new system engineering methodology coupling formal specification and performance evaluation
J. Martins; J. -P. Hubaux
140-159
Formalizing new navigation requirements for NASA's Space Shuttle
Ben L. Di Vito
160-178
Combining VDM-SL specifications with C++ code
Brigitte Fröhlich; Peter Gorm Larsen
179-194
Data reification without explicit abstraction functions
T Clement
195-213
Formal and informal specifications of a secure system component: Final results in a comparative study
T. M. Brookes; J. S. Fitzgerald; P. G. Larsen
214-227
Visual verification of safety and liveness
Antti Valmari; Manu Setälä
228-247
Graphical development of consistent system specifications
Bernhard Schätz; Heinrich Hußmann; Manfred Broy
248-267
Deduction in the Verification Support Environment (VSE)
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg H. Siekmann; Werner Stephan; AndreasWolpers Wolpers
268-286
Consistency and refinement for partial specification in Z
Eerke Boiten; John Derrick; Howard Bowman; Maarten Steen
287-306
Combining statecharts and Z for the design of safety-critical control systems
Matthias Weber
307-326
Integrating real-time scheduling theory and program refinement
C. Fidge; M. Utting; P. Kearney; I. Hayes
327-346
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings