In this issue

Papers published: 9

Total pages: 178

Unique views: 8529

Total views: 10509

open access

Go to issue

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

Download
J.UCS Special Issue on Requirements Engineering ...
Editorial
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study
Egon Börger, Reinhard Gotzhein
10.3217/jucs-006-07
 28-07-2000
 Unique: 833 | Total: 1036
 580-581
HTML
XML
PDF
The Light Control Case Study: A Synopsis
Research Article
The Light Control Case Study: A Synopsis
Egon Börger, Reinhard Gotzhein
10.3217/jucs-006-07-0582
 28-07-2000
 Unique: 895 | Total: 1098
 582-585
HTML
XML
PDF
The Light Control Case Study: Problem ...
Research Article
The Light Control Case Study: Problem Description
Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Juergen Schaefer
10.3217/jucs-006-07-0586
 28-07-2000
 Unique: 1073 | Total: 1338
 586-596
HTML
XML
PDF
Capturing Requirements by Abstract State ...
Research Article
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Egon Börger, Elvinia Riccobene, Joachim Schmid
10.3217/jucs-006-07-0597
 28-07-2000
 Unique: 1023 | Total: 1257
 597-620
HTML
XML
PDF
Analyzing the Light Control System with ...
Research Article
Analyzing the Light Control System with PVS
Adriaan De Groot, Jozef Hooman
10.3217/jucs-006-07-0621
 28-07-2000
 Unique: 824 | Total: 1026
 621-649
HTML
XML
PDF
Applying the SCR Requirements Method ...
Research Article
Applying the SCR Requirements Method to the Light Control Case Study
Constance Heitmeyer, Ramesh Bharadwaj
10.3217/jucs-006-07-0650
 28-07-2000
 Unique: 921 | Total: 1132
 650-678
HTML
XML
PDF
Application of the FOREST Approach to ...
Research Article
Application of the FOREST Approach to the Light Control Case Study
Martin Kronenburg, Christian Peper
10.3217/jucs-006-07-0679
 28-07-2000
 Unique: 1030 | Total: 1235
 679-703
HTML
XML
PDF
Incremental Development of Real-Time ...
Research Article
Incremental Development of Real-Time Requirements: The Light Control Case Study
Graeme Smith, Colin Fidge
10.3217/jucs-006-07-0704
 28-07-2000
 Unique: 921 | Total: 1158
 704-730
HTML
XML
PDF
Requirements Capture and Evaluation in ...
Research Article
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study
Jeffrey Thompson, Michael Whalen, Mats P. E. Heimdahl
10.3217/jucs-006-07-0731
 28-07-2000
 Unique: 1009 | Total: 1229
 731-757
HTML
XML
PDF

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

OK