02999nam 2200613Ia 450 991082249340332120200520144314.01-4416-1613-61-60750-410-3600-00-1467-8(CKB)1000000000765358(EBL)448762(OCoLC)430325602(SSID)ssj0000337255(PQKBManifestationID)12133448(PQKBTitleCode)TC0000337255(PQKBWorkID)10288428(PQKB)10090129(MiAaPQ)EBC448762(Au-PeEL)EBL448762(CaPaEBR)ebr10309220(CaONFJC)MIL577658(EXLCZ)99100000000076535820081229d2009 uy 0engur|n|---|||||txtccrEngineering methods and tools for software safety and security /[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare1st ed.Washington, DC IOS Press20091 online resource (344 p.)NATO science for peace and security seriesDescription based upon print version of record.1-58603-976-8 Includes bibliographical references and index.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 SoftwareA Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author IndexBased 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.NATO Science for Peace and Security Series D: Information and Communication Security, v. 22EngineeringData processingEngineeringMethodologyEngineeringData processing.EngineeringMethodology.005.8NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and SecurityMiAaPQMiAaPQMiAaPQBOOK9910822493403321Engineering methods and tools for software safety and security4185204UNINA