default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. FASE 2003: Warsaw, Poland (Part of ETAPS 2003)
- Mauro Pezzè
:
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. Lecture Notes in Computer Science 2621, Springer 2003, 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 C. 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 J. 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 - Jennifer Tenzer, Perdita Stevens:
Modelling Recursive Calls with UML State Diagrams. 135-149 - 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 - Lutz Schröder, Till Mossakowski:
Monad-Independent Hoare Logic in HASCASL. 261-277 - 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, Suresh Chand 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
- J. 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
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-20 23:03 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:
