Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
| Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-319-91271-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| Record Nr. | UNISA-996465825303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
| Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
| ISBN |
9783319912714
3319912712 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
| Record Nr. | UNINA-9910349429803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors)
| Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 353 p. 122 illus., 75 illus. in color.) |
| Disciplina | 160 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic
Computer science |
| ISBN | 3-030-76020-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. |
| Record Nr. | UNINA-9910484970803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors)
| Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVI, 353 p. 122 illus., 75 illus. in color.) |
| Disciplina | 160 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic
Computer science |
| ISBN | 3-030-76020-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. |
| Record Nr. | UNISA-996464415003316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modeling Companion for Software Practitioners / / by Egon Börger, Alexander Raschke
| Modeling Companion for Software Practitioners / / by Egon Börger, Alexander Raschke |
| Autore | Börger Egon |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (362 pages) |
| Disciplina | 005.3 |
| Soggetto topico |
Software engineering
Logic, Symbolic and mathematical Management information systems Industrial management Software Engineering Mathematical Logic and Formal Languages Business Process Management |
| ISBN | 3-662-56641-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index. |
| Record Nr. | UNINA-9910299298703321 |
Börger Egon
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous State-Based Methods [[electronic resource] ] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / / edited by Alexander Raschke, Dominique Méry
| Rigorous State-Based Methods [[electronic resource] ] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / / edited by Alexander Raschke, Dominique Méry |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (174 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer engineering Computer networks Logic programming Application software Compilers (Computer programs) Formal Languages and Automata Theory Computer Engineering and Networks Logic in AI Computer and Information Systems Applications Compilers and Interpreters |
| ISBN | 3-030-77543-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. |
| Record Nr. | UNISA-996464497303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / / edited by Alexander Raschke, Dominique Méry
| Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / / edited by Alexander Raschke, Dominique Méry |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (174 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer engineering Computer networks Logic programming Application software Compilers (Computer programs) Formal Languages and Automata Theory Computer Engineering and Networks Logic in AI Computer and Information Systems Applications Compilers and Interpreters |
| ISBN | 3-030-77543-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Research Articles -- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams -- Towards ASM-based automated formal verification of security protocols -- Verifying System-level Security of a Smart Ballot Box -- Proving the safety of a Sliding Window Protocol with Event B -- Event-B formalization of Event-B contexts -- Validation of Formal Models by Timed Probabilistic Simulation -- Short Articles -- Sterling: A Web-based Visualizer for Relational Modeling Languages -- Extending ASMETA with time features -- About the Concolic Execution and Symbolic ASM Function Promotion in CASM -- Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection -- The CamilleX Framework for the Rodin Platform -- Extensible Record Structures in Event-B -- Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS using Event-B -- Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application -- Short Articles of the PhD-Symposium (Work in Progress) -- Formal Meta Engineering Event-B: Extension and Reasoning – The EB4EB Framework -- A modeling and verification framework for security protocols -- Formalizing the Institution for Event-B in the Coq Proof Assistant. |
| Record Nr. | UNINA-9910483178103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous State-Based Methods [[electronic resource] ] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / / edited by Alexander Raschke, Dominique Méry, Frank Houdek
| Rigorous State-Based Methods [[electronic resource] ] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / / edited by Alexander Raschke, Dominique Méry, Frank Houdek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xii, 428 pages) : illustrations |
| Disciplina | 006.31 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer engineering Computer networks Software engineering Microprogramming Formal Languages and Automata Theory Artificial Intelligence Computer Engineering and Networks Software Engineering Control Structures and Microprogramming |
| ISBN | 3-030-48077-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). |
| Record Nr. | UNISA-996418310103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / / edited by Alexander Raschke, Dominique Méry, Frank Houdek
| Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / / edited by Alexander Raschke, Dominique Méry, Frank Houdek |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xii, 428 pages) : illustrations |
| Disciplina |
006.31
005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer engineering Computer networks Software engineering Microprogramming Formal Languages and Automata Theory Artificial Intelligence Computer Engineering and Networks Software Engineering Control Structures and Microprogramming |
| ISBN | 3-030-48077-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress). |
| Record Nr. | UNINA-9910409668703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
