Algebra and Coalgebra in Computer Science [[electronic resource] ] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / / edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 460 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Software engineering Computer science—Mathematics Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Symbolic and Algebraic Manipulation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Connectors -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well, Simple -- Modelling Fusion Calculus using HD-Automata -- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL -- Using Proofs by Coinduction to Find “Traditional” Proofs -- From T-Coalgebras to Filter Structures and Transition Systems -- Context-Free Languages via Coalgebraic Trace Semantics -- Towards a Coalgebraic Semantics of the Ambient Calculus -- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic -- Ultrafilter Extensions for Coalgebras -- Equational Logic of Recursive Program Schemes -- The Category Theoretic Solution of Recursive Program Schemes -- A Categorical Approach to Simulations -- Behavioral Extensions of Institutions -- Discrete Lawvere Theories -- Final Semantics for Event-Pattern Reactive Programs -- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing -- Final Sequences and Final Coalgebras for Measurable Spaces -- Bireachability and Final Multialgebras -- Parametrized Exceptions -- Property Preserving Redesign of Specifications. |
Record Nr. | UNISA-996465551103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applicable Formal Methods for Safe Industrial Products [[electronic resource] ] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach |
Autore | Haxthausen Anne E |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (340 pages) |
Disciplina | 005.1 |
Altri autori (Persone) |
HuangWen-ling
RoggenbachMarkus |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
ISBN | 3-031-40132-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Laudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products -- Testing -- On Testing Ethical Autonomous Decision-Making -- Bringing RoboStar and RT-Tester together -- Implementation Relations for Distributed Testing -- Conformance Relations between Input/Output Languages -- On Scenario-Based Testing of Cyber-Physical Systems -- Railway Verification and Safety & Security -- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems -- Decomposing the Verification of Interlocking Systems -- Pattern-based risk identification for model-based risk management -- A Journey through Software Model Checking of Interlocking Programs -- Formal Modelling to Improve Safety and Security -- Intelligent Systems and Cyber-Physical Systems -- Time for Traffic Manoeuvres -- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles -- Supervision of Intelligent Systems: An Overview -- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems -- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems -- Tools and Techniques for Specification, Verification and Code Generation -- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support -- Space Telemetry Analysis with PyContract -- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines -- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine -- Debugging Frame Conditions. |
Record Nr. | UNISA-996546852703316 |
Haxthausen Anne E
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach |
Autore | Haxthausen Anne E |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (340 pages) |
Disciplina | 005.1 |
Altri autori (Persone) |
HuangWen-ling
RoggenbachMarkus |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
ISBN | 3-031-40132-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Laudatio -- Jan Peleska - the Admirable Expert in Applicable Formal Methods for Safe Industrial Products -- Testing -- On Testing Ethical Autonomous Decision-Making -- Bringing RoboStar and RT-Tester together -- Implementation Relations for Distributed Testing -- Conformance Relations between Input/Output Languages -- On Scenario-Based Testing of Cyber-Physical Systems -- Railway Verification and Safety & Security -- Safety vs. Security { Why Separation of Concerns is a Good Strategy for Safety-Critical Systems -- Decomposing the Verification of Interlocking Systems -- Pattern-based risk identification for model-based risk management -- A Journey through Software Model Checking of Interlocking Programs -- Formal Modelling to Improve Safety and Security -- Intelligent Systems and Cyber-Physical Systems -- Time for Traffic Manoeuvres -- Safer than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles -- Supervision of Intelligent Systems: An Overview -- Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems -- Towards A Unifying Framework for Uncertainty in Cyber-Physical Systems -- Tools and Techniques for Specification, Verification and Code Generation -- Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support -- Space Telemetry Analysis with PyContract -- An Intermediate Language-based Approach to Implementing and Verifying Communicating UML State Machines -- Polynomial Formal Verification of Complex Circuits using a Hybrid Proof Engine -- Debugging Frame Conditions. |
Record Nr. | UNINA-9910739469003321 |
Haxthausen Anne E
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / / Antonio Cerone, Markus Roggenbach (editors) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (IX, 227 p. 34 illus., 21 illus. in color.) |
Disciplina | 370.285 |
Collana | Communications in computer and information science |
Soggetto topico | Education - Data processing |
ISBN | 3-030-71374-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper -- Axiom Based Testing for Fun and Pedagogy -- Teaching Formal Methods for Fun Using Maude -- Fun with Formal Methods for Better Education -- Adapting to Different Types of Target Audience in Teaching Formal Methods -- Prototyping Games using Formal Methods -- Teaching Model Checking via Games and Puzzles -- Formal Methods and Cybersecurity Education -- Teaching Them Early: Formal Methods in School -- From Stories to Concurrency: How Children Can Play with Formal Methods -- When the Student becomes the Teacher -- Teaching formal methods in academia: a systematic literature review. |
Record Nr. | UNINA-9910483773003321 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods - fun for everybody : first international workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / / Antonio Cerone, Markus Roggenbach (editors) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (IX, 227 p. 34 illus., 21 illus. in color.) |
Disciplina | 370.285 |
Collana | Communications in computer and information science |
Soggetto topico | Education - Data processing |
ISBN | 3-030-71374-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Rooting Formal Methods in Higher Education Curricula for Computer Science or Software Engineering – A Whitepaper -- Axiom Based Testing for Fun and Pedagogy -- Teaching Formal Methods for Fun Using Maude -- Fun with Formal Methods for Better Education -- Adapting to Different Types of Target Audience in Teaching Formal Methods -- Prototyping Games using Formal Methods -- Teaching Model Checking via Games and Puzzles -- Formal Methods and Cybersecurity Education -- Teaching Them Early: Formal Methods in School -- From Stories to Concurrency: How Children Can Play with Formal Methods -- When the Student becomes the Teacher -- Teaching formal methods in academia: a systematic literature review. |
Record Nr. | UNISA-996464447603316 |
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal methods for software engineering : languages, methods, application domains / / Markus Roggenbach [and four others] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2022] |
Descrizione fisica | 1 online resource (537 pages) |
Disciplina | 005.1 |
Collana | Texts in Theoretical Computer Science. an EATCS Ser. |
Soggetto topico |
Software engineering
Software engineering - Computer programs |
ISBN | 3-030-38800-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996478863803316 |
Cham, Switzerland : , : Springer International Publishing, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Software Engineering : Languages, Methods, Application Domains / / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (537 pages) |
Disciplina | 005.1 |
Collana | Texts in Theoretical Computer Science. An EATCS Series |
Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Engineering mathematics Engineering—Data processing Application software Theory of Computation Software Engineering Computer Science Logic and Foundations of Programming Symbolic and Algebraic Manipulation Mathematical and Computational Engineering Applications Computer and Information Systems Applications |
ISBN | 3-030-38800-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Formal Methods -- Part I Languages: 2 Logics for Software Engineering -- 3 The Process Algebra CSP -- Part II Methods: 4 Algebraic Specification in CASL -- 5 Specification-Based Testing -- Part III Application Domains: 6 Specification and Verification of Normative Documents -- 7 Formal Methods for Human-Computer Interaction -- 8 Formal Verification of Security Protocols -- Part IV Wrapping up: 9 Origins and Development of Formal Methods -- Authors' Conclusion -- Appendix A Syntax of the Logics in this Book -- Appendix B Language Definition of CSP -- Appendix C Concrete CASL Syntax. |
Record Nr. | UNINA-9910580153403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
On the Construction of Engineering Handbooks [[electronic resource] ] : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach |
Autore | Gruner Stefan |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XII, 83 p. 13 illus., 6 illus. in color.) |
Disciplina | 808.0666 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Software engineering
Management information systems Computer science Computers Law and legislation Transportation engineering Traffic engineering Software Engineering Management of Computing and Information Systems Legal Aspects of Computing Transportation Technology and Traffic Engineering |
ISBN | 3-030-44648-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. . |
Record Nr. | UNISA-996465448303316 |
Gruner Stefan
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain / / by Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach |
Autore | Gruner Stefan |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XII, 83 p. 13 illus., 6 illus. in color.) |
Disciplina | 808.0666 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Software engineering
Management information systems Computer science Computers Law and legislation Transportation engineering Traffic engineering Software Engineering Management of Computing and Information Systems Legal Aspects of Computing Transportation Technology and Traffic Engineering |
ISBN | 3-030-44648-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step 6 -- 6Conclusions and Prospects for Future Work. . |
Record Nr. | UNINA-9910409675903321 |
Gruner Stefan
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers / / edited by Markus Roggenbach |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (ix, 165 pages) : illustrations |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Machine theory Computer programming Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques |
ISBN | 3-030-73785-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) -- Contributed Papers -- The wheel of rational numbers as an abstract data type -- Towards General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures -- Parallel Coherent Graph Transformations -- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages -- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS -- Structure-Preserving Diagram Operators. |
Record Nr. | UNISA-996464526103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|