default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. FASE 2006: Vienna, Austria (Part of ETAPS 2006)
- Luciano Baresi, Reiko Heckel:
Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3922, Springer 2006, ISBN 3-540-33093-3
Invited Contributions
- Francisco Curbera:
A Programming Model for Service Oriented Applications. 1 - Carlo Ghezzi:
Software Engineering: Emerging Goals and Lasting Problems. 2
Distributed Systems
- Dominic Cooney, Marlon Dumas, Paul Roe:
GPSL: A Programming Language for Service Implementation. 3-17 - José Luiz Fiadeiro, Antónia Lopes
:
A Formal Approach to Event-Based Architectures. 18-32 - Manuel Koch, Karl Pauls:
Engineering Self-protection for Autonomous Systems. 33-47
Orthogonal Process Activities
- Gabriele Taentzer, Giovanni Toffetti Carughi:
A Graph-Based Approach to Transform XML Documents. 48-62 - Jason Hickey, Aleksey Nogin:
: Designing a Scalable Build Process. 63-78 - Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa:
Automatic Generation of Tutorial Systems from Development Specification. 79-92 - Dwayne Towell, Jason Denton:
A Software Implementation Progress Model. 93-106
Behavioral Models and State Machines
- Therese Berg, Bengt Jonsson, Harald Raffelt:
Regular Inference for State Machines with Parameters. 107-121 - Benet Devereux, Marsha Chechik:
Automated Support for Building Behavioral Models of Event-Driven Systems. 122-138 - Nigamanth Sridhar, Jason O. Hallstrom:
A Behavioral Model for Software Containers. 139-154
Empirical Studies
- Daniela E. Damian, Filippo Lanubile, Teresa Mallardo:
An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings. 155-169 - Krzysztof Sacha:
Evaluation of Expected Software Quality: A Customer's Viewpoint. 170-183 - Robby, Scott A. DeLoach, Valeriy A. Kolesnikov:
Using Design Metrics for Predicting System Flexibility. 184-198
Requirements and Design
- Luigi Lavazza, Vieri Del Bianco:
Combining Problem Frames and UML in the Description of Software Requirements. 199-213 - Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler:
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. 214-229 - Bernd Westphal, Tobe Toben:
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. 230-246 - Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz:
Concerned About Separation. 247-261
Model-Based Development
- Artur Boronat, José A. Carsí, Isidro Ramos:
Algebraic Specification of a Model Transformation Engine. 262-277 - Daniel Köb, Franz Wotawa:
Fundamentals of Debugging Using a Resolution Calculus. 278-292 - Hyun Gi Min, Soo Dong Kim:
A Technique to Represent and Generate Components in MDA/PIM for Automation. 293-307
Validation and Verification
- Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff:
Argus: Online Statistical Bug Detection. 308-323 - Bernhard K. Aichernig, Carlo Corrales Delgado:
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. 324-338 - Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. 339-356 - Peter Csaba Ölveczky, Marco Caccamo:
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude. 357-372
Tool Demonstrations
- Alain Giorgetti, Julien Groslambert:
JAG: JML Annotation Generation for Verifying Temporal Properties. 373-376 - Harald Raffelt, Bernhard Steffen:
LearnLib: A Library for Automata Learning and Experimentation. 377-380
Software Evolution
- Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama:
Trace-Based Memory Aliasing Across Program Versions. 381-395 - Fraser P. Ruffell, Jason W. A. Selby:
The Pervasiveness of Global Data in Evolving Software Systems. 396-410 - Reto Geiger, Beat Fluri, Harald C. Gall, Martin Pinzger:
Relation of Code Clones and Change Couplings. 411-425
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 2025-01-13 00:51 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:
