Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers /: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers. ([2018])

• Record Type: Book
• Other Titles: SEFM 2017
• Further Information: Note: Edited by Antonio Cerone, Marco Roveri.
• Editors: Cerone, Antonio; Roveri, Marco
• Other Names: International Conference on Software Engineering and Formal Methods, 15th; DataMod (Symposium), 6th; FAACS (Workshop), 1st; MSE (Workshop), 1st; CoSim-CPS (Workshop), 1st; International Workshop on the Foundations of Coordination Languages and Software Architectures, 15th
• Contents: DataMod -- Temporal Analytics for Software Usage Models -- Sequential Pattern Mining for ICT Risk Assessment and Prevention -- Student performance prediction and optimal course selection: An MDP approach -- An Algorithm for Simulating Human Selective Attention -- Learning Decision Trees from Synthetic Data Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes -- A computational model of Internet addiction phenomena in social networks -- What belongs to context? A definition, a criterion and a method for deciding on what context-aware systems should sense and adapt to -- Finding all minimum-size DFA consistent with given examples: SAT-based approach -- FAACS -- Intercepting Blackhole Attacks in MANETs: An ASM-based Model -- Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines -- Design-time to Run-time Verification of Microservices Based Applications -- Generalized Oracle for Testing Machine Learning Computer Programs -- MSE@SEFM 2017 -- A Formal Framework for Specifying and Verifying Microservices Based Process Flows -- Towards a Taxonomy of Microservices Architectures -- Towards a reference dataset of microservice-based applications -- Towards a UML Profile for Domain-driven Design of Microservice Architectures -- A Framework for Modelling Variable Microservices as Software Product Lines -- CoSim-CPS -- A Refinement Approach to Analyse Critical Cyber-Physical Systems -- Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems -- Integrated simulation and formal verification of a simple autonomous vehicle -- Co-Simulation between Trnsys and Simulink based on Type155 -- Development of a Driverless Lawn Mower using Co-Simulation -- Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios -- Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems -- Features of Integrated Model-based Co-modelling and Co-simulation Technology -- A Tool Integration Language to Formalize Co-simulation Tool-chains for Cyber-physical System (CPS) -- A Framework for Analyzing Adaptive Autonomous Aerial Vehicles -- Co-simulation of semi-autonomous systems: the Line Follower Robot case study -- A Framework for the Co-Simulation of Engine Controls and Task Scheduling -- Formalising Cosimulation Models -- FOCLASA -- Towards the performance analysis of elastic systems with e-Motions -- From (incomplete) TOSCA speci_cations to running applications, with Docker -- Combining Trust and Aggregate Computing -- Reasoning about Sensing Uncertainty in Decision-Making for Self-Adaptation -- Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives -- Using Coq for Formal Modeling and Verification of Timed Connectors -- An initial user study comparing the readability of a graphical coordination model with Event-B notation.
• Publisher Details: Cham : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 592 pages), 204 illustrations
• Subjects: 005.1015113; Computer science; Software engineering -- Congresses; Formal methods (Computer science) -- Congresses; Computers; Computer science; Computer logic; Software engineering; Computer organization; Computers -- Hardware -- General; Computers -- Software Development & Engineering -- General; Computers -- Intelligence (AI) & Semantics; Computers -- Social Aspects -- Human-Computer Interaction; Computer networking & communications; Software Engineering; Artificial intelligence; Information technology: general issues; Computer hardware; Logic design; Computer network architectures; Software engineering; Artificial intelligence; Computer hardware; Computers -- Programming -- General; Computer programming / software development; Electronic books
• Languages: English
• ISBNs: 9783319747811; 3319747819
• Related ISBNs: 9783319747804; 3319747800
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.