6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003

The proceedings contain 27 papers. The special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, Distributed and web applications, Software measurements, Formal verification, Analysis and testing and Model integrations and extensions. The topics include: 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; 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; towards UML-based formal specifications of component-based real-time software; modelling recursive calls with UML state diagrams; model-based development of web applications using graphical reaction rules; modular analysis of dataflow process networks; foundations of a weak measurement-theoretic approach to software measurement; an information-based view of representational coupling in object-oriented systems; a temporal approach to specification and verification of pointer data-structures; a program logic for handling java card’s transaction mechanism; automatic model driven animation of SCR specifications; probe mechanism for object-oriented software testing; integration of formal datatypes within state diagrams; towards a natural interoperability between XML and ER diagrams; detecting implied scenarios analyzing non-local branching choices and capturing overlapping, triggered, and preemptive collaborations using MSCs.