Volume 137, Number 1, 20 July 2005
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)
- Salvador Lucas:
Preface.
1-3
- Javier Álvez, Paqui Lucio:
Elimination of Local Variables from Definite Logic Programs.
5-24
- Miquel Bertran, Francesc-Xavier Babot, August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
25-46
- Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
Dealing Denotationally With Stream-based Communication.
47-68
- Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
Unfolding-based Improvements on Fuzzy Logic Programs.
69-103
- Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
A Tutorial on Specifying Data Structures in Maude.
105-132
- Isabel Pita, Miguel Palomino:
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel.
133-150
- Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig:
Tagged Systems: A Framework for the Specification of History-dependent Properties.
151-174
Volume 137, Number 2, 21 July 2005
Proceedings of the REFINE 2005 Workshop (REFINE 2005)
- John Derrick, Eerke A. Boiten:
Preface.
1-3
- Diyaa-Addein Atiya, Steve King, Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.
5-22
- Christie Bolton:
Using the Alloy Analyzer to Verify Data Refinement in Z.
23-44
- Ana Cavalcanti, Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming.
45-66
- Moshe Deutsch, Martin C. Henson:
An Analysis of Operation-Refinement in an Abortive Paradigm.
67-92
- Robert Colvin, Simon Doherty, Lindsay Groves:
Verifying Concurrent Data Structures by Simulation.
93-110
- Martin C. Henson, Besnik Kajtazi:
The Specification Logic vZ.
111-129
- Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML.
131-149
- Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Refinement via Consistency Checking in MDA.
151-161
- Fiona Polack, Susan Stepney:
Emergent Properties Do Not Refine.
163-181
- Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank Monitoring: A pAMN Case Study.
183-204
- Graeme Smith, John Derrick:
Model Checking Downward Simulations.
205-224
- John A. Clark, Susan Stepney, Howard Chivers:
Breaking the Model: Finalisation and a Taxonomy of Security Attacks.
225-242
Volume 137, Number 3, 8 September 2005
Proceedings of the 2nd International Workshop on Metamodels, Schemas, and Grammars for Reverse Engineering (ateM 2004)
- Jean-Marie Favre, Michael W. Godfrey, Andreas Winter:
Preface.
1-3
- Anthony Cleve, Jean Henrard, Jean-Luc Hainaut:
Co-transformations in Information System Reengineering.
5-15
- Jens Knodel, Michalis Anastasopolous, Thomas Forster, Dirk Muthig:
An Efficient Migration to Model-driven Development (MDD).
17-27
- Mika Karaila, Tarja Systä:
On the Role of Metadata in Visual Language Reuse and Reverse Engineering - An Industrial Case.
29-41
- Ralf Lämmel:
The Amsterdam Toolkit for Language Archaeology.
43-55
- Tudor Gîrba, Jean-Marie Favre, Stéphane Ducasse:
Using Meta-Model Transformation to Model Software Evolution.
57-64
- Dean Jin, James R. Cordy:
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System.
65-75
Last update Mon May 20 00:56:05 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
