Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings 2010 - gebruikt boek

EAN (ISBN-13): 9783642169007
ISBN (ISBN-10): 3642169007
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Berlin
712 Bladzijden
Gewicht: 1,024 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2008-05-31T19:23:01+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-27T10:58:38+02:00 (Amsterdam)
ISBN/EAN: 9783642169007

ISBN - alternatieve schrijfwijzen:
3-642-16900-7, 978-3-642-16900-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: jin, zhu, song, dong
Titel van het boek: engineering china, engineering software, proceedings engineering, november, methods programming, shanghai, song dong, international conference software, jin

---

Gegevens van de uitgever

Auteur: Jin Song Dong; Huibiao Zhu
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Uitgeverij: Springer; Springer Berlin
712 Bladzijden
Verschijningsjaar: 2010-10-29
Berlin; Heidelberg; DE
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIV, 712 p. 202 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; BPEL; Web Services; algebraic specification; automata; automated verification; automatic translation; behavioral specification; bounded model checking; case analysis; combined domain; component-based sysetms; decision procedure; equational theory; software engineering; verification; algorithm analysis and problem complexity; Software Engineering; Computer Communication Networks; Compilers and Interpreters; Programming Techniques; Algorithms; Netzwerk-Hardware; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Algorithmen und Datenstrukturen; EA

Invited Talks.- Fostering Proof Scores in CafeOBJ.- Exploiting Partial Success in Applying Automated Formal Methods.- Multicore Embedded Systems: The Timing Problem and Possible Solutions.- Theorem Proving and Decision Procedures.- Applying PVS Background Theories and Proof Strategies in Invariant Based Programming.- Proof Obligation Generation and Discharging for Recursive Definitions in VDM.- Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq.- Decision Procedures for the Temporal Verification of Concurrent Lists.- An Improved Decision Procedure for Propositional Projection Temporal Logic.- Web Services and Workflow.- A Semantic Model for Service Composition with Coordination Time Delays.- Compensable WorkFlow Nets.- Automatically Testing Web Services Choreography with Assertions.- Applying Ordinary Differential Equations to the Performance Analysis of Service Composition.- Verification I.- Verifying Heap-Manipulating Programs with Unknown Procedure Calls.- API Conformance Verification for Java Programs.- Assume-Guarantee Reasoning with Local Specifications.- Automating Coinduction with Case Analysis.- Applications of Formal Methods.- Enhanced Semantic Access to Formal Software Models.- Making Pattern- and Model-Based Software Development More Rigorous.- Practical Parameterised Session Types.- A Formal Verification Study on the Rotterdam Storm Surge Barrier.- Verification II.- Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems.- Automated Multiparameterised Verification by Cut-Offs.- Automating Cut-off for Multi-parameterized Systems.- Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors.- Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.- Probability and Concurrency.- Model Checking Hierarchical Probabilistic Systems.- Trace-Driven Verification of Multithreaded Programs.- Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network.- Reasoning about Safety and Progress Using Contracts.- Program Analysis.- Abstract Program Slicing: From Theory towards an Implementation.- Loop Invariant Synthesis in a Combined Domain.- Software Metrics in Static Program Analysis.- A Combination of Forward and Backward Reachability Analysis Methods.- Model Checking.- Model Checking a Model Checker: A Code Contract Combined Approach.- On Symmetries and Spotlights – Verifying Parameterised Systems.- A Methodology for Automatic Diagnosability Analysis.- Making the Right Cut in Model Checking Data-Intensive Timed Systems.- Comparison of Model Checking Tools for Information Systems.- Object Orientation and Model Driven Engineering.- A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.- Model-Driven Protocol Design Based on Component Oriented Modeling.- Laws of Pattern Composition.- Dynamic Resource Reallocation between Deployment Components.- Specification and Verification.- A Pattern System to Support Refining Informal Ideas into Formal Expressions.- Specification Translation of State Machines from Equational Theories into Rewrite Theories.- Alternating Interval Based Temporal Logics.