FM 2015: Formal Methods [[electronic resource] ] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVI, 610 p. 156 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
ISBN | 3-319-19249-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains. |
Record Nr. | UNISA-996200020603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / / edited by Nikolaj Bjørner, Frank de Boer |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XVI, 610 p. 156 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
ISBN | 3-319-19249-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains. |
Record Nr. | UNINA-9910483074103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
It's All About Coordination [[electronic resource] ] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 245 p. 52 illus.) |
Disciplina | 004.35 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer simulation Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Simulation and Modeling Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-319-90089-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Discovering the “Glue” Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. |
Record Nr. | UNISA-996465795103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 245 p. 52 illus.) |
Disciplina | 004.35 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer simulation Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Simulation and Modeling Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-319-90089-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Discovering the “Glue” Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. |
Record Nr. | UNINA-9910349430403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|