ask others

Electronic Notes in Theoretical Computer Science, Volume 137

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 137, Number 1, 20 July 2005

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages (PROLE 2004)

- view
- export record
  dblp key:
  - journals/entcs/Lucas05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lucas05a
Salvador Lucas:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/AlvezL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlvezL05
Javier Álvez, Paqui Lucio:
Elimination of Local Variables from Definite Logic Programs. 5-24
- view
- export record
  dblp key:
  - journals/entcs/BertranBC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BertranBC05
Miquel Bertran, Francesc-Xavier Babot, August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning. 25-46
- view
- export record
  dblp key:
  - journals/entcs/Hidalgo-HerreroO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO05
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén:
Dealing Denotationally With Stream-based Communication. 47-68
- view
- export record
  dblp key:
  - journals/entcs/IranzoMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IranzoMP05
Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad:
Unfolding-based Improvements on Fuzzy Logic Programs. 69-103
- view
- export record
  dblp key:
  - journals/entcs/Marti-OlietPV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marti-OlietPV05
Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo:
A Tutorial on Specifying Data Structures in Maude. 105-132
- view
- export record
  dblp key:
  - journals/entcs/PitaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PitaP05
Isabel Pita, Miguel Palomino:
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. 133-150
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/VelardoSF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/VelardoSF05
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)

- view
- export record
  dblp key:
  - journals/entcs/DerrickB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DerrickB05
John Derrick, Eerke A. Boiten:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/AtiyaKW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AtiyaKW05
Diyaa-Addein Atiya, Steve King, Jim Woodcock:
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. 5-22
- view
- export record
  dblp key:
  - journals/entcs/Bolton05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bolton05
Christie Bolton:
Using the Alloy Analyzer to Verify Data Refinement in Z. 23-44
- view
- export record
  dblp key:
  - journals/entcs/CavalcantiW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CavalcantiW05
Ana Cavalcanti, Jim Woodcock:
Angelic Nondeterminism and Unifying Theories of Programming. 45-66
- view
- export record
  dblp key:
  - journals/entcs/DeutschH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeutschH05
Moshe Deutsch, Martin C. Henson:
An Analysis of Operation-Refinement in an Abortive Paradigm. 67-92
- view
- export record
  dblp key:
  - journals/entcs/ColvinDG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ColvinDG05
Robert Colvin, Simon Doherty, Lindsay Groves:
Verifying Concurrent Data Structures by Simulation. 93-110
- view
- export record
  dblp key:
  - journals/entcs/HensonK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HensonK05
Martin C. Henson, Besnik Kajtazi:
The Specification Logic vZ. 111-129
- view
- export record
  dblp key:
  - journals/entcs/LanoAC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LanoAC05
Kevin Lano, Kelly Androutsopoulos, David Clark:
Refinement Patterns for UML. 131-149
- view
- export record
  dblp key:
  - journals/entcs/PaigeKP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaigeKP05
Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Refinement via Consistency Checking in MDA. 151-161
- view
- export record
  dblp key:
  - journals/entcs/PolackS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PolackS05
Fiona Polack, Susan Stepney:
Emergent Properties Do Not Refine. 163-181
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/SchneiderHRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchneiderHRT05
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne:
Tank Monitoring: A pAMN Case Study. 183-204
- view
- export record
  dblp key:
  - journals/entcs/SmithD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SmithD05
Graeme Smith, John Derrick:
Model Checking Downward Simulations. 205-224
- view
- export record
  dblp key:
  - journals/entcs/ClarkSC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ClarkSC05
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)

- view
- export record
  dblp key:
  - journals/entcs/FavreGW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FavreGW05
Jean-Marie Favre, Michael W. Godfrey, Andreas Winter:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/CleveHH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CleveHH05
Anthony Cleve, Jean Henrard, Jean-Luc Hainaut:
Co-transformations in Information System Reengineering. 5-15
- view
- export record
  dblp key:
  - journals/entcs/KnodelAFM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KnodelAFM05
Jens Knodel, Michalis Anastasopolous, Thomas Forster, Dirk Muthig:
An Efficient Migration to Model-driven Development (MDD). 17-27
- view
- export record
  dblp key:
  - journals/entcs/KarailaS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KarailaS05
Mika Karaila, Tarja Systä:
On the Role of Metadata in Visual Language Reuse and Reverse Engineering - An Industrial Case. 29-41
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/Lammel05c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lammel05c
Ralf Lämmel:
The Amsterdam Toolkit for Language Archaeology. 43-55
- view
- export record
  dblp key:
  - journals/entcs/GirbaFD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GirbaFD05
Tudor Gîrba, Jean-Marie Favre, Stéphane Ducasse:
Using Meta-Model Transformation to Model Software Evolution. 57-64
- view
- export record
  dblp key:
  - journals/entcs/JinC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JinC05
Dean Jin, James R. Cordy:
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System. 65-75

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.