Cover Image

High Integrity Software /

Show other versions (1)

Within 50 years computers could have capabilities rivaling that of the human brain. Effective utilization of such new technologies poses a significant challenge to the computer science community, which finds an ever increasing number of complex applications within its technological grasp. In additio...

Full description

Bibliographic Details
Main Author:	Winter, Victor L.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bhattacharya, Sourav
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2001.
Series:	Kluwer international series in engineering and computer science ; 577.
Subjects:	Computer science. Software engineering. Electronic data processing. System theory. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Empirical foundations of information and software science /
Published: (1985)

Semantic Integration of Heterogeneous Software Specifications /
by: Große-Rhode, Martin
Published: (2004)

Empirical foundations of information and software science /
Published: (1985)

Computer-Aided Reasoning : ACL2 Case Studies /
by: Kaufmann, Matt
Published: (2000)

Computer-Aided Reasoning : An Approach /
by: Kaufmann, Matt
Published: (2000)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers /
Published: (2005)

Variation Principle in Informational Macrodynamics /
by: Lerner, Vladimir S.
Published: (2003)

Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes /
by: Wolf, Fabian
Published: (2002)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

Data Fusion Applications : Workshop Proceedings Brussels, November 25, 1992 /
by: Pfleger, S.
Published: (1993)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I /
Published: (2019)

Enabling Technologies for Computational Science : Frameworks, Middleware and Environments /
by: Houstis, E. N. (Elias N.)
Published: (2000)

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /
Published: (2019)

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Published: (2022)

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
Published: (2024)

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I /
Published: (2024)

Advances in computers.
Published: (1982)

Basics of Software Engineering Experimentation /
by: Juristo, Natalia
Published: (2001)

The Information Revolution: Impact on Science and Technology /
by: Dubois, Jacques-Emile
Published: (1996)

Advances in computers.
Published: (1960)

Advances in computers.
Published: (1996)

Advances in computers.
Published: (1986)

Proceedings of the IASTED International Symposium Computers and Their Applications for Development : Taormina, Italy, September 3-5, 1986 /
Published: (1987)

Software Product Lines : Experience and Research Directions /
by: Donohoe, Patrick
Published: (2000)

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
Published: (2022)

System-on-Chip Methodologies & Design Languages /
by: Ashenden, Peter J.
Published: (2001)

Electronic Chips & Systems Design Languages /
by: Mermet, Jean
Published: (2001)

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /
Published: (2022)

IEEE transactions on parallel and distributed systems : a publication of the IEEE Computer Society.
Published: (1990)

High speed computing II : 17-18 January 1989, Los Angeles, California /
Published: (1989)

OOIS' 95 : 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin. Proceedings /
by: Murphy, John
Published: (1996)

OOIS'94 : 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London /
by: Patel, Dilip
Published: (1995)

Coping with IS/IT Risk Management : the Recipes of Experienced Project Managers /
by: Moynihan, Tony
Published: (2002)

Proceedings, high performance computing on the information superhighway : HPC Asia '97 : Seoul, Korea, April 28-May 2, 1997 /
Published: (1997)

Formal Verification of Circuits /
by: Drechsler, Rolf
Published: (2000)

Deployment and Operation of Complex Software in Heterogeneous Execution Environments : The SODALITE Approach /
Published: (2022)

Advances in computing science--ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Published: (1999)

Journal of computer science and technology.

Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings /
Published: (2002)