國立虎尾科技大學 |

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications/ edited by Tiziana Margaria, Bernhard Steffen.
Reminder of title:	7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
other author:	Margaria, Tiziana.
Description:	XXIV, 866 p. 291 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-47169-3
ISBN:	9783319471693

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /[electronic resource] :edited by Tiziana Margaria, Bernhard Steffen. - 1st ed. 2016. - XXIV, 866 p. 291 illus.online resource. - Theoretical Computer Science and General Issues ;9953. - Theoretical Computer Science and General Issues ;9163.

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.

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS. .

ISBN: 9783319471693

Standard No.: 10.1007/978-3-319-47169-3doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
LDR:07576nam a22004095i 4500 001 975180
003 DE-He213
005 20200917150147.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319471693 $9 978-3-319-47169-3
024 7 $a 10.1007/978-3-319-47169-3 $2 doi
035 $a 978-3-319-47169-3
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications $h [electronic resource] : $b 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / $c edited by Tiziana Margaria, Bernhard Steffen.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XXIV, 866 p. 291 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 9953
505 0 $a 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.
520 $a The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS. .
650 0 $a Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computers. $3 565115
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Artificial intelligence. $3 559380
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Artificial Intelligence. $3 646849
700 1 $a Margaria, Tiziana. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 882002
700 1 $a Steffen, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883233
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319471686
776 0 8 $i Printed edition: $z 9783319471709
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-47169-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)