High-Integrity System Specification and Design
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer London

9783540762263, 9781447134312
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating Methods

1999 ◽  
pp. 529-555
Author(s):  
Lesley Semmens ◽  
Robert France ◽  
Tom Docker

Structured Methods

1999 ◽  
pp. 53-125
Author(s):  
Ken Orr ◽  
Chris Gane ◽  
Edward Yourdon ◽  
Peter P. Chen ◽  
Larry L. Constantine ◽  
...  

Real-Time and Safety-Critical Systems

1999 ◽  
pp. 359-528
Author(s):  
Jonathan Ostroff ◽  
Susan Gerhart ◽  
Dan Craigen ◽  
Ted Ralston ◽  
Nancy G. Leveson ◽  
...  
Keyword(s):  
Real Time ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

CASE

1999 ◽  
pp. 609-657
Author(s):  
Elliot J. Chikofsky ◽  
Burt L. Rubenstein ◽  
David Harel

Implementation

1999 ◽  
pp. 557-607
Author(s):  
I. J. Hayes ◽  
C. B. Jones ◽  
Norbert E. Fuchs

Formal Methods

1999 ◽  
pp. 127-230
Author(s):  
Anthony Hall ◽  
Jonathan P. Bowen ◽  
Michael G. Hinchey ◽  
Jeannette M. Wing ◽  
C. A. R. Hoare
Keyword(s):  
Formal Methods

Object-Orientation

1999 ◽  
pp. 231-294
Author(s):  
Grady Booch ◽  
Robert G. Fichman ◽  
Chris F. Kemerer
Keyword(s):  
Object Orientation

Specification and Design

1999 ◽  
pp. 1-51
Author(s):  
Frederick P. Brooks ◽  
David Harel
Load More ...
Sign in / Sign up

Export Citation Format

Share Document