Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Verification
Computer systems - Verification |
Soggetto genere / forma | Electronic books. |
ISBN | 1-61499-207-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
Record Nr. | UNINA-9910453713003321 |
Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Verification
Computer systems - Verification |
ISBN | 1-61499-207-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
Record Nr. | UNINA-9910790875303321 |
Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
Descrizione fisica | 1 online resource (376 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Computer software - Verification
Computer systems - Verification |
ISBN | 1-61499-207-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
Record Nr. | UNINA-9910827692703321 |
Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
Descrizione fisica | 1 online resource (344 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BroyM. <1949->
SitouWassiou HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series |
Soggetto topico |
Engineering - Data processing
Engineering - Methodology |
ISBN |
1-4416-1613-6
1-60750-410-3 600-00-1467-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910778084603321 |
Washington, DC, : IOS Press, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
Pubbl/distr/stampa | Washington, DC, : IOS Press, 2009 |
Descrizione fisica | 1 online resource (344 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
BroyM. <1949->
SitouWassiou HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series |
Soggetto topico |
Engineering - Data processing
Engineering - Methodology |
ISBN |
1-4416-1613-6
1-60750-410-3 600-00-1467-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910822493403321 |
Washington, DC, : IOS Press, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Program Construction : International Summer School / / edited by F. L. Bauer and M. Broy |
Edizione | [First edition.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1979] |
Descrizione fisica | 1 online resource (X, 654 p.) |
Disciplina | 001.642 |
Collana | Lecture Notes in Computer Science Series |
Soggetto topico |
Computer programming
Computer programs - Verification |
ISBN | 3-540-35312-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A more formal treatment of a less simple example -- Stationary behaviour of some ternary networks -- Finding the correctness proof of a concurrent program -- On the interplay between mathematics and programming -- A theorem about odd powers of odd integers -- In honour of Fibonacci -- On the foolishness of "natural language programming" -- Program inversion -- The Schorr-Waite graph marking algorithm -- Eliminating the chaff -- Proofs, programs and their development — The axiomatic approach -- Current ideas in programming methodology -- Basic axiomatic definitions -- The multiple assignment statement -- Is sometimes ever better than always? -- A case study in language design: Euclid -- Proof rules for the programming language Euclid -- Verification of Euclid programs -- Specifications and proofs for abstract data types in concurrent programs -- Specification and verification of a network mail system -- From specification to implementation — The formal approach -- Program development by stepwise transformations — The project CIP -- Systematics of transformation rules -- Special transformation techniques -- A study on transformational semantics -- Detailization and lazy evaluation, infinite objects and pointer representation -- Examples for change of types and object structures -- Development of the Schorr-Waite algorithm -- A derivation-oriented proof of the Schorr-Waite marking algorithm -- Languages as tools — Interactive program construction -- Programing languages for reliable computing systems -- Programming methodology and language implications -- Towards a wide spectrum language to support program specification and program development -- Semantics of nondeterministic and noncontinuous constructs -- Notes on type abstraction -- Some theoretical aspects of program construction. |
Record Nr. | UNISA-996465338803316 |
Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1979] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (VIII, 357 pp.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Systems engineering |
ISBN | 3-540-49439-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. |
Record Nr. | UNINA-9910143466603321 |
Berlin, Heidelberg : , : Springer, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Requirements targeting software and systems engineering : international workshop RTSE '97, Bernried, Germany, October 12-14 1997 / / Manfred Broy, Bernhard Rumpe (editors) |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1998] |
Descrizione fisica | 1 online resource (VIII, 357 pp.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Systems engineering |
ISBN | 3-540-49439-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Software Engineering -- Domains as a Prerequisite for Requirements and Software Domain Perspectives and Facets, Requirements Aspects and Software Views -- Software and System Modeling Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method -- Methodology -- A Discipline for Handling Feature Interaction -- Merging Changes to Software Specifications -- Combining and Distributing Hierarchical Systems -- Software Engineering Issues for Network Computing -- A Two-Layered Approach to Support Systematic Software Development -- Evaluation and Case Studies -- A Framework for Evaluating System and Software Requirements Specification Approaches -- Formal Methods and Industrial-Strength Computer Networks -- Tool Support and Prototyping -- Integration Tools Supporting Development Processes -- Formal Models and Prototyping -- Abstraction and Modular Verification of Infinite-State Reactive Systems -- NSA’s MISSI Reference Architecture – Moving from Prose to Precise Specifications -- Requirements Engineering Repositories: Formal Support for Informal Teamwork Methods. |
Record Nr. | UNISA-996465894903316 |
Berlin, Heidelberg : , : Springer, , [1998] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.10289 |
Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
Record Nr. | UNINA-9910781757703321 |
Amsterdam, The Netherlands, : IOS Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.10289 |
Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
Record Nr. | UNINA-9910813007503321 |
Amsterdam, The Netherlands, : IOS Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|