Search
Submission Procedure
share:
|
Special Issues
Submission Procedure
Aims and Scope
Board of Editors
What's New
Follow us
Articles by Topics
Articles by Author
Geographical Mashup
List of Topics
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)
Issue 1
Issue 2
Issue 3
Issue 4
Issue 5
Issue 6
Issue 7
Issue 8
Issue 9
Issue 10
Issue 11
Issue 12
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
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