Abstract is missing.
- A Programming Model for Service Oriented ApplicationsFrancisco Curbera. 1 [doi]
- Software Engineering: Emerging Goals and Lasting ProblemsCarlo Ghezzi. 2 [doi]
- GPSL: A Programming Language for Service ImplementationDominic Cooney, Marlon Dumas, Paul Roe. 3-17 [doi]
- A Formal Approach to Event-Based ArchitecturesJosé Luiz Fiadeiro, Antónia Lopes. 18-32 [doi]
- Engineering Self-protection for Autonomous SystemsManuel Koch, Karl Pauls. 33-47 [doi]
- A Graph-Based Approach to Transform XML DocumentsGabriele Taentzer, Giovanni Toffetti Carughi. 48-62 [doi]
- OMake: Designing a Scalable Build ProcessJason Hickey, Aleksey Nogin. 63-78 [doi]
- Automatic Generation of Tutorial Systems from Development SpecificationHajime Iwata, Junko Shirogane, Yoshiaki Fukazawa. 79-92 [doi]
- A Software Implementation Progress ModelDwayne Towell, Jason Denton. 93-106 [doi]
- Regular Inference for State Machines with ParametersTherese Berg, Bengt Jonsson, Harald Raffelt. 107-121 [doi]
- Automated Support for Building Behavioral Models of Event-Driven SystemsBenet Devereux, Marsha Chechik. 122-138 [doi]
- A Behavioral Model for Software ContainersNigamanth Sridhar, Jason O. Hallstrom. 139-154 [doi]
- An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements MeetingsDaniela E. Damian, Filippo Lanubile, Teresa Mallardo. 155-169 [doi]
- Evaluation of Expected Software Quality: A Customer s ViewpointKrzysztof Sacha. 170-183 [doi]
- Using Design Metrics for Predicting System FlexibilityRobby, Scott A. DeLoach, Valeriy A. Kolesnikov. 184-198 [doi]
- Combining Problem Frames and UML in the Description of Software RequirementsLuigi Lavazza, Vieri Del Bianco. 199-213 [doi]
- Amplifying the Benefits of Design Patterns: From Specification Through ImplementationJason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler. 214-229 [doi]
- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence ChartsBernd Westphal, Tobe Toben. 230-246 [doi]
- Concerned About SeparationHafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz. 247-261 [doi]
- Algebraic Specification of a Model Transformation EngineArtur Boronat, José A. Carsí, Isidro Ramos. 262-277 [doi]
- Fundamentals of Debugging Using a Resolution CalculusDaniel Köb, Franz Wotawa. 278-292 [doi]
- A Technique to Represent and Generate Components in MDA/PIM for AutomationHyun Gi Min, Soo Dong Kim. 293-307 [doi]
- Argus: Online Statistical Bug DetectionLong Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff. 308-323 [doi]
- From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent SystemsBernhard K. Aichernig, Carlo Corrales Delgado. 324-338 [doi]
- Automated Systematic Testing of Open Distributed ProgramsKoushik Sen, Gul Agha. 339-356 [doi]
- Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time MaudePeter Csaba Ölveczky, Marco Caccamo. 357-372 [doi]
- JAG: JML Annotation Generation for Verifying Temporal PropertiesAlain Giorgetti, Julien Groslambert. 373-376 [doi]
- LearnLib: A Library for Automata Learning and ExperimentationHarald Raffelt, Bernhard Steffen. 377-380 [doi]
- Trace-Based Memory Aliasing Across Program VersionsMurali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama. 381-395 [doi]
- The Pervasiveness of Global Data in Evolving Software SystemsFraser P. Ruffell, Jason W. A. Selby. 396-410 [doi]
- Relation of Code Clones and Change CouplingsReto Geiger, Beat Fluri, Harald Gall, Martin Pinzger. 411-425 [doi]