Fundamental Approaches to Software Engineering

Keynote.- Symbiosis of Static Analysis and Program Testing.- Software Components.- An Ontology for Software Component Matching.- A Description Language for Composable Components.- A Logical Basis for the Specification of Reconfigurable Component-Based Systems.- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems.- Mobile Computing.- Composing Specifications of Event Based Applications.- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.- Aspect and Object-Oriented Programming.- Towards UML-Based Formal Specifications of Component-Based Real-Time Software.- Modelling Recursive Calls with UML State Diagrams.- Pipa: A Behavioral Interface Specification Language for Aspect.- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features.- Distributed and Web Applications.- Model-Based Development of Web Applications Using Graphical Reaction Rules.- Modular Analysis of Dataflow Process Networks.- Software Measurements.- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement.- An Information-Based View of Representational Coupling in Object-Oriented Systems.- Formal Verification.- A Temporal Approach to Specification and Verification of Pointer Data-Structures.- A Program Logic for Handling Java Card’s Transaction Mechanism.- Monad-Independent Hoare Logic in HASCASL.- Visual Specifications of Policies and Their Verification.- Analysis and Testing.- Automatic Model Driven Animation of SCR Specifications.- Probe Mechanism for Object-Oriented Software Testing.- Model Checking Software via Abstraction of Loop Transitions.- Model Integrationsand Extensions.- Integration of Formal Datatypes within State Diagrams.- Xere: Towards a Natural Interoperability between XML and ER Diagrams.- Detecting Implied Scenarios Analyzing Non-local Branching Choices.- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.

Includes supplementary material: sn.pub/extras