Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (Q2388077)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. |
scientific article |
Statements
Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (English)
0 references
6 September 2005
0 references
The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1048.68011). Indexed articles: \textit{Martens, Axel}, Analyzing web service based business processes, 19-33 [Zbl 1119.68305] \textit{Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia}, Termination criteria for model transformation, 49-63 [Zbl 1119.68344] \textit{Taentzer, Gabriele; Rensink, Arend}, Ensuring structural constraints in graph-based models with type inheritance, 64-79 [Zbl 1119.68365] \textit{Reussner, Ralf H.; Happe, Jens; Habel, Annegret}, Modelling parametric contracts and the state space of composite components by graph grammars, 80-95 [Zbl 1119.68347] \textit{Larsen, Kim G.; Larsen, Ulrik; Wasowski, Andrzej}, Color-blind specifications for transformations of reactive synchronous programs, 160-174 [Zbl 1119.68345] \textit{Berg, Therese; Grinchtein, Olga; Jonsson, Bengt; Leucker, Martin; Raffelt, Harald; Steffen, Bernhard}, On the correspondence between conformance testing and regular inference, 175-189 [Zbl 1119.68366] \textit{Naumann, David A.}, Observational purity and encapsulation, 190-204 [Zbl 1119.68346] \textit{Chechik, Marsha; Gurfinkel, Arie}, A framework for counterexample generation and exploration, 220-236 [Zbl 1119.68368] \textit{Mooij, Arjan J.; Goga, Nicolae; Romijn, Judi M. T.}, Non-local choice and beyond: intricacies of MSC choice nodes, 273-288 [Zbl 1236.68185] \textit{Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo}, Automated compositional proofs for real-time systems, 326-340 [Zbl 1119.68427] \textit{Hausmann, Daniel; Mossakowski, Till; Schröder, Lutz}, Iterative circular coinduction for CoCasl in Isabelle/HOL, 341-356 [Zbl 1119.68370] \textit{Mostowski, Wojciech}, Formalisation and verification of Java Card security properties in dynamic logic, 357-371 [Zbl 1119.68351]
0 references
