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.
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / / edited by Carlos Canal, Akram Idani
| Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / / edited by Carlos Canal, Akram Idani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVII, 405 p. 147 illus.) : online resource |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Mathematical logic Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-319-15201-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical Notation -- SaFoMe 2014 -- On a Process Algebraic Representation of Sequence Diagrams -- Modelling and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts -- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems -- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities -- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives -- MoKMaSD 2014 -- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks -- Use of Mobile Phone Data to Estimate Visitors Mobility Flows -- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities -- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer -- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea -- Research Challenges in Modelling Ecosystems -- Retrieving Points of Interest from Human Systematic Movements -- WS-FMDS 2014 -- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution -- Phase-Type Approximations for Non-Markovian Systems: A Case Study -- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes -- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis -- On Generation of Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. |
| Record Nr. | UNISA-996198831203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / / edited by Carlos Canal, Akram Idani
| Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / / edited by Carlos Canal, Akram Idani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XXVII, 405 p. 147 illus.) : online resource |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Logic, Symbolic and mathematical Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-319-15201-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical Notation -- SaFoMe 2014 -- On a Process Algebraic Representation of Sequence Diagrams -- Modelling and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts -- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems -- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities -- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives -- MoKMaSD 2014 -- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks -- Use of Mobile Phone Data to Estimate Visitors Mobility Flows -- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities -- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer -- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea -- Research Challenges in Modelling Ecosystems -- Retrieving Points of Interest from Human Systematic Movements -- WS-FMDS 2014 -- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution -- Phase-Type Approximations for Non-Markovian Systems: A Case Study -- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes -- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis -- On Generation of Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. |
| Record Nr. | UNINA-9910484831203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||