06791nam 22008175 450 99646630590331620200703124409.03-642-10373-110.1007/978-3-642-10373-5(CKB)1000000000804427(SSID)ssj0000355502(PQKBManifestationID)11267517(PQKBTitleCode)TC0000355502(PQKBWorkID)10337795(PQKB)10893265(DE-He213)978-3-642-10373-5(MiAaPQ)EBC3064789(PPN)139962700(EXLCZ)99100000000080442720100301d2009 u| 0engurnn#008mamaatxtccrFormal Methods and Software Engineering[electronic resource] 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /edited by Karin Breitman, Ana Cavalcanti1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XIV, 758 p.)Programming and Software Engineering ;5885Bibliographic Level Mode of Issuance: Monograph3-642-10372-3 Includes bibliographical references and index.Invited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML.This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009. The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.Programming and Software Engineering ;5885Software engineeringProgramming languages (Electronic computers)Computer programmingComputersMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Kongress.swdRio de Janeiro (2009)swdSoftware engineering.Programming languages (Electronic computers).Computer programming.Computers.Mathematical logic.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Models and Principles.Mathematical Logic and Formal Languages.004n/aDAT 310fstubDAT 510fstubSS 4800rvkBreitman Karinedthttp://id.loc.gov/vocabulary/relators/edtCavalcanti Anaedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Formal Engineering MethodsBOOK996466305903316Formal Methods and Software Engineering771999UNISA