default search action
10. FASE 2007: Braga, Portugal (Part of ETAPS 2007)
- Matthew B. Dwyer
, Antónia Lopes:
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. Lecture Notes in Computer Science 4422, Springer 2007, ISBN 978-3-540-71288-6
Invited Contributions
- Jan Bosch:
Software Product Families: Towards Compositionality. 1-10 - Bertrand Meyer:
Contract-Driven Development. 11
Evolution and Agents
- Jacek Ratzinger, Martin Pinzger, Harald C. Gall:
EQ-Mine: Predicting Short-Term Defects for Software Evolution. 12-26 - Romain Robbes
An Approach to Software Evolution Based on Semantic Change. 27-41 - Paulo Salem da Silva, Ana Cristina Vieira de Melo:
A Simulation-Oriented Formalization for a Psychological Theory. 42-56
Model Driven Development
- Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. 57-71 - Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer:
Information Preserving Bidirectional Model Transformations. 72-86 - Rolf Hennicker, Alexander Knapp:
Activity-Driven Synthesis of State Machines. 87-101 - Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk:
Flexible and Extensible Notations for Modeling Languages. 102-116
Tool Demonstrations
- Markus Bach, Florian Forster, Friedrich Steimann
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. 117-120 - David Harel, Asaf Kleinbort, Shahar Maoz:
S2A: A Compiler for Multi-modal UML Sequence Diagrams. 121-124
Distributed Systems
- George Edwards, Sam Malek, Nenad Medvidovic:
Scenario-Driven Dynamic Analysis of Distributed Architectures. 125-139 - Chouki Tibermacine, Didier Hoareau, Reda Kadri:
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. 140-154 - César Sánchez, Henny B. Sipma, Zohar Manna:
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. 155-169
Specification
- Jon Whittle:
Precise Specification of Use Case Scenarios. 170-184 - Florian Klein, Holger Giese:
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. 185-199 - Rüdiger Grammes, Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support. 200-214 - Lilian Burdy, Marieke Huisman
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. 215-229
Services
- Roy Grønmo, Michael C. Jaeger, Andreas Wombacher:
A Service Composition Construct to Support Iterative Development. 230-244 - Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber:
Correlation Patterns in Service-Oriented Architectures. 245-259 - Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel:
Dynamic Characterization of Web Application Interfaces. 260-275
Testing
- Siavash Mirarab
A Prioritization Approach for Software Test Cases Based on Bayesian Networks. 276-290 - Gordon Fraser, Franz Wotawa:
Redundancy Based Test-Suite Reduction. 291-305 - Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard:
Testing Scenario-Based Models. 306-320 - Sacha Reis, Andreas Metzger, Klaus Pohl:
Integration Testing in Software Product Line Engineering: A Model-Based Technique. 321-335
Analysis
- Ádám Darvas, K. Rustan M. Leino:
Practical Reasoning About Invocations and Implementations of Pure Methods. 336-351 - Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
Finding Environment Guarantees. 352-367 - Ulrike Ranger, Thorsten Hermes:
Ensuring Consistency Within Distributed Graph Transformation Systems. 368-382 - Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel:
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. 383-397
Design
- Derek Mannering, Jon G. Hall, Lucia Rapanotti:
Towards Normal Design for Safety-Critical Systems. 398-411 - Xin Zhou, Hui Yu:
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. 412-422 - Roberto E. Lopez-Herrejon, Sven Apel:
Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. 423-437
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: