-
1
-
-
84976821702
-
The SAGA Project: A System for Software Development
-
ACM SIGPLAN Notices, May
-
Campbell, R. H. and P. A. Kirslis, “The SAGA Project: A System for Software Development”, Proceedings of the ACM SIGPLAN/StGSOFT Symposium on Practical Software Development Environments, ACM SIGPLAN Notices 19 (3), May 1984.
-
(1984)
Proceedings of the ACM Sigplan/Stgsoft Symposium on Practical Software Development Environments
, vol.19
, Issue.3
-
-
Campbell, R.H.1
Kirslis, P.A.2
-
2
-
-
84910573645
-
-
Tartan Laboratories
-
Evans, A., K. J. Butler, G. Goos and W. A. Wulf, “Draft Revised DIANA Reference Manual”, Tartan Laboratories, 1982.
-
(1982)
Draft Revised DIANA Reference Manual
-
-
Evans, A.1
Butler, K.J.2
Goos, G.3
Wulf, W.A.4
-
3
-
-
0000999620
-
Introducing Institutions
-
Springer-Verlag LNCS
-
Goguen, J. A., and R. M. Burstall, “Introducing Institutions”, Proceedings, Logics of Programming Workshop, Springer-Verlag LNCS 164, 1984.
-
(1984)
Proceedings, Logics of Programming Workshop
-
-
Goguen, J.A.1
Burstall, R.M.2
-
4
-
-
2342501273
-
-
Tech. Report KES.U.83, Palo Alto, California
-
Green, C., D. Luckham, R. Balzer, T. Cheatham and C. Rich, “Report of a Knowledge-Based Software Assistant”, Tech. Report KES.U.83.3, Palo Alto, California, 1983.
-
(1983)
Report of a Knowledge-Based Software Assistant
, vol.3
-
-
Green, C.1
Luckham, D.2
Balzer, R.3
Cheatham, T.4
Rich, C.5
-
5
-
-
0020907872
-
A knowledge based programming support tool
-
National Bureau of Standards, Gaithersburg, MD., May
-
Harandi, M. T., “A knowledge based programming support tool,” Proceedings of IEEE Trends and Application Conference: Automating Intelligent Behavior, National Bureau of Standards, Gaithersburg, MD., (May 1983).
-
(1983)
Proceedings of IEEE Trends and Application Conference: Automating Intelligent Behavior
-
-
Harandi, M.T.1
-
6
-
-
84939334030
-
Applying knowledge based techniques to software development
-
Harandi, M. T., “Applying knowledge based techniques to software development,” Perspectives in Computing, vol 6 (1), 1986.
-
(1986)
Perspectives in Computing
, vol.6
, Issue.1
-
-
Harandi, M.T.1
-
7
-
-
85035071321
-
Partial Implementations of Abstract Data Types: A Dissenting View on Errors
-
Lecture Notes in Computer Science 173, Springer-Verlag
-
Kamin, S. N. and M. Archer, “Partial Implementations of Abstract Data Types: A Dissenting View on Errors”, Proceedings of the International Symposium on Semantics of Data Types, Lecture Notes in Computer Science 173, Springer-Verlag, 1984.
-
(1984)
Proceedings of the International Symposium on Semantics of Data Types
-
-
Kamin, S.N.1
Archer, M.2
-
10
-
-
0022025285
-
-
IEEE Software, March
-
Luckham, D. and F. von Hencke, “An Overview of ANNA, a Specification Language for ADA”, IEEE Software, 2(2), March 1985.
-
(1985)
An Overview of ANNA, a Specification Language for ADA
, vol.2
, Issue.2
-
-
Luckham, D.1
Von Hencke, F.2
-
11
-
-
0019612444
-
-
IEEE Transactions on Software Engineering, September
-
Medina-Mora, R. and P. Feller, “An Incremental Programming Environment”, IEEE Transactions on Software Engineering, 7 (5), September 1981.
-
(1981)
An Incremental Programming Environment
, vol.7
, Issue.5
-
-
Medina-Mora, R.1
Feller, P.2
-
14
-
-
0022088232
-
Polylith: An Environment to Support Management of Tool Interfaces
-
ACM SIGPLAN Notices, July
-
Purtilo, J. M., “Polylith: An Environment to Support Management of Tool Interfaces”, Proceedings of the ACM SIGPLAN Symposium on language Issues in Programming Environments, ACM SIGPLAN Notices, 20 (7), July 1985.
-
(1985)
Proceedings of the ACM SIGPLAN Symposium on Language Issues in Programming Environments
, vol.20
, Issue.7
-
-
Purtilo, J.M.1
-
15
-
-
0019614259
-
-
Communications of the ACM, September
-
Teitelbaum, T. and T. Reps, “The Cornell Program Synthesizer: A Syntax-Directed Programming Environment”, Communications of the ACM, 24 (9), September 1981.
-
(1981)
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment
, vol.24
, Issue.9
-
-
Teitelbaum, T.1
Reps, T.2
|