-
1
-
-
0345917793
-
MetaCASE technology
-
A. Endres, H. Weber (Eds.), Springer-Verlag, Berlin
-
A. Alderson, MetaCASE technology, in: A. Endres, H. Weber (Eds.), Software Development Environments and CASE Technology, Lecture Notes In Computer Science, 509, Springer-Verlag, Berlin, 1991.
-
(1991)
Software Development Environments and CASE Technology, Lecture Notes in Computer Science
, vol.509
-
-
Alderson, A.1
-
2
-
-
0008895585
-
-
Program Validation Ltd.
-
B.A. Carré, T.J. Jennings, F.J. Maclennan, P.E. Farrow, J.R. Garnsworthy, SPARK - The SPADE Ada kernel, ed. 3.1, Program Validation Ltd., 1992.
-
(1992)
SPARK - the SPADE Ada Kernel, Ed. 3.1
-
-
Carré, B.A.1
Jennings, T.J.2
Maclennan, F.J.3
Farrow, P.E.4
Garnsworthy, J.R.5
-
4
-
-
0346548870
-
-
Issue Draft B, CORECOM
-
P. Curwen, S. Mallon, J.T. Smith, The Official Handbook of the CORE Method, Issue Draft B, CORECOM, 1992.
-
(1992)
The Official Handbook of the CORE Method
-
-
Curwen, P.1
Mallon, S.2
Smith, J.T.3
-
5
-
-
0001827054
-
User viewpoint modelling: Understanding and representing user viewpoints during requirements definition
-
P. Darke, G. Shanks, User viewpoint modelling: understanding and representing user viewpoints during requirements definition, Information Systems Journal 7 (1997) 213-239.
-
(1997)
Information Systems Journal
, vol.7
, pp. 213-239
-
-
Darke, P.1
Shanks, G.2
-
6
-
-
0023365727
-
Statecharts: A visual formalisation for complex systems
-
D. Harel, Statecharts: A visual formalisation for complex systems, Science of Computer Programming 8 (3) (1987) 231-274.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
8
-
-
0026142386
-
Development methods for real-time systems
-
M.E.C. Hull, P. O'Donoghue, Development methods for real-time systems, Computer Journal 34 (2) (1991b).
-
(1991)
Computer Journal
, vol.34
, Issue.2
-
-
Hull, M.E.C.1
O'Donoghue, P.2
-
12
-
-
0037605938
-
A method for controlled requirements specifications
-
Germany, Munich, IEEE Computer Society Press
-
G. Mullery, A method for controlled requirements specifications, in: 4th International Conference on Software Engineering, Germany, Munich, IEEE Computer Society Press, 1979, pp. 126-135.
-
(1979)
4th International Conference on Software Engineering
, pp. 126-135
-
-
Mullery, G.1
-
13
-
-
0004147892
-
-
John Wiley and Sons, Chichester
-
I. Pyle, P. Hrushka, M. Lissandre, K. Jackson, Real-Time Systems: Investigating Industrial Practice, John Wiley and Sons, Chichester, 1993.
-
(1993)
Real-Time Systems: Investigating Industrial Practice
-
-
Pyle, I.1
Hrushka, P.2
Lissandre, M.3
Jackson, K.4
-
15
-
-
0347179053
-
The data oriented requirements implementation scheme
-
C. Thomas, The data oriented requirements implementation scheme, in: NATO AGAARD Conference Proceedings 503, 1991.
-
(1991)
NATO AGAARD Conference Proceedings
, vol.503
-
-
Thomas, C.1
-
16
-
-
0006281864
-
Requirements analysis
-
J.A. McDermid (Ed.), Butterworth Hiennemann Ltd., Oxford
-
D.A. Stokes, Requirements analysis, in: J.A. McDermid (Ed.), Software Engineer's Reference Book, Butterworth Hiennemann Ltd., Oxford, 1990, pp. 15-16.
-
(1990)
Software Engineer's Reference Book
, pp. 15-16
-
-
Stokes, D.A.1
|