Engineering methods and tools for software safety and security / edited by Manfred Broy, Wassiou Sitou and Tony Hoare.

By:

NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)

Contributor(s):

Material type: Text

TextSeries: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 22.Publication details: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.Description: 1 online resource (ix, 333 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781441616135
1441616136
9781607504108
1607504103
9781586039769
1586039768

Subject(s):

Genre/Form:

Additional physical formats: Print version:: Engineering methods and tools for software safety and security.DDC classification:

005.1 22

LOC classification:

QA76.758 .N3846 2008eb

Online resources:

Click here to access online

Contents:

Title page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination -- Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software.

Summary: Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

"Proceedings of the NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security, Marktoberdorf, Germany, 5-17 August 2008"--Title page verso.

Includes bibliographical references and index.

Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.

Print version record.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.