External Links

    Journal: J. UCS

    Volume 7, Issue 8

    629 -- 630Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer. Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
    631 -- 640Cliff B. Jones. The Transition from VDL to VDM
    641 -- 667Dines Bjørner. On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
    668 -- 691Mícheál Mac an Airchinnigh. An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
    692 -- 709Peter Gorm Larsen. Ten Years of Historical Development Bootstrapping VDMTools®
    710 -- 735Bernhard K. Aichernig. Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
    736 -- 753Hans P. Zima. Data Distribution Specification for High Performance Computing
    754 -- 781José Nuno Oliveira. Bagatelle in C arranged for VDM SoLo
    782 -- 0Hermann A. Maurer. Managing Editor s Column
    783 -- 793Adrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu. Codifiable Languages and the Parikh Matrix Mapping
    794 -- 815Sandra Fontani. Efficient Measure Learning
    816 -- 825Sanjay Gupta. Determinism, Nondeterminism, Alternation, and Counting
    826 -- 847Helge Kahler. More Than WORDs - Collaborative Tailoring of a Word Processor
    848 -- 868Ulrich Sigmund, Theo Ungerer. On Speculation Control in Simultaneous Multithreaded Processors

    Volume 7, Issue 7

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

    Volume 7, Issue 6

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

    Volume 7, Issue 5

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

    Volume 7, Issue 4

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

    Volume 7, Issue 3

    210 -- 0Hermann A. Maurer. Managing Editor s Column
    211 -- 225Kanji Akahori, Hidetsugu Horiguschi, Katsuaki Suzuki, Masatoshi Nambu. Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers
    226 -- 239Tomoko Kojiri, Yushi Ogawa, Toyohide Watanabe. Agent-oriented Support Environment in Web-based Collaborative Learning
    240 -- 253Chin-Hwa Kuo, David Wible, Chia-Lin Chou. A Synchronous EFL Writing Environment for the Internet
    254 -- 277Daniel D. Suthers. Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse
    278 -- 289David Wible, Chin-Hwa Kuo, Nai-Lung Tsao, Anne Liu. An Online Writing Platform for Language Teachers

    Volume 7, Issue 2

    105 -- 106Wolfgang Reif, Gerhard Schellhorn. J.UCS Special Issue on Tools for System Design and Verification - Part 2
    107 -- 123Rudolf Berghammer, Thorsten Hoffmann. Modeling Sequences within the RelView System
    124 -- 140Alessandro Armando, Silvio Ranise. A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
    141 -- 158Kai Baukus, Yassine Lakhnech, Karsten Stahl. Verification of Parameterized Protocols
    159 -- 174Dominique Cansell, Dominique Méry, Stephan Merz. Diagram Refinements for the Design of Reactive Systems
    175 -- 193Jan Rothe, Hendrik Tews, Bart Jacobs. The Coalgebraic Class Specification Language CCSL
    194 -- 209Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf. Correctness of Efficient Real-Time Model Checking

    Volume 7, Issue 12

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

    Volume 7, Issue 11

    914 -- 916Egon Börger, Uwe Glässer. Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
    917 -- 951Yuri Gurevich, Nikolai Tillmann. Partial Updates: Exploration
    952 -- 979Gerhard Schellhorn. Verification of ASM Refinements Using Generalized Forward Simulation
    980 -- 1005Robert F. Stärk, Stanislas Nanchen. A Logic for Abstract State Machines
    1006 -- 1023Egon Börger, Diego Sona. A Neural Abstract Machine
    1024 -- 1049Robert 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
    1050 -- 1067Angelo Gargantini, Elvinia Riccobene. ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
    1068 -- 1087Joachim Schmid. Compiling Abstract State Machines to C++
    1088 -- 1112Charles Wallace, Guy Tremblay, José Nelson Amaral. An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol

    Volume 7, Issue 10

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

    Volume 7, Issue 1

    1 -- 2Wolfgang Reif, Gerhard Schellhorn. J.UCS Special Issue on Tools for System Design and Verification - Part 1
    3 -- 18Timo Aaltonen, Mika Katara, Risto Pitkänen. DisCo Toolset - The New Generation
    19 -- 36Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment
    37 -- 53Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang. An Open Software Architecture for the Verification of Industrial Controllers
    54 -- 70Wolfram Kahl, Frank Derichsweiler. Declarative Term Graph Attribution for Program Generation
    71 -- 88John N. Crossley, Iman Poernomo. Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
    89 -- 104Jürgen Ruf. RAVEN: Real-Time Analyzing and Verification Environment
    runs on