In this issue

Papers published: 8

Total pages: 153

Unique views: 7285

Total views: 9174

open access

Go to issue

« Previous
Issue 7(8)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 7(8)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Formal Aspects of Software Engineering ...
Editorial
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
Bernhard Aichernig, Brigitte Froehlich, Andreas Kerschbaumer
10.3217/jucs-007-08
 28-08-2001
 Unique: 821 | Total: 1023
 629-630
HTML
XML
PDF
The Transition from VDL to VDM
Research Article
The Transition from VDL to VDM
Cliff Jones
10.3217/jucs-007-08-0631
 28-08-2001
 Unique: 1024 | Total: 1253
 631-640
HTML
XML
PDF
On Teaching Software Engineering based ...
Research Article
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
Dines Bjørner
10.3217/jucs-007-08-0641
 28-08-2001
 Unique: 891 | Total: 1105
 641-667
HTML
XML
PDF
An Eclectic View of the Irish School ...
Research Article
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
Micheal Mac an Airchinnigh
10.3217/jucs-007-08-0668
 28-08-2001
 Unique: 918 | Total: 1193
 668-691
HTML
XML
PDF
Ten Years of Historical Development
Research Article
Ten Years of Historical Development "Bootstrapping" VDMTools
Peter Larsen
10.3217/jucs-007-08-0692
 28-08-2001
 Unique: 910 | Total: 1171
 692-709
HTML
XML
PDF
Test-Design through Abstraction - A Systematic ...
Research Article
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
Bernhard Aichernig
10.3217/jucs-007-08-0710
 28-08-2001
 Unique: 897 | Total: 1154
 710-735
HTML
XML
PDF
Data Distribution Specification for High ...
Research Article
Data Distribution Specification for High Performance Computing
Hans Zima
10.3217/jucs-007-08-0736
 28-08-2001
 Unique: 889 | Total: 1103
 736-753
HTML
XML
PDF
Research Article
"Bagatelle in C arranged for VDM SoLo"
José Oliveira
10.3217/jucs-007-08-0754
 28-08-2001
 Unique: 935 | Total: 1172
 754-781
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK