Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00899-3
Keynote
- Michal Young: Symbiosis of Static Analysis and Program Testing. 1-5
Software Components
- Claus Pahl: An Ontology for Software Component Matching. 6-21
- Ioana Sora, Pierre Verbaeten, Yolande Berbers: A Description Language For Composable Components. 22-36
- Nazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. 37-51
- Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser: An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. 52-66
Mobile Computing
- Pascal Fenkam, Harald Gall, Mehdi Jazayeri: Composing Specifications of Event Based Applications. 67-86
- Stephan Merz, Martin Wirsing, Júlia Zappe: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. 87-101
- David Scott, Alastair R. Beresford, Alan Mycroft: Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. 102-117
Aspect and Object-Oriented Programming
- Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso: Towards UML-Based Formal Specifications of Component-Based Real-Time Software. 118-134
- Jianjun Zhao, Martin C. Rinard: Pipa: A Behavioral Interface Specification Language for AspectJ. 150-165
- Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers: PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. 166-169
Distributed and Web Applications
- Reiko Heckel, Marc Lohmann: Model-Based Development of Web Applications Using Graphical Reaction Rules. 170-183
- Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck: Modular Analysis of Dataflow Process Networks. 184-199
Software Measurements
- Sandro Morasca: Foundations of a Weak Measurement-Theoretic Approach to Software Measurement. 200-215
- Pierre Kelsen: An Information-Based View of Representational Coupling in Object-Oriented Systems. 216-230
Formal Verification
- Marcin Kubica: A Temporal Approach to Specification and Verification of Pointer Data-Structures. 231-245
- Bernhard Beckert, Wojciech Mostowski: A Program Logic for Handling JAVA CARD's Transaction Mechanism. 246-260
- Manuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. 278-293
Analysis and Testing
- Angelo Gargantini, Elvinia Riccobene: Automatic Model Driven Animation of SCR Specifications. 294-309
- Anita Goel, S. C. Gupta, Siri Krishan Wasan: Probe Mechanism for Object-Oriented Software Testing. 310-324
- Natasha Sharygina, James C. Browne: Model Checking Software via Abstraction of Loop Transitions. 325-340
Model Integrations and Extensions
- Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. 341-355
- Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio: Xere: Towards a Natural Interoperability between XML and ER Diagrams. 356-371
- Henry Muccini: Detecting Implied Scenarios Analyzing Non-local Branching Choices. 372-386
- Ingolf Krüger: Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. 387-402
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team