Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. (Q1884194)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. |
scientific article; zbMATH DE number 2110429
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. |
scientific article; zbMATH DE number 2110429 |
Statements
Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 -- April 2, 2004. Proceedings. (English)
0 references
26 October 2004
0 references
The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1017.00040). Indexed articles: \textit{Roman, Gruia-Catalin; Julien, Christine; Payton, Jamie}, A formal treatment of context-awareness, 12-36 [Zbl 1129.68425] \textit{Zhao, Jianjun; Xu, Baowen}, Measuring aspect cohesion, 54-68 [Zbl 1129.68419] \textit{McComb, Tim}, Refactoring Object-Z specifications, 69-83 [Zbl 1129.68415] \textit{Huisman, Marieke; Gurov, Dilian; Sprenger, Christoph; Chugunov, Gennady}, Checking absence of illicit applet interactions: A case study, 84-98 [Zbl 1129.68418] \textit{Barthe, Gilles; Dufay, Guillaume}, A tool-assisted framework for certified bytecode verification, 99-113 [Zbl 1129.68446] \textit{Jung, Georg; Hatcliff, John; Ranganath, Venkatesh Prasad}, A correlation framework for the CORBA Component Model, 144-159 [Zbl 1129.68413] \textit{Bocchi, Laura}, Compositional nested long running transactions, 194-208 [Zbl 1129.68359] \textit{Moldt, Daniel; Ortmann, Jan}, DaGen: A tool for automatic translation from DAML-S to high-level Petri nets, 209-213 [Zbl 1129.68459] \textit{Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele}, Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation, 214-228 [Zbl 1129.68420] \textit{Hamon, Grégoire; Rushby, John}, An operational semantics for Stateflow, 229-243 [Zbl 1129.68445] \textit{Choppy, Christine; Reggio, Gianna}, Improving use case based requirements using formally grounded specifications, 244-260 [Zbl 1129.68421] \textit{He, Haifeng; Gupta, Neelam}, Automated debugging using path-based weakest preconditions, 267-280 [Zbl 1129.68422] \textit{Saffrey, Peter; Calder, Muffy}, Optimising communication structure for model checking, 310-323 [Zbl 1129.68448]
0 references
