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.
Formal Methods [[electronic resource] ] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
| Formal Methods [[electronic resource] ] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 692 p. 131 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer simulation Computer system failures Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling System Performance and Evaluation |
| ISBN | 3-319-95582-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466472303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
| Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 692 p. 131 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer simulation Computer system failures Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Artificial Intelligence Simulation and Modeling System Performance and Evaluation |
| ISBN | 3-319-95582-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349420403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods: Foundations and Applications [[electronic resource] ] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / / edited by Márcio Cornélio, Bill Roscoe
| Formal Methods: Foundations and Applications [[electronic resource] ] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / / edited by Márcio Cornélio, Bill Roscoe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 195 p. 62 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-319-29473-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware -- Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking -- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement and Verification -- Refinement strategies for Safety-Critical Java -- Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm -- Testing and Evaluation -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal Evaluation of Complex Systems -- Test Case Generation from Natural Language Requirements using CPN Simulation. |
| Record Nr. | UNISA-996466354403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / / edited by Márcio Cornélio, Bill Roscoe
| Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / / edited by Márcio Cornélio, Bill Roscoe |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 195 p. 62 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Management information systems Computer science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Management of Computing and Information Systems |
| ISBN | 3-319-29473-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware -- Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking -- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement and Verification -- Refinement strategies for Safety-Critical Java -- Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm -- Testing and Evaluation -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal Evaluation of Complex Systems -- Test Case Generation from Natural Language Requirements using CPN Simulation. |
| Record Nr. | UNINA-9910483842503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||