形式方法和軟件工程LNCS-4260

內(nèi)容概要

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006.    The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.

書(shū)籍目錄

Keynote Talks　Program Verification Through Computer Algebra　JML's Rich, Inherited Specifications for Behavioral Subtypes　Three Perspectives in Formal EngineeringSpecification and Verification　A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces　Applying Timed Interval Calculus to Simulink Diagrams　Reducing Model Checking of the Few to the One　Induction-Guided Falsification　Verifying x Models of Industrial Systems with SPIN　Stateful Dynamic Partial-Order ReductionInternetware and Web-Based Systems　User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition　　Environment Ontology-Based Capability Specification for Web Service Discovery　Scenario-Based Component Behavior Derivation　Verification of Computation Orchestration Via Timed Automata　Towards the Semantics for Web Service Choreography Description Language　Type Checking Choreography Description LanguageConcurrent, Communicating, Timing and Probabilistic Systems　Formalising Progress Properties of Non-blocking Programs　Towards a Fully Generic Theory of Data　Verifying Statemate Statecharts Using CSP and FDR　A Reasoning Method for Timed CSP Based on Constraint Solving　Mapping RT-LOTOS Specifications into Time Petri Nets　Reasoning Algebraically About Probabilistic LoopsObject and Component Orientation Testing and Model Checking ToolsFault-Tolerance and SecuritySpecification and Refinement Author Index

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    形式方法和軟件工程LNCS-4260 PDF格式下載

---