Coverart for item
The Resource Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings, Lindsay Groves, Jing Sun (eds.)

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings, Lindsay Groves, Jing Sun (eds.)

Label
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
Title
Formal methods and software engineering
Title remainder
15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
Statement of responsibility
Lindsay Groves, Jing Sun (eds.)
Title variation
ICFEM 2013
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation
Member of
Dewey number
004.0151
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
International Conference on Formal Engineering Methods
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1951-,
http://library.link/vocab/relatedWorkOrContributorName
  • Groves, Lindsay
  • Sun, Jing
Series statement
  • Lecture Notes in Computer Science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
8144
http://library.link/vocab/subjectName
  • Computer Science
  • Software Engineering
  • Programming Techniques
  • Programming Languages, Compilers, Interpreters
  • Algorithm Analysis and Problem Complexity
  • Mathematical Logic and Formal Languages
  • Computer Communication Networks
  • Software
  • Software Validation
  • Formal methods (Computer science)
  • Software engineering
  • Computer software
Label
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings, Lindsay Groves, Jing Sun (eds.)
Instantiates
Publication
Copyright
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
  • Mining Dataflow Sensitive Specifications
  • Zhiqiang Zuo and Siau-Cheng Khoo
  • Proof
  • A Proof Slicing Framework for Program Verification
  • Ton Chanh Le ... [et al.]
  • Formally Verified System Initialisation
  • Andrew Boyton ... [et al.]
  • Verifying an Aircraft Proximity Characterization Method in Coq
  • Dongxi Liu ... [et al.]
  • Testing
  • Keynote
  • Assisting Specification Refinement by Random Testing
  • Mengjun Li
  • Generation of Checking Sequences Using Identification Sets
  • Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao
  • The Circus Testing Theory Revisited in Isabelle/HOL
  • Abderrahmane Feliachi ... [et al.] --
  • Lattices of Information for Security: Deterministic, Demonic, Probabilistic
  • Carroll C. Morgan
  • Specification
  • Algebraic Laws for Process Subtyping
  • José Dihego, Pedro Antonino and Augusto Sampaio
  • Boundness Issues in CCSL Specifications
  • Frédéric Mallet and Jean-Viven Millo
  • A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
  • Étienne André ... [et al.]
  • A UTP Semantics for Communicating Processes with Shared Variables
  • Ling Shi ... [et al.]
  • Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions
  • Duy-Khanh Le, Wei-Ngan Chin and Yong-Meng Teo
  • SysML/MDD
  • Formal Models of SysML Blocks
  • Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti
  • Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
  • Timed Systems
  • Jaco Jacobs and Andrew Simpson --
  • A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
  • Gustavo Carvalho, Augusto Sampaio and Alexandre Mota
  • Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
  • Yanhong Huang ... [et al.]
  • Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
  • Yuanjie Si ... [et al.]
  • Concurrency
  • Jianan Hao ... [et al.]
  • Application
  • Formal Kinematic Analysis of the Two-Link Planar Manipulator
  • Binyameen Farooq, Osman Hasan and Sohail Iqbal
  • Formal Modelling of Resilient Data Storage in Cloud
  • Inna Pereverzeva ... [et al.]
  • Linking Operational Semantics and Algebraic Semantics for Wireless Networks
  • Xiaofeng Wu and Huibiao Zhu
  • Static Analysis
  • Automated Specification Discovery via User-Defined Predicates
  • Translation from Workflow Nets to MSVL
  • Guanhua He ... [et al.]
  • Path-Sensitive Data Flow Analysis Simplified
  • Kirsten Winter ... [et al.]
  • Reconstructing Paths for Reachable Code
  • Stephan Arlt, Zhiming Liu and Martin Schäf
  • The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software
  • Giulia Costantini ... [et al.]
  • Ya Shi, Zhenhua Duan and Cong Tian
  • Verification
  • Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
  • Guoxin Su and David S. Rosenblum
  • Verification of Functional and Non-functional Requirements of Web Service Composition
  • Manman Chen ... [et al.]
  • vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems
Control code
ocn864756256
Dimensions
unknown
Extent
1 online resource (xviii, 466 pages)
File format
unknown
Form of item
online
Isbn
9783642412028
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-642-41202-8
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)864756256
Label
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings, Lindsay Groves, Jing Sun (eds.)
Publication
Copyright
Note
International conference proceedings
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
  • Mining Dataflow Sensitive Specifications
  • Zhiqiang Zuo and Siau-Cheng Khoo
  • Proof
  • A Proof Slicing Framework for Program Verification
  • Ton Chanh Le ... [et al.]
  • Formally Verified System Initialisation
  • Andrew Boyton ... [et al.]
  • Verifying an Aircraft Proximity Characterization Method in Coq
  • Dongxi Liu ... [et al.]
  • Testing
  • Keynote
  • Assisting Specification Refinement by Random Testing
  • Mengjun Li
  • Generation of Checking Sequences Using Identification Sets
  • Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao
  • The Circus Testing Theory Revisited in Isabelle/HOL
  • Abderrahmane Feliachi ... [et al.] --
  • Lattices of Information for Security: Deterministic, Demonic, Probabilistic
  • Carroll C. Morgan
  • Specification
  • Algebraic Laws for Process Subtyping
  • José Dihego, Pedro Antonino and Augusto Sampaio
  • Boundness Issues in CCSL Specifications
  • Frédéric Mallet and Jean-Viven Millo
  • A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
  • Étienne André ... [et al.]
  • A UTP Semantics for Communicating Processes with Shared Variables
  • Ling Shi ... [et al.]
  • Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions
  • Duy-Khanh Le, Wei-Ngan Chin and Yong-Meng Teo
  • SysML/MDD
  • Formal Models of SysML Blocks
  • Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti
  • Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
  • Timed Systems
  • Jaco Jacobs and Andrew Simpson --
  • A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
  • Gustavo Carvalho, Augusto Sampaio and Alexandre Mota
  • Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
  • Yanhong Huang ... [et al.]
  • Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
  • Yuanjie Si ... [et al.]
  • Concurrency
  • Jianan Hao ... [et al.]
  • Application
  • Formal Kinematic Analysis of the Two-Link Planar Manipulator
  • Binyameen Farooq, Osman Hasan and Sohail Iqbal
  • Formal Modelling of Resilient Data Storage in Cloud
  • Inna Pereverzeva ... [et al.]
  • Linking Operational Semantics and Algebraic Semantics for Wireless Networks
  • Xiaofeng Wu and Huibiao Zhu
  • Static Analysis
  • Automated Specification Discovery via User-Defined Predicates
  • Translation from Workflow Nets to MSVL
  • Guanhua He ... [et al.]
  • Path-Sensitive Data Flow Analysis Simplified
  • Kirsten Winter ... [et al.]
  • Reconstructing Paths for Reachable Code
  • Stephan Arlt, Zhiming Liu and Martin Schäf
  • The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software
  • Giulia Costantini ... [et al.]
  • Ya Shi, Zhenhua Duan and Cong Tian
  • Verification
  • Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
  • Guoxin Su and David S. Rosenblum
  • Verification of Functional and Non-functional Requirements of Web Service Composition
  • Manman Chen ... [et al.]
  • vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems
Control code
ocn864756256
Dimensions
unknown
Extent
1 online resource (xviii, 466 pages)
File format
unknown
Form of item
online
Isbn
9783642412028
Isbn Type
(electronic bk.)
Level of compression
unknown
Other control number
10.1007/978-3-642-41202-8
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)864756256

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...