메뉴 건너뛰기




Volumn , Issue , 1989, Pages 1-13

Foundations for the arcadia environment architecture

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; PROGRAM INTERPRETERS; SOFTWARE ENGINEERING; USER INTERFACES;

EID: 84949304567     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/64135.65004     Document Type: Conference Paper
Times cited : (60)

References (79)
  • 3
    • 0017445159 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 8
    • 0022670294 scopus 로고
    • 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 scopus 로고
    • 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
  • 14
    • 84977302794 scopus 로고
    • 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
  • 17
    • 84976695025 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 24
    • 0022863433 scopus 로고
    • 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 scopus 로고
    • 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
  • 30
    • 0018005391 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • Apple Computer, Inc., Cupertino, California, promotional edition, March
    • Inside Macintosh. Apple Computer, Inc., Cupertino, California, promotional edition, March 1985.
    • (1985) Inside Macintosh
  • 34
    • 84976841927 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 38
    • 0020777627 scopus 로고
    • 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
  • 41
    • 0019555079 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 52
    • 0017417131 scopus 로고
    • 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 scopus 로고
    • 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
  • 57
    • 85034656451 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 69
    • 0018719308 scopus 로고
    • 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
  • 71
    • 0022669289 scopus 로고
    • 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 scopus 로고
    • 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
  • 75
    • 85034621952 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.