-
2
-
-
0020848728
-
An approach to persistent programming
-
M. Atkinson, P. Bailey, K. Chisholm, P. Cockshott, and R. Morrison. An approach to persistent programming. The Computer Journal, 26(4):360-365, 1983.
-
(1983)
The Computer Journal
, vol.26
, Issue.4
, pp. 360-365
-
-
Atkinson, M.1
Bailey, P.2
Chisholm, K.3
Cockshott, P.4
Morrison, R.5
-
3
-
-
0017445159
-
An extendable approach to computer-aided software requirements engineering
-
Feb.
-
T. E. Bell, D. C. Bixler, and M. E. Dyer. An extendable approach to computer-aided software requirements engineering. IEEE Trans, on Software Engineering, SE-3(1):49-60, Feb. 1977.
-
(1977)
IEEE Trans, on Software Engineering
, vol.SE-3
, Issue.1
, pp. 49-60
-
-
Bell, T.E.1
Bixler, D.C.2
Dyer, M.E.3
-
4
-
-
0023173269
-
Database system support for software engineering
-
IEEE Computer Society Press, Monterey, California, March
-
P. A. Bernstein. Database system support for software engineering. In Proceedings of the Ninth International Conference on Software Engineering, pages 166-178, IEEE Computer Society Press, Monterey, California, March 1987.
-
(1987)
Proceedings of the Ninth International Conference on Software Engineering
, pp. 166-178
-
-
Bernstein, P.A.1
-
5
-
-
0023172256
-
On the use of formal methods in software development
-
IEEE Computer Society Press, Monterey, California, March
-
D. Bjorner. On the use of formal methods in software development. In Proceedings of the Ninth International Conference on Software Engineering, pages 17-29, IEEE Computer Society Press, Monterey, California, March 1987.
-
(1987)
Proceedings of the Ninth International Conference on Software Engineering
, pp. 17-29
-
-
Bjorner, D.1
-
6
-
-
84976783126
-
A spiral model of software development and enhancement
-
May
-
B. Boehm. A spiral model of software development and enhancement. Computer, May 1983.
-
(1983)
Computer
-
-
Boehm, B.1
-
7
-
-
85034655163
-
Applying process programming to the spiral model
-
Moretonhampstead, Devon, United Kingdom, May
-
B. Boehm and F. Belz. Applying process programming to the spiral model. In Proceedings of the Fourth International Software Process Workshop, pages 1-11, Moretonhampstead, Devon, United Kingdom, May 1988.
-
(1988)
Proceedings of the Fourth International Software Process Workshop
, pp. 1-11
-
-
Boehm, B.1
Belz, F.2
-
8
-
-
0022670294
-
Object-oriented development
-
Feb.
-
G. Booch. Object-oriented development. IEEE Trans, on Software Engineering, SE-12(2):211-221, Feb. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.2
, pp. 211-221
-
-
Booch, G.1
-
9
-
-
0021457440
-
A system for algorithm animation
-
July
-
M. H. Brown and R. Sedgewick. A system for algorithm animation. Computer Graphics, 18(3):177-186, July 1984.
-
(1984)
Computer Graphics
, vol.18
, Issue.3
, pp. 177-186
-
-
Brown, M.H.1
Sedgewick, R.2
-
13
-
-
0005415408
-
-
Technical Report CS-644, Computer Sciences Department, University of Wisconsin-Madison, May
-
M. J. Carey, D. J. DeWitt, D. Frank, G. Graefe, J. E. Richardson, E. J. Shekita, and M. Muralikrishna. The Architecture of the EXODUS Extensible DBMS: A Preliminary Report. Technical Report CS-644, Computer Sciences Department, University of Wisconsin-Madison, May 1986.
-
(1986)
The Architecture of the EXODUS Extensible DBMS: A Preliminary Report
-
-
Carey, M.J.1
DeWitt, D.J.2
Frank, D.3
Graefe, G.4
Richardson, J.E.5
Shekita, E.J.6
Muralikrishna, M.7
-
14
-
-
84977302794
-
The feel of pi
-
USENIX Association, Denver, Colorado, Jan.
-
T.A. Cargill. The feel of Pi. In Winter 1986 USENIX Technical Conference, pages 62-71, USENIX Association, Denver, Colorado, Jan. 1986.
-
(1986)
Winter 1986 USENIX Technical Conference
, pp. 62-71
-
-
Cargill, T.A.1
-
15
-
-
0022582355
-
Graphite: A meta-tool for ada environment development
-
IEEE Computer Society Press, Miami Beach, Florida, Apr.
-
L. A. Clarke, J. C. Wileden, and A. L. Wolf. Graphite: A meta-tool for Ada environment development. In Proceedings of the IEEE Computer Society Second International Conference on Ada Applications and Environments, pages 81-90, IEEE Computer Society Press, Miami Beach, Florida, Apr. 1986.
-
(1986)
Proceedings of the IEEE Computer Society Second International Conference on Ada Applications and Environments
, pp. 81-90
-
-
Clarke, L.A.1
Wileden, J.C.2
Wolf, A.L.3
-
16
-
-
84915308650
-
Keystone: A federated software environment
-
June
-
G. M. Clemm, D. Heimbigner, L. Osterweil, and L. G. Williams. Keystone: a federated software environment. In Proceedings of the Workshop on Software Engineering Environments for Programming-in-the-Large, pages 80-88, June 1985.
-
(1985)
Proceedings of the Workshop on Software Engineering Environments for Programming-in-the-Large
, pp. 80-88
-
-
Clemm, G.M.1
Heimbigner, D.2
Osterweil, L.3
Williams, L.G.4
-
17
-
-
84976695025
-
A mechanism for environment integration
-
University of Colorado, Boulder, Jan.
-
G. M. Clemm and L. J. Osterweil. A Mechanism for Environment Integration. Technical Report CU-CS-323-86, University of Colorado, Boulder, Jan. 1986.
-
(1986)
Technical Report CU-CS-323-86
-
-
Clemm, G.M.1
Osterweil, L.J.2
-
18
-
-
84909727664
-
-
USC Information Sciences Institute, Marina del Rey, California, March Informal Report
-
CLF Overview. USC Information Sciences Institute, Marina del Rey, California, March 1986. Informal Report.
-
(1986)
CLF Overview
-
-
-
19
-
-
0021570876
-
Programming environments based on structured editors: The mentor experience
-
McGraw-Hill Book Co., New York
-
V. Donzeau-Gouge, G. Huet, G. Kahn, and B. Lang. Programming environments based on structured editors: the Mentor experience. In Interactive Programming Environments, pages 128-140, McGraw-Hill Book Co., New York, 1984.
-
(1984)
Interactive Programming Environments
, pp. 128-140
-
-
Donzeau-Gouge, V.1
Huet, G.2
Kahn, G.3
Lang, B.4
-
21
-
-
0022667616
-
SARA (System ARchitects apprentice): Modeling, analysis, and simulation support for design of concurrent systems
-
Feb.
-
G. Estrin, R. S. Fenchel, R. R. Razouk, and M. K. Vernon. SARA (System ARchitects Apprentice): modeling, analysis, and simulation support for design of concurrent systems. IEEE Trans, on Software Engineering, SE-12(2):293-311, Feb. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.2
, pp. 293-311
-
-
Estrin, G.1
Fenchel, R.S.2
Razouk, R.R.3
Vernon, M.K.4
-
22
-
-
0018456754
-
Make - A program for maintaining computer programs
-
Apr.
-
S. I. Feldman. Make-a program for maintaining computer programs. Software-Practice & Experience, 9(4):255-265, Apr. 1979.
-
(1979)
Software-Practice & Experience
, vol.9
, Issue.4
, pp. 255-265
-
-
Feldman, S.I.1
-
23
-
-
2342501273
-
-
Technical Report, Kestrel Institute, June
-
C. Green, D. Luckham, R. Balzer, T. Cheatham, and C. Rich. Report on a Knowledge-Based Software Assistant. Technical Report, Kestrel Institute, June 1983.
-
(1983)
Report on a Knowledge-Based Software Assistant
-
-
Green, C.1
Luckham, D.2
Balzer, R.3
Cheatham, T.4
Rich, C.5
-
24
-
-
0022863433
-
Gandalf: Software development environments
-
Dec.
-
A. N. Habermann and D. Notkin. Gandalf: software development environments. IEEE Trans, on Software Engineering, SE-12(12):1117-1127, Dec. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.12
, pp. 1117-1127
-
-
Habermann, A.N.1
Notkin, D.2
-
25
-
-
0012023992
-
System composition and version control for ada
-
H. Huenke, editor North-Holland
-
A. N. Habermann and D. E. Perry. System composition and version control for ada. In H. Huenke, editor, Software Engineering Environments, pages 331-343, North-Holland, 1981.
-
(1981)
Software Engineering Environments
, pp. 331-343
-
-
Habermann, A.N.1
Perry, D.E.2
-
27
-
-
84909796150
-
-
Technical Report CU-CS-374-87, University of Colorado, Department of Computer Science, Boulder, Colorado
-
D. Heimbigner, L. Osterweil, and S. Sutton. APPL/A: A Language for Managing Relations Among Software Objects and Processes. Technical Report CU-CS-374-87, University of Colorado, Department of Computer Science, Boulder, Colorado, 1987.
-
(1987)
APPL/A: A Language for Managing Relations Among Software Objects and Processes
-
-
Heimbigner, D.1
Osterweil, L.2
Sutton, S.3
-
30
-
-
0018005391
-
Communicating sequential processes
-
C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
-
(1978)
Communications of the ACM
, vol.21
, Issue.8
, pp. 666-677
-
-
Hoare, C.A.R.1
-
31
-
-
0024034474
-
The cactis project: Database support for software environments
-
June (to appear)
-
S. Hudson and R. King. The Cactis project: database support for software environments. IEEE Trans, on Software Engineering, June 1988. (to appear).
-
(1988)
IEEE Trans, on Software Engineering
-
-
Hudson, S.1
King, R.2
-
32
-
-
0010123121
-
-
Apple Computer, Inc., Cupertino, California, promotional edition, March
-
Inside Macintosh. Apple Computer, Inc., Cupertino, California, promotional edition, March 1985.
-
(1985)
Inside Macintosh
-
-
-
34
-
-
84976841927
-
Computer-aided software engineering in a distributed workstation environment
-
May (Proceedings of the First ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments)
-
D. B. Leblang and J. Robert P. Chase. Computer-aided software engineering in a distributed workstation environment. SIGPLAN Notices, 19(5):104-112, May 1984. (Proceedings of the First ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments).
-
(1984)
SIGPLAN Notices
, vol.19
, Issue.5
, pp. 104-112
-
-
Leblang, D.B.1
Robert, J.2
Chase, P.3
-
35
-
-
84976650749
-
Guardians and actions: Linguistic support for robust, distributed programs
-
July
-
B. Liskov and R. Scheifler. Guardians and actions: linguistic support for robust, distributed programs. ACM Transactions on Programming Languages and Systems, 5(3):381-404, July 1983.
-
(1983)
ACM Transactions on Programming Languages and Systems
, vol.5
, Issue.3
, pp. 381-404
-
-
Liskov, B.1
Scheifler, R.2
-
36
-
-
85034648553
-
X toolkit intrinsics-C language X interface
-
Western Software Laboratory, Digital Equipment Corporation, Feb.
-
J. McCormack. X Toolkit Intrinsics-C Language X Interface. Technical Report Review Version 2.1, Western Software Laboratory, Digital Equipment Corporation, Feb. 1988.
-
(1988)
Technical Report Review Version 2.1
-
-
McCormack, J.1
-
37
-
-
84976675989
-
-
COINS, University of Massachusetts, Amherst, MA, Apr.
-
J. Moss and S. Sinofsky. Managing Persistent Data with Mneme: Issues and Applications of a Reliable, Shared Object Interface. Technical Report 88-30, COINS, University of Massachusetts, Amherst, MA, Apr. 1988.
-
(1988)
Managing Persistent Data With Mneme: Issues and Applications of a Reliable, Shared Object Interface
-
-
Moss, J.1
Sinofsky, S.2
-
38
-
-
0020777627
-
Incense: A system for displaying data structures
-
July
-
B. A. Myers. Incense: A system for displaying data structures. Computer Graphics, 17(3):115-125, July 1983.
-
(1983)
Computer Graphics
, vol.17
, Issue.3
, pp. 115-125
-
-
Myers, B.A.1
-
39
-
-
85034635296
-
-
Computer Corporation of America, Cambridge, Massachusetts, May
-
J. A. Orenstein, S. K. Sarin, and U. Dayal. Managing Persistent Objects in Ada. Technical Report CCA-86-03, Computer Corporation of America, Cambridge, Massachusetts, May 1986.
-
(1986)
Managing Persistent Objects in Ada. Technical Report CCA-86-03
-
-
Orenstein, J.A.1
Sarin, S.K.2
Dayal, U.3
-
41
-
-
0019555079
-
Software environment research: Directions for the next five years
-
L. J. Osterweil. Software environment research: Directions for the next five years. Computer, 14(4):35-43, 1981.
-
(1981)
Computer
, vol.14
, Issue.4
, pp. 35-43
-
-
Osterweil, L.J.1
-
43
-
-
84946967934
-
A rational design process: How and why to fake it
-
Feb.
-
D. L. Parnas and P. C. Clements. A rational design process: how and why to fake it. IEEE Trans. on Software Engineering, SE-12(2):251-257, Feb. 1986.
-
(1986)
IEEE Trans. on Software Engineering
, vol.SE-12
, Issue.2
, pp. 251-257
-
-
Parnas, D.L.1
Clements, P.C.2
-
48
-
-
85034636959
-
-
IEEE Computer Society Press, Egham, Surrey, United Kingdom, Feb.
-
C. Potts, editor. Proceedings of Software Process Workshop, IEEE Computer Society Press, Egham, Surrey, United Kingdom, Feb. 1984.
-
(1984)
Proceedings of Software Process Workshop
-
-
Potts, C.1
-
49
-
-
0021897836
-
A programming process architecture
-
A. C. O. Jr.
-
R. A. Radice, N. K. Roth, A. C. O. Jr., and W. A. Ciarfella. A programming process architecture. IBM Systems Journal, 24(2):79-90, 1985.
-
(1985)
IBM Systems Journal
, vol.24
, Issue.2
, pp. 79-90
-
-
Radice, R.A.1
Roth, N.K.2
Ciarfella, W.A.3
-
50
-
-
0021387608
-
PECAN: Program development systems that support multiple views
-
S. P. Reiss. PECAN: program development systems that support multiple views. IEEE Trans, on Software Engineering, SE-11(3):276-285, 1985.
-
(1985)
IEEE Trans, on Software Engineering
, vol.SE-11
, Issue.3
, pp. 276-285
-
-
Reiss, S.P.1
-
51
-
-
85031941443
-
-
COINS, University of Massachusetts, Amherst, MA, Aug.
-
W. Rosenblatt, J. Wileden, and A. Wolf. Preliminary Report on the OROS Type Model Technical Report 88-70, COINS, University of Massachusetts, Amherst, MA, Aug. 1988.
-
(1988)
Preliminary Report on the OROS Type Model Technical Report 88-70
-
-
Rosenblatt, W.1
Wileden, J.2
Wolf, A.3
-
52
-
-
0017417131
-
Structured analysis for requirements definition
-
K. E. S. Jr. Feb.
-
D. T. Ross and K. E. S. Jr. Structured analysis for requirements definition. IEEE Trans, on Software Engineering, SE-3(1):6-15, Feb. 1977.
-
(1977)
IEEE Trans, on Software Engineering
, vol.SE-3
, Issue.1
, pp. 6-15
-
-
Ross, D.T.1
-
54
-
-
0002514396
-
Managing the development of large software systems
-
IEEE, Aug. Also reprinted in Proceedings 9th International Conference on Software Engineering, pp. 328-338
-
W. W. Royce. Managing the development of large software systems. In Proceedings, IEEE WESCON, pages 1-9, IEEE, Aug. 1970. Also reprinted in Proceedings 9th International Conference on Software Engineering, pp. 328-338.
-
(1970)
Proceedings, IEEE WESCON
, pp. 1-9
-
-
Royce, W.W.1
-
55
-
-
0022281039
-
The ITC distributed file system: Principles and design
-
M. Satyanarayanan, J. H. Howard, D. A. Nichols, R. N. Sidebotham, A. Z. Spector, and M. J. West. The ITC distributed file system: principles and design. Operating Systems Review, 19(5):35-50, 1985.
-
(1985)
Operating Systems Review
, vol.19
, Issue.5
, pp. 35-50
-
-
Satyanarayanan, M.1
Howard, J.H.2
Nichols, D.A.3
Sidebotham, R.N.4
Spector, A.Z.5
West, M.J.6
-
56
-
-
0022955424
-
An object server for an object-oriented database system
-
IEEE Computer Society Press, Sep.
-
A. H. Skarra, S. B. Zdonik, and S. P. Reiss. An object server for an object-oriented database system. In Proceedings of the Object-Oriented Database Systems Workshop, pages 196-204, IEEE Computer Society Press, Sep. 1986.
-
(1986)
Proceedings of the Object-Oriented Database Systems Workshop
, pp. 196-204
-
-
Skarra, A.H.1
Zdonik, S.B.2
Reiss, S.P.3
-
57
-
-
85034656451
-
-
Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania, Jan.
-
A. Z. Spector. Distributed Transaction Processing in the Camelot System. Technical Report CMU-CS-87-100, Computer Science Department, Carnegie-Mellon University, Pittsburgh, Pennsylvania, Jan. 1987.
-
(1987)
Distributed Transaction Processing in the Camelot System
-
-
Spector, A.Z.1
-
59
-
-
84976844409
-
Arcturus: A prototype advanced ada programming environment
-
May (Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments)
-
T. A. Standish and R. N. Taylor. Arcturus: A prototype advanced Ada programming environment. Software Engineering Notes, 9(3):57-64, May 1984. (Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments).
-
(1984)
Software Engineering Notes
, vol.9
, Issue.3
, pp. 57-64
-
-
Standish, T.A.1
Taylor, R.N.2
-
60
-
-
0022870650
-
Object-oriented programming: Themes and variations
-
Winter
-
M. Stefik and D. Bobrow. Object-oriented programming: Themes and variations. AI Magazine, 6(4):40-62, Winter 1986.
-
(1986)
AI Magazine
, vol.6
, Issue.4
, pp. 40-62
-
-
Stefik, M.1
Bobrow, D.2
-
61
-
-
0022435634
-
Integrating access-oriented programming into a multiparadigm environment
-
Jan.
-
M. J. Stefik, D. G. Bobrow, and K. M. Kahn. Integrating access-oriented programming into a multiparadigm environment. IEEE Software, 3(1):10-18, Jan. 1986.
-
(1986)
IEEE Software
, vol.3
, Issue.1
, pp. 10-18
-
-
Stefik, M.J.1
Bobrow, D.G.2
Kahn, K.M.3
-
63
-
-
84909887662
-
-
Sun Microsystems, Inc., Mountain View, California, Feb.
-
SunView Programmer's Guide. Sun Microsystems, Inc., Mountain View, California, Feb. 1986.
-
(1986)
SunView Programmer's Guide
-
-
-
64
-
-
0019614259
-
The cornell pprogram synthesizer: A syntax directed programming environment
-
Sep.
-
T. Teitelbaum and T. Reps. The Cornell Pprogram Synthesizer: A syntax directed programming environment. Communications of the ACM, 24(9):563-573, Sep. 1981.
-
(1981)
Communications of the ACM
, vol.24
, Issue.9
, pp. 563-573
-
-
Teitelbaum, T.1
Reps, T.2
-
66
-
-
0019558325
-
The interlisp programming environment
-
Apr.
-
W. Teitelman and L. Masinter. The Interlisp programming environment. Computer, 14(4):25-33, Apr. 1981.
-
(1981)
Computer
, vol.14
, Issue.4
, pp. 25-33
-
-
Teitelman, W.1
Masinter, L.2
-
68
-
-
85036459874
-
Design, implementation, and evaluation of a revision control system
-
Tokyo, Japan, Sep.
-
W. F. Tichy. Design, implementation, and evaluation of a revision control system. In Proceedings of the Sixth International Conference on Software Engineering, pages 58-67, Tokyo, Japan, Sep. 1982.
-
(1982)
Proceedings of the Sixth International Conference on Software Engineering
, pp. 58-67
-
-
Tichy, W.F.1
-
69
-
-
0018719308
-
Software development control based on module interconnection
-
IEEE Computer Society Press, Munich, West Germany; Sep.
-
W. F. Tichy. Software development control based on module interconnection. In Proceedings of the Fourth International Conference on Software Engineering, pages 29-41, IEEE Computer Society Press, Munich, West Germany; Sep. 1979.
-
(1979)
Proceedings of the Fourth International Conference on Software Engineering
, pp. 29-41
-
-
Tichy, W.F.1
-
70
-
-
0021100079
-
The LOCUS distributed operating system
-
B. Walker, G. Popek, R. English, C. Kline, and G. Thiel. The LOCUS distributed operating system. Operating Systems Review, 17(5):49-70, 1983.
-
(1983)
Operating Systems Review
, vol.17
, Issue.5
, pp. 49-70
-
-
Walker, B.1
Popek, G.2
English, R.3
Kline, C.4
Thiel, G.5
-
71
-
-
0022669289
-
The transformation schema: An extension of the data flow diagram to represent control and timing
-
Feb.
-
P. T. Ward. The transformation schema: an extension of the data flow diagram to represent control and timing. IEEE Trans, on Software Engineering, SE-12(2):198-210, Feb. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.2
, pp. 198-210
-
-
Ward, P.T.1
-
72
-
-
0022582655
-
Developing interactive information systems with the user software engineering methodology
-
Feb.
-
A. I. Wasserman, P. A. Pircher, D. T. Shewmake, and M. L. Kersten. Developing interactive information systems with the user software engineering methodology. IEEE Trans, on Software Engineering, SE-12(2):326-345, Feb. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.2
, pp. 326-345
-
-
Wasserman, A.I.1
Pircher, P.A.2
Shewmake, D.T.3
Kersten, M.L.4
-
74
-
-
85034623384
-
-
Coto de Caza, Trabuco Canyon, California, March
-
J. C. Wileden and M. Dowson, editors. Proceedings of the International Workshop on the Software Process and Software Environments, ACM SIGSOFT, Coto de Caza, Trabuco Canyon, California, March 1985.
-
(1985)
Proceedings of the International Workshop on the Software Process and Software Environments, ACM SIGSOFT
-
-
Wileden, J.C.1
Dowson, M.2
-
75
-
-
85034621952
-
-
Appeared in Aug.
-
(Appeared in ACM Software Engineering Notes, Vol. 11, No. 4, Aug. 1986).
-
(1986)
ACM Software Engineering Notes
, vol.11
, Issue.4
-
-
-
76
-
-
84976733647
-
The AdaPIC toolset: Supporting interface control and analysis throughout the software development process
-
(To appear)
-
A. Wolf, L. Clarke, and J. Wileden. The AdaPIC toolset: supporting interface control and analysis throughout the software development process. IEEE Transactions on Software Engineering, 1988. (To appear).
-
(1988)
IEEE Transactions on Software Engineering
-
-
Wolf, A.1
Clarke, L.2
Wileden, J.3
-
78
-
-
0022671252
-
Salient features of an executable specification language and its environment
-
Feb.
-
P. Zave and W. Schell. Salient features of an executable specification language and its environment. IEEE Trans, on Software Engineering, SE-12(2):312-325, Feb. 1986.
-
(1986)
IEEE Trans, on Software Engineering
, vol.SE-12
, Issue.2
, pp. 312-325
-
-
Zave, P.1
Schell, W.2
|