{ "item_title" : "Software Engineering and Formal Methods", "item_author" : [" Carlos Canal", "Akram Idani "], "item_description" : "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.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/31/915/200/3319152009_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details