Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dwyer, Matthew B. (Επιμελητής έκδοσης), Lopes, Antónia (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:Lecture Notes in Computer Science, 4422
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Invited Contributions
  • Software Product Families: Towards Compositionality
  • Contract-Driven Development
  • Evolution and Agents
  • EQ-Mine: Predicting Short-Term Defects for Software Evolution
  • An Approach to Software Evolution Based on Semantic Change
  • A Simulation-Oriented Formalization for a Psychological Theory
  • Model Driven Development
  • Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework
  • Information Preserving Bidirectional Model Transformations
  • Activity-Driven Synthesis of State Machines
  • Flexible and Extensible Notations for Modeling Languages
  • Tool Demonstrations
  • Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
  • S2A: A Compiler for Multi-modal UML Sequence Diagrams
  • Distributed Systems
  • Scenario-Driven Dynamic Analysis of Distributed Architectures
  • Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software
  • A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
  • Specification
  • Precise Specification of Use Case Scenarios
  • Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
  • SDL Profiles – Formal Semantics and Tool Support
  • Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode
  • Services
  • A Service Composition Construct to Support Iterative Development
  • Correlation Patterns in Service-Oriented Architectures
  • Dynamic Characterization of Web Application Interfaces
  • Testing
  • A Prioritization Approach for Software Test Cases Based on Bayesian Networks
  • Redundancy Based Test-Suite Reduction
  • Testing Scenario-Based Models
  • Integration Testing in Software Product Line Engineering: A Model-Based Technique
  • Analysis
  • Practical Reasoning About Invocations and Implementations of Pure Methods
  • Finding Environment Guarantees
  • Ensuring Consistency Within Distributed Graph Transformation Systems
  • Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
  • Design
  • Towards Normal Design for Safety-Critical Systems
  • A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement
  • Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies.