| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910793012203321 |
|
|
Autore |
Lynton Rolf P. |
|
|
Titolo |
Vikas ke liye prashikshan / / Rolf P. Lynton and Udai Pareek |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New Delhi, India ; ; Thousand Oaks, California : , : SAGE Publishing, , [2018] |
|
©2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (352 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Cover -- Contents -- List of Exhibits -- List of Figures -- List of Boxes -- Preface to the Third Edition -- Preface to the Second Edition -- Part I -- Chapter 1 -- Chapter 2 -- Chapter 3 -- Chapter 4 -- Chapter 5 -- Part II -- Chapter 6 -- Chapter 7 -- Chapter 8 -- Chapter 9 -- Chapter 10 -- Chapter 11 -- Chapter 12 -- Chapter 13 -- Part III -- Chapter 14 -- Chapter 15 -- Part IV -- Chapter 16 -- Chapter 17 -- About the Authors. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910826845203321 |
|
|
Titolo |
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, Netherlands : , : IOS Press, , 2015 |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (320 p.) |
|
|
|
|
|
|
Collana |
|
NATO Science for Peace and Security Series - D: Information and Communication Security, , 1879-8292 ; ; Volume 40 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Verification |
Computer systems - Verification |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing"" |
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
|
|
|
|
|
|
|
| |