Software Engineering and Formal Methods - neues Buch

EAN (ISBN-13): 9783319747811
Erscheinungsjahr: 2002
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2019-09-12T17:13:14+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-06-29T18:24:30+02:00 (Berlin)
ISBN/EAN: 9783319747811

ISBN - alternative Schreibweisen:
978-3-319-74781-1

---

Daten vom Verlag:

Autor/in: Antonio Cerone; Marco Roveri
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; 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
Verlag: Springer; Springer International Publishing
592 Seiten
Erscheinungsjahr: 2018-02-01
Cham; CH
Sprache: Englisch
78,10 € (DE)
80,30 € (AT)
87,50 CHF (CH)
Available
X, 592 p. 204 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; artificial intelligence; computer networks; cyber physical systems; data security; distributed computer systems; embedded systems; formal methods; graph theory; Human-Computer Interaction (HCI); internet; machine learning; model checking; petri nets; semantics; software engineering; specifications; telecommunication networks; theorem proving; ubiquitous computing; user interfaces; C; Logics and Meanings of Programs; Computer Systems Organization and Communication Networks; Software Engineering/Programming and Operating Systems; Artificial Intelligence; Computing Milieux; Computer Hardware; Computer Science Logic and Foundations of Programming; Computer Engineering and Networks; Software Engineering; Artificial Intelligence; Computing Milieux; Computer Hardware; Computer Science; Computerhardware; Software Engineering; Künstliche Intelligenz; Informationstechnik (IT), allgemeine Themen; Computerhardware; BC

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.