Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7

Content of Issue 8
DOI: 10.3217/jucs-007-08
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas B. K. Aichernig, B. Froehlich, A. Kerschbaumer 629
The Transition from VDL to VDM C. B. Jones 631
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book D. Bjørner 641
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001] M. Mac an Airchinnigh 668
Ten Years of Historical Development "Bootstrapping" VDMTools P. Gorm Larsen 692
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus B. K. Aichernig 710
Data Distribution Specification for High Performance Computing H. P. Zima 736
"Bagatelle in C arranged for VDM SoLo" J. N. Oliveira 754