Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016)

• Record Type: Book
• Other Titles: ISoLA 2016
• Further Information: Note: Editors: Tiziana Margaria and Bernhard Steffen.
• Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
• Other Names: ISoLA (Symposium), 7th
• Contents: Towards a Unified View of Modeling and Programming (Track Summary) -- Programming -- Modeling -- Engineering -- On a Unified View of Modeling and Programming: Position Paper -- On the Feasibility of a Unified Modelling and Programming Paradigm -- Modeling Meets Programming:A Comparative Study in Model Driven Engineering Action Languages -- Abstractions for Modeling Complex Systems -- Specifying and Verifying Advanced Control Features -- Simplifying OMG MOF-based Metamodeling -- Modelling and Testing of Real Systems -- Unifying Modelling and Programming: A Systems Biology Perspective -- Formally Unifying Modeling and Design for Embedded Systems -- a Personal View -- Interactive Model-Based Compilation Continued -- Incremental Hardware Synthesis for SCCharts -- Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design -- Merging Modeling and Programming using Umple -- Systems Modeling and Programming in a Unified Environment based on Julia -- Meta-Level Reuse for Mastering Domain Specialization -- Towards a Unified View of Modeling and Programming -- Formal Methods and Safety Certification: Challenges in the Railways Domain -- On the Use of Static Checking in the Verification of Interlocking systems -- Compositional Verification of Multi-Station Interlocking Systems -- OnTrack: The Railway Verification Toolset -- Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System -- Tuning energy consumption strategies in the railway domain: a model-based approach -- Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) -- What is a Trace? A Runtime Verification Perspective -- Execution Trace Analysis Using LTL-FO+ -- Challenges in Fault-tolerant Distributed Runtime Verification -- The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems -- Runtime Verification for Interconnected Medical Devices -- Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions -- Towards a Logic for Inferring Properties of Event Streams -- Runtime Verification for Stream Processing Applications -- On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks -- On the Specification and Enforcement of Privacy-Preserving Contractual Agreements -- Introduction to Track on Variability Modeling for Scalable Software Evolution -- Towards Incremental Validation of Railway Systems -- Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners -- Variability-Based Design of Services for Smart Transportation Systems -- Comparing AWS deployments using model-based predictions -- A Toolchain for Delta-Oriented Modeling of Software Product Lines -- A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems -- Adaptable Runtime Monitoring for the Java Virtual Machine -- Identifying Variability in Object-Oriented Code Using Model-Based Code Mining -- User Profiles for Context-Aware Reconfiguration in Software Product Lines -- Refactoring Delta Oriented Product Lines to Enforce Guidelines for Efficient Type-checking -- Detecting and Understanding Software Doping -- Track Introduction -- Facets of Software Doping -- Software that meets its Intent -- Compliance, Functional Safety & Fault Detection by Formal Methods -- What the Hack Is Wrong with Software Doping? -- Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems (Special Track at ISoLA 2016) -- ALEX: Mixed-Mode Learning of Web Applications at Ease -- Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring -- Enhancement of an adaptive HEV operating strategy using machine learning algorithms -- Testing the Internet of Things -- Data Science Challenges to Improve Quality Assurance of Internet of Things Applications -- Model-Based Testing as a Service for IoT Platforms -- ISoLA Doctoral Symposium -- Handling domain knowledge in formal design models: An ontology based approach -- A retrospective of the past four years with Industry 4.0 -- Effective and Efficient Customization through Lean Trans-Departmental Configuration -- A Fully Model-Based Approach to Software Development for Industrial Centrifuges -- RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification -- DIME: A Programming-Less Modeling Environment for Web Applications -- Verification Techniques for Hybrid Systems -- On the Power of Statistical Model Checking.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource (xxiv, 866 pages), illustrations
• Subjects: 629.8/9251; Computer science; Robots -- Programming -- Congresses; Machine learning -- Congresses; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Verification; Formal methods (Computer science); Machine learning; Robots -- Programming; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Machine Theory; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Computer programming / software development; Programming & scripting languages: general; User interface design & usability; Mathematical theory of computation; Artificial intelligence; Software engineering; Logic design; Artificial intelligence; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319471693; 3319471694; 3319471686; 9783319471686
• Related ISBNs: 9783319471686
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 14, 2016).
• 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.