Abstract is missing.
- Symbiosis of Static Analysis and Program TestingMichal Young. 1-5 [doi]
- An Ontology for Software Component MatchingClaus Pahl. 6-21 [doi]
- A Description Language For Composable ComponentsIoana Sora, Pierre Verbaeten, Yolande Berbers. 22-36 [doi]
- A Logical Basis for the Specification of Reconfigurable Component-Based SystemsNazareno Aguirre, T. S. E. Maibaum. 37-51 [doi]
- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic SystemsClemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser. 52-66 [doi]
- Composing Specifications of Event Based ApplicationsPascal Fenkam, Harald Gall, Mehdi Jazayeri. 67-86 [doi]
- A Spatio-Temporal Logic for the Specification and Refinement of Mobile SystemsStephan Merz, Martin Wirsing, Júlia Zappe. 87-101 [doi]
- Spatial Security Policies for Mobile Agents in a Sentient Computing EnvironmentDavid Scott, Alastair R. Beresford, Alan Mycroft. 102-117 [doi]
- Towards UML-Based Formal Specifications of Component-Based Real-Time SoftwareVieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso. 118-134 [doi]
- Modelling Recursive Calls with UML State DiagramsJennifer Tenzer, Perdita Stevens. 135-149 [doi]
- Pipa: A Behavioral Interface Specification Language for AspectJJianjun Zhao, Martin C. Rinard. 150-165 [doi]
- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation FeaturesWim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers. 166-169 [doi]
- Model-Based Development of Web Applications Using Graphical Reaction RulesReiko Heckel, Marc Lohmann. 170-183 [doi]
- Modular Analysis of Dataflow Process NetworksYan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck. 184-199 [doi]
- Foundations of a Weak Measurement-Theoretic Approach to Software MeasurementSandro Morasca. 200-215 [doi]
- An Information-Based View of Representational Coupling in Object-Oriented SystemsPierre Kelsen. 216-230 [doi]
- A Temporal Approach to Specification and Verification of Pointer Data-StructuresMarcin Kubica. 231-245 [doi]
- A Program Logic for Handling JAVA CARD s Transaction MechanismBernhard Beckert, Wojciech Mostowski. 246-260 [doi]
- Monad-Independent Hoare Logic in HASCASLLutz Schröder, Till Mossakowski. 261-277 [doi]
- Visual Specifications of Policies and Their VerificationManuel Koch, Francesco Parisi-Presicce. 278-293 [doi]
- Automatic Model Driven Animation of SCR SpecificationsAngelo Gargantini, Elvinia Riccobene. 294-309 [doi]
- Probe Mechanism for Object-Oriented Software TestingAnita Goel, S. C. Gupta, Siri Krishan Wasan. 310-324 [doi]
- Model Checking Software via Abstraction of Loop TransitionsNatasha Sharygina, James C. Browne. 325-340 [doi]
- Integration of Formal Datatypes within State DiagramsChristian Attiogbé, Pascal Poizat, Gwen Salaün. 341-355 [doi]
- Xere: Towards a Natural Interoperability between XML and ER DiagramsGiuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio. 356-371 [doi]
- Detecting Implied Scenarios Analyzing Non-local Branching ChoicesHenry Muccini. 372-386 [doi]
- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCsIngolf Krüger. 387-402 [doi]