國立虎尾科技大學 |

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Integrated Formal Methods/ edited by Carlo A. Furia, Kirsten Winter.
Reminder of title:	14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
other author:	Furia, Carlo A.
Description:	XVI, 420 p. 111 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-98938-9
ISBN:	9783319989389

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
Integrated Formal Methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /[electronic resource] :edited by Carlo A. Furia, Kirsten Winter. - 1st ed. 2018. - XVI, 420 p. 111 illus.online resource. - Programming and Software Engineering ;11023. - Programming and Software Engineering ;8987.

Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

ISBN: 9783319989389

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

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
LDR:03639nam a22004095i 4500 001 988856
003 DE-He213
005 20200704031107.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319989389 $9 978-3-319-98938-9
024 7 $a 10.1007/978-3-319-98938-9 $2 doi
035 $a 978-3-319-98938-9
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 Integrated Formal Methods $h [electronic resource] : $b 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / $c edited by Carlo A. Furia, Kirsten Winter.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XVI, 420 p. 111 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 Programming and Software Engineering ; $v 11023
505 0 $a Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.
520 $a This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
650 0 $a Software engineering. $3 562952
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer simulation. $3 560190
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Furia, Carlo A. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 885428
700 1 $a Winter, Kirsten. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1208282
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319989372
776 0 8 $i Printed edition: $z 9783319989396
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-98938-9
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)