Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/655
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Furia, Carlo A. ; | en_US |
| dc.contributor.author | Winter, Kirsten. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:08Z | - |
| dc.date.available | 2020-05-17T08:20:08Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319989389 ; | en_US |
| dc.identifier.isbn | 9783319989372 (print) ; | en_US |
| dc.identifier.isbn | 9783319989396 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/655 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989372. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989396. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Carlo A. Furia, Kirsten Winter. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XVI, 420 p. 111 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.haspart | 9783319989372.pdf | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Integrated Formal Methods | en_US |
| dc.title.alternative | 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319989372.pdf | 23.18 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Furia, Carlo A. ; | en_US |
| dc.contributor.author | Winter, Kirsten. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:08Z | - |
| dc.date.available | 2020-05-17T08:20:08Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319989389 ; | en_US |
| dc.identifier.isbn | 9783319989372 (print) ; | en_US |
| dc.identifier.isbn | 9783319989396 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/655 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989372. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989396. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Carlo A. Furia, Kirsten Winter. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XVI, 420 p. 111 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.haspart | 9783319989372.pdf | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Integrated Formal Methods | en_US |
| dc.title.alternative | 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319989372.pdf | 23.18 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Furia, Carlo A. ; | en_US |
| dc.contributor.author | Winter, Kirsten. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:08Z | - |
| dc.date.available | 2020-05-17T08:20:08Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319989389 ; | en_US |
| dc.identifier.isbn | 9783319989372 (print) ; | en_US |
| dc.identifier.isbn | 9783319989396 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/655 | - |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989372. ; | en_US |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319989396. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Carlo A. Furia, Kirsten Winter. | en_US |
| dc.description.tableofcontents | 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. ; | en_US |
| dc.format.extent | XVI, 420 p. 111 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11023. ; | en_US |
| dc.relation.haspart | 9783319989372.pdf | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Integrated Formal Methods | en_US |
| dc.title.alternative | 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319989372.pdf | 23.18 MB | Adobe PDF | Preview File |