JUCS Volume 7 Issue 8

Submission Procedure

share: |

Submission Procedure

Board of Editors

Follow us

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 26 (2020)

Volume 25 (2019)

Volume 24 (2018)

Volume 23 (2017)

Volume 22 (2016)

Volume 21 (2015)

Volume 20 (2014)

Volume 19 (2013)

Volume 18 (2012)

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

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)

Collection of other papers

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