|
|
|
|
LEADER |
04111nmm a2200349 u 4500 |
001 |
EB000377169 |
003 |
EBX01000000000000000230221 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9783540474623
|
100 |
1 |
|
|a Liu, Zhiming
|e [editor]
|
245 |
0 |
0 |
|a Formal Methods and Software Engineering
|h Elektronische Ressource
|b 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
|c edited by Zhiming Liu, Jifeng He
|
250 |
|
|
|a 1st ed. 2006
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2006, 2006
|
300 |
|
|
|a XII, 792 p
|b online resource
|
505 |
0 |
|
|a Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited Specifications for Behavioral Subtypes -- Three Perspectives in Formal Engineering -- Specification 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 ? Models of Industrial Systems with Spin -- Stateful Dynamic Partial-Order Reduction -- Internetware 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 Language --
|
505 |
0 |
|
|a Optimized Execution of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open Extensible Tool Environment for Event-B -- Tool for Translating Simulink Models into Input Language of a Model Checker -- Fault-Tolerance and Security -- Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices -- A Language for Modeling Network Availability -- Multi-process Systems Analysis Using Event B: Application to Group Communication Systems -- Specification and Refinement -- Issues in Implementing a Model Checker for Z -- Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking -- Discovering Likely Method Specifications -- Time Aware Modelling and Analysis of Multiclocked VLSI Systems -- SALT—Structured Assertion Language for Temporal Logic
|
505 |
0 |
|
|a Concurrent, 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 Loops -- Object and Component Orientation -- Formal Verification of the Heap Manager of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs -- Model Checking Dynamic UML Consistency -- Testing and Model Checking -- Conditions for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm -- Checking theConformance of Java Classes Against Algebraic Specifications -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics --
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Software Engineering
|
700 |
1 |
|
|a He, Jifeng
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Programming and Software Engineering
|
028 |
5 |
0 |
|a 10.1007/11901433
|
856 |
4 |
0 |
|u https://doi.org/10.1007/11901433?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.1
|