Il maggiorascato nell'Italia Meridionale nel decennio Napoleonico [Tesi di dottorato] / Dottorando: Alessandro Maria Raffone ; Coordinatore: Aldo Corcella ; Relatore: Antonio Lerra

• Record Nr.: UNIBAS000044836
• Autore: Raffone, Alessandro Maria
• Pubbl/distr/stampa: [Potenza : 2018]
• Descrizione fisica: 200 p. ; 30 cm.
• Classificazione: M-STO/02
• Disciplina: 945.7082
• Soggetti: Maggiorascato - Italia meridionale - Sec. 19
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare

• Record Nr.: UNINA9910778084603321
• Pubbl/distr/stampa: Washington, DC, : IOS Press, 2009
• ISBN: 1-4416-1613-6; 1-60750-410-3; 600-00-1467-8
• Descrizione fisica: 1 online resource (344 p.)
• Collana: NATO science for peace and security series
• Altri autori (Persone): BroyM. <1949->; SitouWassiou; HoareC. A. R <1934-> (Charles Antony Richard)
• Disciplina: 005.8
• Soggetti: Engineering - Data processing; Engineering - Methodology
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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; A 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 Index
• Sommario/riassunto: 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.