J.UCS, Volume 7

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 Wai Hing 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 Li-E. Liu:
  An Online Writing Platform for Language Teachers. 278-289

Volume 7, Number 4, April 2001

• 
  Hermann A. Maurer:
  Managing Editor's Column. 290
• 
  David J. Haglin, Rupert W. Ford:
  The Message-Minimizing Load Redistribution Problem. 291-306
• 
  Tommi A. Junttila:
  Computational Complexity of the Place/Transition-Net Symmetry Reduction Method. 307-326
• 
  Jennifer Lennon, Hermann A. Maurer:
  Can Knowledge Management Help in Poverty-stricken Countries and Crisis Situations. 327-334

Volume 7, Number 5, May 2001

Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann A. Maurer

• 
  Frank Kappe, Gerhard Pail:
  Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer. 335-337
• 
  Franz Aurenhammer:
  Computational Geometry - Some Easy Questions and their Recent Solutions. 338-354
• 
  John F. Buford:
  Telecommunication Services and Service Management Challenges. 355-365
• 
  Gitta Domik:
  Glimpses into the Future of Computer Science Education. 366-378
• 
  Herbert Edelsbrunner:
  180 Wrapped Tubes. 379-399
• 
  Dieter W. Fellner:
  Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands. 400-409
• 
  Gerhard Goos:
  Issues in Compiling. 410-419
• 
  Tobias Lauer, Rainer Müller, Thomas Ottmann:
  Animations for Teaching Purposes: Now and Tomorrow. 420-433
• 
  Bernard M. E. Moret, Henry D. Shapiro:
  Algorithms and Experiments: The New (and Old) Methodology. 434-446
• 
  Reinhard Posch:
  Will Internet Ever Be Secure ? 447-456

Volume 7, Number 6, June 2001

I-Know '01 - International Conference on Knowledge Management

• 
  Klaus Tochtermann, Hermann A. Maurer:
  J.UCS Special Issue: I-Know '01 - International Conference on Knowledge Management. 456-457
• 
  Ivan Tomek:
  Knowledge Management and Collaborative Virtual Environments. 458-471
• 
  Joachim Hasebrook:
  Learning in the Learning Organization. 472-487
• 
  Kurt-Martin Lugger, Herbert Kraus:
  Mastering the Human Barriers in Knowledge Management. 488-497
• 
  Peter Johnston:
  Sustainability and Jobs in the Knowledge Economy. 498-506
• 
  Franz Josef Radermacher:
  Knowledge Management in Superorganisms. 507-516
• 
  James J. Thomas, Paula J. Cowley, Olga A. Kuchar, Lucy T. Nowell, Judy Thompson, Pak Chung Wong:
  Discovering Knowledge Through Visual Analysis. 517-529
• 
  Werner Haas, Harald Mayer:
  MPEG and its Relevance for Content-based Multimedia Retrieval. 530-547

Volume 7, Number 7, July 2001

I-Know '01 - International Conference on Knowledge Management

• 
  Klaus Tochtermann, Hermann A. Maurer:
  J.UCS Special Issue: I-Know '01 - International Conference on Knowledge Management. 548-549
• 
  David L. Hicks, Klaus Tochtermann:
  Personal Digital Libraries and Knowledge Management. 550-565
• 
  Andreas Hotho, Alexander Maedche, Steffen Staab, Rudi Studer:
  SEAL-II - The Soft Spot between Richly Structured and Unstructured Knowledge. 566-590
• 
  Erik Duval:
  Metadata Standards: What, Who & Why. 591-601
• 
  B. Tillian:
  Knowledge Management More Effort - More Success? 602-609
• 
  Dirk Ramhorst:
  A Guided Tour through the Siemens Business Services Knowledge Management Framework. 610-622
• 
  Wolfgang Schinagl:
  New Learning of Adults in the Information and Knowledge Society. 623-628

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

• 
  Hermann A. Maurer:
  Managing Editor's Column. 782
• 
  Adrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu:
  Codifiable Languages and the Parikh Matrix Mapping. 783-793
• 
  Sandra Fontani:
  Efficient Measure Learning. 794-815
• 
  Sanjay Gupta:
  Determinism, Nondeterminism, Alternation, and Counting. 816-825
• 
  Helge Kahler:
  More Than WORDs - Collaborative Tailoring of a Word Processor. 826-847
• 
  Ulrich Sigmund, Theo Ungerer:
  On Speculation Control in Simultaneous Multithreaded Processors. 848-868

Volume 7, Number 10, October 2001

• 
  Hermann A. Maurer:
  Managing Editor's Column. 869
• 
  Amitava Datta, Thomas Ottmann:
  Towards a Virtual University. 870-885
• 
  Juha Honkala:
  Three Variants of the DT0L Sequence Equivalence Problem. 886-892
• 
  Yuliang Liu, Dean Ginther, Paul Zelhart:
  How Do Frequency and Duration of Messaging Affect Impression Development in Computer-Mediated Communication? 893-914

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

• 
  Hermann A. Maurer:
  Managing Editor's Column. 1113
• 
  Hans L. Bodlaender:
  A Generic NP-hardness Proof for a Variant of Graph Coloring. 1114-1124
• 
  Harald Krottmaier, Hermann A. Maurer:
  Transclusions in the 21st Century. 1125-1136