ISBN-10:
3642005926
ISBN-13:
9783642005923
Pub. Date:
04/21/2009
Publisher:
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / Edition 1

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / Edition 1

by Marsha Chechik, Martin Wirsing

Paperback

Current price is , Original price is $139.0. You
Select a Purchase Option (2009)
  • purchase options
    $110.83 $139.00 Save 20% Current price is $110.83, Original price is $139. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783642005923
Publisher: Springer Berlin Heidelberg
Publication date: 04/21/2009
Series: Lecture Notes in Computer Science , #5503
Edition description: 2009
Pages: 488
Product dimensions: 6.10(w) x 9.30(h) x 1.20(d)

Table of Contents

Scalable Analysis of Scalable Systems.- Scalable Analysis of Scalable Systems.- Model-Driven Development.- Rewriting Logic Semantics and Verification of Model Transformations.- Confluence in Domain-Independent Product Line Transformations.- Object Flow Definition for Refined Activity Diagrams.- A Category-Theoretical Approach to the Formalisation of Version Control in MDE.- Synthesis and Adaptation.- Controller Synthesis from LSC Requirements.- Interface Generation and Compositional Verification in JavaPathfinder.- A Formal Way from Text to Code Templates.- Context-Aware Adaptive Services: The PLASTIC Approach.- Modeling.- Synchronous Modeling and Validation of Priority Inheritance Schedulers.- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.- Testing and Debugging.- Reducing the Costs of Bounded-Exhaustive Testing.- Logical Testing.- Cross-Entropy-Based Replay of Concurrent Programs.- Model Analysis.- Control Dependence for Extended Finite State Machines.- Proving Consistency of Pure Methods and Model Fields.- On the Implementation of @pre.- Formal Specification and Analysis of Timing Properties in Software Systems.- Patterns.- Formal Foundation for Pattern-Based Modelling.- Problem-Oriented Documentation of Design Patterns.- Security.- Certification of Smart-Card Applications in Common Criteria.- Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks.- A Formal Connection between Security Automata and JML Annotations.- Queries and Error Handling.- Algorithms for Automatically Computing the Causal Paths of Failures.- Mining API Error-Handling Specifications from Source Code.- SNIFF: A Search Engine for Java Using Free-Form Queries.- Inquiry and Introspection for Non-deterministic Queries in Mobile Networks.- Tools (Demos) and Program Analysis.- hol-TestGen.- CADS*: Computer-Aided Development of Self-* Systems.- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.- Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection.- Enhanced Property Specification and Verification in BLAST.- Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews