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
- Timo Aaltonen, Mika Katara, Risto Pitkänen:
DisCo Toolset - The New Generation.
3-18
- Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment.
19-36
- Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang:
An Open Software Architecture for the Verification of Industrial Controllers.
37-53
- Wolfram Kahl, Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation.
54-70
- John N. Crossley, Iman Poernomo:
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs.
71-88
- Jürgen Ruf:
RAVEN: Real-Time Analyzing and Verification Environment.
89-104
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
- Rudolf Berghammer, Thorsten Hoffmann:
Modeling Sequences within the RelView System.
107-123
- Alessandro Armando, Silvio Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic.
124-140
- Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verification of Parameterized Protocols.
141-158
- Dominique Cansell, Dominique Méry, Stephan Merz:
Diagram Refinements for the Design of Reactive Systems.
159-174
- Jan Rothe, Hendrik Tews, Bart Jacobs:
The Coalgebraic Class Specification Language CCSL.
175-193
- Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf:
Correctness of Efficient Real-Time Model Checking.
194-209
Volume 7,
Number 3,
March 2001
- Hermann A. Maurer:
Managing Editor's Column.
210
- 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
- Tomoko Kojiri, Yushi Ogawa, Toyohide Watanabe:
Agent-oriented Support Environment in Web-based Collaborative Learning.
226-239
- Chin-Hwa Kuo, David Wible, Chia-Lin Chou:
A Synchronous EFL Writing Environment for the Internet.
240-253
- Daniel D. Suthers:
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse.
254-277
- David Wible, Chin-Hwa Kuo, Nai-Lung Tsao, Anne Liu:
An Online Writing Platform for Language Teachers.
278-289
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
- Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer:
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas.
629-630
- Cliff B. Jones:
The Transition from VDL to VDM.
631-640
- Dines Bjørner:
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book.
641-667
- Mícheál Mac an Airchinnigh:
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001].
668-691
- Peter Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools®.
692-709
- Bernhard K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus.
710-735
- Hans P. Zima:
Data Distribution Specification for High Performance Computing.
736-753
- José Nuno Oliveira:
"Bagatelle in C arranged for VDM SoLo".
754-781
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
- Yuri Gurevich, Nikolai Tillmann:
Partial Updates: Exploration.
917-951
- Gerhard Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation.
952-979
- Robert F. Stärk, Stanislas Nanchen:
A Logic for Abstract State Machines.
980-1005
- Egon Börger, Diego Sona:
A Neural Abstract Machine.
1006-1023
- 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
- Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.
1050-1067
- Joachim Schmid:
Compiling Abstract State Machines to C++.
1068-1087
- 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
Volume 7,
Number 12,
December 2001
Copyright © Fri Mar 12 17:30:43 2010
by Michael Ley (ley@uni-trier.de)
