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