Volume 7,
Number 1,
January 2001
Tools for System Design and Verification - Part 1
- Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 1.
1-2
Electronic Edition (link) BibTeX
- Timo Aaltonen, Mika Katara, Risto Pitkänen:
DisCo Toolset - The New Generation.
3-18
Electronic Edition (link) BibTeX
- Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment.
19-36
Electronic Edition (link) BibTeX
- Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang:
An Open Software Architecture for the Verification of Industrial Controllers.
37-53
Electronic Edition (link) BibTeX
- Wolfram Kahl, Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation.
54-70
Electronic Edition (link) BibTeX
- John N. Crossley, Iman Poernomo:
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs.
71-88
Electronic Edition (link) BibTeX
- Jürgen Ruf:
RAVEN: Real-Time Analyzing and Verification Environment.
89-104
Electronic Edition (link) BibTeX
Volume 7,
Number 2,
February 2001
Tools for System Design and Verification - Part 2
- Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 2.
105-106
Electronic Edition (link) BibTeX
- Rudolf Berghammer, Thorsten Hoffmann:
Modeling Sequences within the RelView System.
107-123
Electronic Edition (link) BibTeX
- Alessandro Armando, Silvio Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic.
124-140
Electronic Edition (link) BibTeX
- Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verification of Parameterized Protocols.
141-158
Electronic Edition (link) BibTeX
- Dominique Cansell, Dominique Méry, Stephan Merz:
Diagram Refinements for the Design of Reactive Systems.
159-174
Electronic Edition (link) BibTeX
- Jan Rothe, Hendrik Tews, Bart Jacobs:
The Coalgebraic Class Specification Language CCSL.
175-193
Electronic Edition (link) BibTeX
- Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf:
Correctness of Efficient Real-Time Model Checking.
194-209
Electronic Edition (link) BibTeX
Volume 7,
Number 3,
March 2001
- Hermann A. Maurer:
Managing Editor's Column.
210
Electronic Edition (link) BibTeX
- Kanji Akahori, Hidetsugu Horiguschi, Katsuaki Suzuki, Masatoshi Nambu:
Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers.
211-225
Electronic Edition (link) BibTeX
- Tomoko Kojiri, Yushi Ogawa, Toyohide Watanabe:
Agent-oriented Support Environment in Web-based Collaborative Learning.
226-239
Electronic Edition (link) BibTeX
- Chin-Hwa Kuo, David Wible, Chia-Lin Chou:
A Synchronous EFL Writing Environment for the Internet.
240-253
Electronic Edition (link) BibTeX
- Daniel D. Suthers:
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse.
254-277
Electronic Edition (link) BibTeX
- David Wible, Chin-Hwa Kuo, Nai-Lung Tsao, Anne Liu:
An Online Writing Platform for Language Teachers.
278-289
Electronic Edition (link) BibTeX
Volume 7,
Number 4,
April 2001
Volume 7,
Number 5,
May 2001
Future of Computer Science:
J.UCS Special Issue Dedicated to Professor Hermann A. Maurer
Volume 7,
Number 6,
June 2001
I-Know '01 - International Conference on Knowledge Management
Volume 7,
Number 7,
July 2001
I-Know '01 - International Conference on Knowledge Management
Volume 7,
Number 8,
August 2001
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
Volume 7,
Number 9,
September 2001
Volume 7,
Number 10,
October 2001
Volume 7,
Number 11,
November 2001
Abstract State Machines 2001:
New Developments and Applications
- Egon Börger, Uwe Glässer:
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.
914-916
Electronic Edition (link) BibTeX
- Yuri Gurevich, Nikolai Tillmann:
Partial Updates: Exploration.
917-951
Electronic Edition (link) BibTeX
- Gerhard Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation.
952-979
Electronic Edition (link) BibTeX
- Robert F. Stärk, Stanislas Nanchen:
A Logic for Abstract State Machines.
980-1005
Electronic Edition (link) BibTeX
- Egon Börger, Diego Sona:
A Neural Abstract Machine.
1006-1023
Electronic Edition (link) BibTeX
- Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models.
1024-1049
Electronic Edition (link) BibTeX
- Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.
1050-1067
Electronic Edition (link) BibTeX
- Joachim Schmid:
Compiling Abstract State Machines to C++.
1068-1087
Electronic Edition (link) BibTeX
- Charles Wallace, Guy Tremblay, José Nelson Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol.
1088-1112
Electronic Edition (link) BibTeX
Volume 7,
Number 12,
December 2001
Copyright © Sun May 17 00:12:22 2009
by Michael Ley (ley@uni-trier.de)
