Issue 8

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 8
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