Software Engineering and Formal Methods
Springer International Publishing (Verlag)
978-3-319-15200-4 (ISBN)
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.
| Erscheint lt. Verlag | 26.2.2015 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XXVII, 405 p. 147 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 664 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Applications • behavioral type theory • Complex Systems • Computer Science • conference proceedings • formal methods • Informatics • knowledge management • logic and verification • Model Checking • Open Source Software • program constructs • Programming Languages • Research • software creation and management • software development methods • software extra-functional properties • software organization and properties • software system structures • Software Verification and Validation • sustainability • sustainable development • type structures |
| ISBN-10 | 3-319-15200-9 / 3319152009 |
| ISBN-13 | 978-3-319-15200-4 / 9783319152004 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
