JUCS - Journal of Universal Computer Science 6

In this issue

Papers published: 9

Total pages: 178

Unique views: 9889

Total views: 12068

open access

Go to issue

Issue 6(7)

Next »

JUCS - Journal of Universal Computer Science 6(7)

Select: All None

Download:

Citation

XML

PDF

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: 968 | Total: 1191

580-581

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: 1039 | Total: 1265

582-585

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: 1241 | Total: 1526

586-596

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: 1178 | Total: 1437

597-620

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: 974 | Total: 1198

621-649

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: 1063 | Total: 1286

650-678

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: 1172 | Total: 1392

679-703

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: 1085 | Total: 1342

704-730

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: 1169 | Total: 1431

731-757

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

OK