References

1

Douglas A.Young.
Object Oriented Programming with C++ and OSF/Motif.
Prentice Hall, 1991.

2

Douglas A.Young.
The X window system, programming and applications with Xt.
Prentice Hall, 1994.
OSF Motif edition.

3

Marshall Brain.
Motif programming - The essentials and more.
Digital Press, 1992.

4

P.P.-S. Chen.
The entity-relationship model - Toward a unified view of data.
ACM Transactions on Database Systems, 1:9-36, 1976.

5

T. DeMarco.
Structured Analysis and System Specification.
Yourdon Press/Prentice-Hall, 1978.

6

F.Dehne and R.J.Wieringa.
Toolkit for conceptual modeling, user's guide for tcm 1.2.0.
Technical Report IR-401, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, April 1996.

7

F.Dehne and R.J. Wieringa.
The yourdon systems method and the toolkit for conceptual modeling.
Technical Report IR-414, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, December 1996.

8

Dan Heller.
Motif Programming Manual, volume 6 of The Definitive Guide to the X Window System.
O'Reilly & Associates, 1991.
For OSF/Motif Version 1.1.

9

M. Jackson.
System Development.
Prentice-Hall, 1983.

10

OSF (Open Software Foundation).
OSF/Motif Programmer's Guide, 1992.
For OSF/Motif Release 1.2.

11

OSF (Open Software Foundation).
OSF/Motif Style Guide, 1992.
For OSF/Motif Release 1.2.

12

OSF (Open Software Foundation).
OSF/Motif User's Guide, 1992.
For OSF/Motif Release 1.2.

13

Rational.
Unified Modeling Language: Notation Guide, Version 1.1.
Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, 1 September 1997.
URL http://www.rational.com/uml/1.1/.

14

Rational.
Unified Modeling Language: Semantics, Version 1.1.
Rational Software Corporation, 1 September 1997.
URL http://www.rational.com/uml/1.1/.

15

P.A. Spruit and R.J. Wieringa.
Some finite-graph models for process algebra.
In J.C.M. Baeten and J.F. Groote, editors, 2nd International Conference on Concurrency Theory (CONCUR'91), pages 495-509, 1991.

16

P.T. Ward and S.J. Mellor.
Structured Development for Real-Time Systems.
Prentice-Hall/Yourdon Press, 1985.
Three volumes.

17

R.J. Wieringa.
Combining static and dynamic modeling methods: a comparison of four methods.
The Computer Journal, 38(1):17-30, 1995.

18

R.J. Wieringa.
Requirements Engineering: Frameworks for Understanding.
Wiley, 1996.
ISBN 0 471 95884 0.

19

R.J. Wieringa, W. de Jonge, and P.A. Spruit.
Roles and dynamic subclasses: a modal logic approach.
In M. Tokoro and R. Pareschi, editors, Object-Oriented Programming, 8th European Conference (ECOOP'94), pages 32-59. Springer, 1994.
Lecture Notes in Computer Science 821. Revised and extended version appears in [20].

20

R.J. Wieringa, W. de Jonge, and P.A. Spruit.
Using dynamic classes and role classes to model object migration.
Theory and Practice of Object Systems, 1(1):61-83, 1995.

21

W.A. Woods.
Transition network grammars for natural language analysis.
Communications of the ACM, 13(10):591-606, October 1970.

22

E. Yourdon.
Modern Structured Analysis.
Prentice-Hall, 1989.

23

Yourdon Inc.
$\mbox{\it Yourdon}^{\rm TM}$ Systems Method: Model-Driven Systems Development.
Prentice-Hall, 1993.