FASE B

32 papers

YearTitle / Authors
2006: Designing a Scalable Build Process.
Jason Hickey, Aleksey Nogin
2006A Behavioral Model for Software Containers.
Nigamanth Sridhar, Jason O. Hallstrom
2006A Formal Approach to Event-Based Architectures.
José Luiz Fiadeiro, Antónia Lopes
2006A Graph-Based Approach to Transform XML Documents.
Gabriele Taentzer, Giovanni Toffetti Carughi
2006A Programming Model for Service Oriented Applications.
Francisco Curbera
2006A Software Implementation Progress Model.
Dwayne Towell, Jason Denton
2006A Technique to Represent and Generate Components in MDA/PIM for Automation.
Hyun Gi Min, Soo Dong Kim
2006Algebraic Specification of a Model Transformation Engine.
Artur Boronat, José A. Carsí, Isidro Ramos
2006Amplifying the Benefits of Design Patterns: From Specification Through Implementation.
Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler
2006An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings.
Daniela E. Damian, Filippo Lanubile, Teresa Mallardo
2006Argus: Online Statistical Bug Detection.
Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff
2006Automated Support for Building Behavioral Models of Event-Driven Systems.
Benet Devereux, Marsha Chechik
2006Automated Systematic Testing of Open Distributed Programs.
Koushik Sen, Gul Agha
2006Automatic Generation of Tutorial Systems from Development Specification.
Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa
2006Combining Problem Frames and UML in the Description of Software Requirements.
Luigi Lavazza, Vieri Del Bianco
2006Concerned About Separation.
Hafedh Mili, Houari A. Sahraoui, Hakim Lounis, Hamid Mcheick, Amal Elkharraz
2006Engineering Self-protection for Autonomous Systems.
Manuel Koch, Karl Pauls
2006Evaluation of Expected Software Quality: A Customer's Viewpoint.
Krzysztof Sacha
2006Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude.
Peter Csaba Ölveczky, Marco Caccamo
2006From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.
Bernhard K. Aichernig, Carlo Corrales Delgado
2006Fundamental 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
Luciano Baresi, Reiko Heckel
2006Fundamentals of Debugging Using a Resolution Calculus.
Daniel Köb, Franz Wotawa
2006GPSL: A Programming Language for Service Implementation.
Dominic Cooney, Marlon Dumas, Paul Roe
2006JAG: JML Annotation Generation for Verifying Temporal Properties
Alain Giorgetti, Julien Groslambert
2006LearnLib: A Library for Automata Learning and Experimentation.
Harald Raffelt, Bernhard Steffen
2006Regular Inference for State Machines with Parameters.
Therese Berg, Bengt Jonsson, Harald Raffelt
2006Relation of Code Clones and Change Couplings.
Reto Geiger, Beat Fluri, Harald C. Gall, Martin Pinzger
2006Software Engineering: Emerging Goals and Lasting Problems.
Carlo Ghezzi
2006The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.
Bernd Westphal, Tobe Toben
2006The Pervasiveness of Global Data in Evolving Software Systems.
Fraser P. Ruffell, Jason W. A. Selby
2006Trace-Based Memory Aliasing Across Program Versions.
Murali Krishna Ramanathan, Suresh Jagannathan, Ananth Grama
2006Using Design Metrics for Predicting System Flexibility.
Robby, Scott A. DeLoach, Valeriy A. Kolesnikov