


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science, Volume 137
Volume 137, Number 1, 20 July 2005
- 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
- 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
- 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

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.