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
    runs on