Software Performability: From Concepts to Applications /
Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its so...
| Main Author: | Tai, Ann T. |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Meyer, John F., Avižienis, Algirdas |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
1996.
|
| Series: | Kluwer international series in engineering and computer science ;
347. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Software Architectures : Advances and Applications /
by: Barroca, Leonor
Published: (2000)
by: Barroca, Leonor
Published: (2000)
Prototyping-Oriented Software Development : Concepts and Tools /
by: Bischofberger, Walter R.
Published: (1992)
by: Bischofberger, Walter R.
Published: (1992)
Software Engineering for Large Software Systems /
by: Kitchenham, B. A.
Published: (1990)
by: Kitchenham, B. A.
Published: (1990)
Software Pioneers : Contributions to Software Engineering /
by: Broy, Manfred
Published: (2002)
by: Broy, Manfred
Published: (2002)
Software Quality and Software Testing in Internet Times /
by: Meyerhoff, Dirk
Published: (2002)
by: Meyerhoff, Dirk
Published: (2002)
Software Reuse /
by: Coulange, Bernard
Published: (1998)
by: Coulange, Bernard
Published: (1998)
Software Engineering Education : The Educational Needs of the Software Community /
by: Gibbs, Norman E.
Published: (1987)
by: Gibbs, Norman E.
Published: (1987)
Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)
by: Muxworthy, D. T.
Published: (1983)
High-Integrity Software /
by: Sennett, C. T.
Published: (1990)
by: Sennett, C. T.
Published: (1990)
Software Development Tools /
by: Riddle, William E.
Published: (1980)
by: Riddle, William E.
Published: (1980)
Software Engineering in C /
by: Darnell, Peter A.
Published: (1988)
by: Darnell, Peter A.
Published: (1988)
Experimentation in Software Engineering : an Introduction /
by: Wohlin, Claes
Published: (2000)
by: Wohlin, Claes
Published: (2000)
Advances in Software Engineering : Comprehension, Evaluation, and Evolution /
by: Erdogmus, Hakan
Published: (2002)
by: Erdogmus, Hakan
Published: (2002)
An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)
by: Jalote, Pankaj
Published: (1997)
Software Engineering on Sun Workstations® /
by: Cureton, Bill
Published: (1993)
by: Cureton, Bill
Published: (1993)
Software Engineering with Reusable Components /
by: Sametinger, Johannes
Published: (1997)
by: Sametinger, Johannes
Published: (1997)
Issues in Software Engineering Education /
by: Fairley, Richard
Published: (1989)
by: Fairley, Richard
Published: (1989)
Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /
by: Broy, Manfred
Published: (2001)
by: Broy, Manfred
Published: (2001)
C A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1996)
by: Darnell, Peter A.
Published: (1996)
Managing Your Software Project : a Student's Guide /
by: Ricketts, Ian
Published: (1998)
by: Ricketts, Ian
Published: (1998)
Testing Object-Oriented Software : Life Cycle Solutions /
by: Bashir, Imran
Published: (1999)
by: Bashir, Imran
Published: (1999)
The Modula-2 Software Component Library /
by: Lins, C. (Charles)
Published: (1989)
by: Lins, C. (Charles)
Published: (1989)
C: A Software Engineering Approach /
by: Darnell, Peter A.
Published: (1991)
by: Darnell, Peter A.
Published: (1991)
The Modula-2 Software Component Library /
by: Lins, C. (Charles)
Published: (1990)
by: Lins, C. (Charles)
Published: (1990)
Verification and Validation of Real-Time Software /
by: Quirk, William J.
Published: (1985)
by: Quirk, William J.
Published: (1985)
Business Component-Based Software Engineering /
by: Barbier, Franck
Published: (2003)
by: Barbier, Franck
Published: (2003)
Software Re-use, Utrecht 1989 : Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands /
by: Dusink, Liesbeth M.
Published: (1991)
by: Dusink, Liesbeth M.
Published: (1991)
The Use of Formal Specification of Software : June 25-27, 1979, Berlin /
by: Berg, H. K. (Helmut K.)
Published: (1980)
by: Berg, H. K. (Helmut K.)
Published: (1980)
Empirical Foundations of Information and Software Science III /
by: Rasmussen, Jens
Published: (1987)
by: Rasmussen, Jens
Published: (1987)
Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)
by: Shaw, Roger
Published: (1997)
Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 /
by: Mittermeir, Roland
Published: (1992)
by: Mittermeir, Roland
Published: (1992)
Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)
by: Gritzalis, Dimitris
Published: (1997)
PISA : A Programming System for Interactive Production of Application Software /
by: Marty, Rudolf
Published: (1981)
by: Marty, Rudolf
Published: (1981)
Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)
by: Girault, Claude
Published: (1982)
Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS) /
by: Pagnoni, Anastasia
Published: (1983)
by: Pagnoni, Anastasia
Published: (1983)
Developing Business Applications with OpenStepTM /
by: Gervae, Nik
Published: (1997)
by: Gervae, Nik
Published: (1997)
The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
by: Warren, Ian
Published: (1999)
by: Warren, Ian
Published: (1999)
ISO 9000-3 : A Tool for Software Product and Process Improvement /
by: Kehoe, Raymond
Published: (1996)
by: Kehoe, Raymond
Published: (1996)
Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)
Functional Integration : Theory and Applications /
by: Antoine, Jean Pierre
Published: (1980)
by: Antoine, Jean Pierre
Published: (1980)