-
1
-
-
85037050729
-
-
Ph.D. Dissertation, Computer Science Department, Naval Postgraduate School, Monterey, CA
-
S. Badr, "A Model and Algorithms for a Software Evolution Control System," Ph.D. Dissertation, Computer Science Department, Naval Postgraduate School, Monterey, CA, 1993
-
(1993)
A Model and Algorithms for A Software Evolution Control System
-
-
Badr, S.1
-
2
-
-
0006668929
-
Automation support for concurrent software engineering
-
Jurmala, Latvia, June 20-23
-
S. Badr and Luqi, "Automation Support for Concurrent Software Engineering," Proceeding of the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 20-23, 1994, pp. 46-53
-
(1994)
Proceeding of the 6th International Conference on Software Engineering and Knowledge Engineering
, pp. 46-53
-
-
Badr, S.1
Luqi2
-
3
-
-
0024089371
-
GIBIS: A hypertext tool for exploratory policy discussion
-
October
-
J. Conklin and M. Begeman, "gIBIS: A Hypertext Tool for Exploratory Policy Discussion," ACM Transactions on Office Information System, Vol. 6, October 1988, pp. 303-331
-
(1988)
ACM Transactions on Office Information System
, vol.6
, pp. 303-331
-
-
Conklin, J.1
Begeman, M.2
-
4
-
-
0005937182
-
Automated merging of software prototypes
-
February
-
D. A. Dampier, and V. Berzins, "Automated Merging of Software Prototypes," Journal of Systems Integration, Vol. 4, No. 1, February 1994, pp. 33-49
-
(1994)
Journal of Systems Integration
, vol.4
, Issue.1
, pp. 33-49
-
-
Dampier, D.A.1
Berzins, V.2
-
5
-
-
0002826875
-
Software component search
-
J. Goguen, D. Nguyen, J. Meseguer, D. Zhang, and V. Berzins, "Software Component Search," Journal of Systems Integration, Vol. 6, 1996, pp. 93-134
-
(1996)
Journal of Systems Integration
, vol.6
, pp. 93-134
-
-
Goguen, J.1
Nguyen, D.2
Meseguer, J.3
Zhang, D.4
Berzins, V.5
-
7
-
-
49949098855
-
-
Ph.D. Dissertation, Computer Science Department, Naval Postgraduate School, Monterey, CA
-
O. M. Ibrahim, "A Model and Decision Support Mechanism for Software Requirements Engineering," Ph.D. Dissertation, Computer Science Department, Naval Postgraduate School, Monterey, CA, 1996
-
(1996)
A Model and Decision Support Mechanism for Software Requirements Engineering
-
-
Ibrahim, O.M.1
-
8
-
-
0031374696
-
Gathering requirements from remote users
-
Newport Beach, California, November 3-8
-
T. Leonard, V. Berzins, and M. J. Holden, "Gathering Requirements from Remote Users," Proceeding of the ninth International Conference on Tools with Artificial Intelligence, Newport Beach, California, November 3-8, 1997, pp. 462-471
-
(1997)
Proceeding of the Ninth International Conference on Tools with Artificial Intelligence
, pp. 462-471
-
-
Leonard, T.1
Berzins, V.2
Holden, M.J.3
-
9
-
-
0027576911
-
Object-oriented software evolution
-
April
-
K. J. Lieberherr and C. Xiao, "Object-Oriented Software Evolution," IEEE Trans. on Software Engineering, Vol. 19, No. 4, April 1993, pp. 313-343
-
(1993)
IEEE Trans. on Software Engineering
, vol.19
, Issue.4
, pp. 313-343
-
-
Lieberherr, K.J.1
Xiao, C.2
-
10
-
-
0023978762
-
A computer-aided prototyping system
-
March
-
M. Ketabchi, "A Computer-Aided Prototyping System," IEEE Software, March 1988. pp. 66-72
-
(1988)
IEEE Software
, pp. 66-72
-
-
Ketabchi, M.1
-
11
-
-
0024664382
-
Software evolution through rapid prototyping
-
May
-
Luqi, "Software Evolution Through Rapid Prototyping," IEEE Computer, May 1989, pp. 13-25
-
(1989)
IEEE Computer
, pp. 13-25
-
-
Luqi1
-
12
-
-
0025468324
-
A graph model for software evolution
-
August
-
Luqi, "A Graph Model for Software Evolution," IEEE Trans. on Software Engineering, Vol. 16, No. 8, August 1990, pp. 917-927
-
(1990)
IEEE Trans. on Software Engineering
, vol.16
, Issue.8
, pp. 917-927
-
-
Luqi1
-
13
-
-
0030734230
-
Formal methods promises and problems
-
January
-
Luqi and J. A. Goguen, "Formal Methods Promises and Problems," IEEE Software, January 1997, pp. 73-85
-
(1997)
IEEE Software
, pp. 73-85
-
-
Luqi1
Goguen, J.A.2
-
15
-
-
0010605443
-
An intelligent assistant for requirements validation for embedded systems
-
B. Ramesh, "An intelligent Assistant for Requirements Validation for Embedded Systems," Journal of Systems Integration, Vol. 5, No. 2, 1995, pp. 157-177
-
(1995)
Journal of Systems Integration
, vol.5
, Issue.2
, pp. 157-177
-
-
Ramesh, B.1
-
17
-
-
0026259858
-
CASE tool for reusable software component storage and retrieval in rapid prototyping
-
November
-
R. Steigerwald, and J. McDowell, "CASE Tool for Reusable Software Component Storage and Retrieval in Rapid Prototyping," Information and Software Technology, England, Vol. 38, No. 9, November 1991, pp. 698-706
-
(1991)
Information and Software Technology, England
, vol.38
, Issue.9
, pp. 698-706
-
-
Steigerwald, R.1
McDowell, J.2
|