SCOPUS 정보 검색 플랫폼

IEEE Transactions on Software Engineering

Volumn 27, Issue 4, 2001, Pages 364-380

Software reflexion models: Bridging the gap between design and implementation

(3) Murphy, Gail C a,b Notkin, David a,c Sullivan, Kevin J a,d

a IEEE

b UNIVERSITY OF BRITISH COLUMBIA (Canada)

c University of Washington (United States)

d University of Virginia (United States)

Author keywords

Model differencing; Program representation; Program understanding; Reverse engineering; Software structure

Indexed keywords

SOFTWARE REFLEXION MODELS;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; PROGRAM DIAGNOSTICS; REVERSE ENGINEERING; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE;

EID: 0035308156 PISSN: 00985589 EISSN: None Source Type: Journal
DOI: 10.1109/32.917525 Document Type: Article

Times cited : (301)

References (39)

1
- 0018455568
- Awk - A pattern scanning and processing language
- (1979) Software - Practice and Experience , vol.9 , Issue.4 , pp. 267-280
- Aho, A.V.¹ Kernighan, B.W.² Weinberger, P.J.³

2
- 0000326613
- Common lisp object system specification
- also appears as X3J13 Document 88-002R
- (1989) Lisp and Symbolic Computation , vol.1 , Issue.3-4 , pp. 245-394
- Bobrow, D.G.¹ Demichiel, L.G.² Gabriel, R.P.³ Keene, S.E.⁴ Kiczales, G.⁵

3
- 0025532709
- A program transformation approach to automating software re-engineering
- Nov.
- (1990) Proc. 14th Ann. Int'l Computer Software and Applications Conf. , pp. 314-322
- Burson, S.¹ Kotik, G.B.² Markosian, L.Z.³

4
- 0003434834
- Benjamin, Cummings
- (1991) Object-Oriented Design with Applications
- Booch, G.¹

5
- 80054992065
- Extensibility, safety and performance in the spin operating system
- (1995) Operating Systems Review , vol.29 , Issue.5 , pp. 267-284
- Bershad, B.¹ Savage, S.² Pardyak, P.³ Sirer, E.G.⁴ Fiuczynski, M.E.⁵ Becker, D.⁶ Chambers, C.⁷ Eggers, S.⁸

6
- 0025245266
- Reverse engineering and design recovery: A taxonomy
- Jan.
- (1990) IEEE Software , vol.7 , Issue.1 , pp. 13-17
- Chikofsky, E.J.¹ Cross II, J.H.²

7
- 0024868112
- The modula-3 type system
- (1989) Proc. Conf. Record 16th Ann. ACM Symp. Principles of Programming Languages , pp. 202-212
- Cardelli, L.¹ Donahue, J.² Jordan, M.³ Kalsow, B.⁴ Nelson, G.⁵

8
- 85094144048
- Astlog: A language for examining abstract syntax trees
- Oct.
- (1997) Proc. USENIX Conf. Domain-Specific Languages
- Crew, R.F.¹

9
- 0002186214
- LaSSIE: A knowledge-based software information system
- May
- (1991) Comm. ACM , vol.34 , Issue.5 , pp. 34-49
- Devanbu, P.¹ Brachman, R.J.² Selfridge, P.G.³ Ballard, B.W.⁴

10
- 0029288894
- Architectural trade-offs for a meaning-preserving program restructuring tool
- Apr.
- (1995) IEEE Trans. Software Eng. , vol.21 , Issue.4 , pp. 275-287
- Griswold, W.G.¹ Notkin, D.²

11
- 0003685762
- United States Government Printing Office, MIL STD 1815A
- (1983) Reference Manual for the Ada Programming Language

12
- 0028449063
- QDA - A method for systematic informal program analysis
- June
- (1994) IEEE Trans. Software Eng. , vol.20 , Issue.6 , pp. 445-462
- Howden, W.E.¹ Wieand, B.²

13
- 0029280675
- Aspect: Detecting bugs with abstract dependences
- (1995) ACM Trans. Software Eng. and Methodology , vol.4 , Issue.2 , pp. 109-145
- Jackson, D.¹

14
- 85018098984
- Semantic diff: A tool for summarizing the effects of modifications
- Sept.
- (1994) Proc. Int'l Conf. Software Maintenance
- Jackson, D.¹ Ladd, D.A.²

15
- 0003405432
- Prentice Hall
- (1978) The C Programming Language
- Kernighan, B.¹ Ritchie, D.²

16
- 0005033092
- A unified framework for expressing software subsystem classification techniques
- (1996) J. Systems and Software
- Lakhotia, A.¹

17
- 0004198444
- Prentice Hall
- (1992) Eiffel: The Language
- Meyer, B.¹

18
- 0023845042
- A system for programming-in-the-large
- Apr.
- (1988) Proc. 10th Int'l Conf. Software Eng. , pp. 80-86
- Müller, H.A.¹ Klashinsky, K.²

19
- 0030197388
- Lightweight lexical source model extraction
- July
- (1996) ACM Trans. Software Eng. and Methodology , vol.5 , Issue.3 , pp. 262-292
- Murphy, G.C.¹ Notkin, D.²

20
- 0031198432
- Reengineering with reflexion models: A case study
- Aug.
- (1997) Computer , vol.30 , Issue.8 , pp. 29-36
- Murphy, G.C.¹ Notkin, D.²

21
- 0032035858
- An empirical study of static call graph extractors
- (1998) ACM Trans. Software Eng. and Methodology , vol.7 , Issue.2 , pp. 158-191
- Murphy, G.C.¹ Notkin, D.² Griswold, W.G.³ Lan, E.S.-C.⁴

22
- 0003609936
- PhD thesis, Univ. of Washington, July
- (1996) Lightweight Structural Summarization as an Aid to Software Evolutionm
- Murphy, G.C.¹

23
- 0005039186
- Reverse engineering: Resolving conflicts between expected and actual software designs
- Nov.
- (1992) Proc. IEEE Conf. Software Maintenance , pp. 32-40
- Ornburn, S.B.¹ Rugaber, S.²

24
- 0005075011
- PhD thesis, Stanford Univ., Dec.
- (1984) A New Program Structuring Mechanism Based on Layered Graphs
- Ossher, H.L.¹

25
- 0003885069
- Addison-Wesley
- (1994) TCL and the TK Toolkit
- Ousterhout, J.¹

26
- 0004296914
- PhD thesis, Univ. of Toronto, Toronto, Canada
- (1993) The Software Landscape: A Visual Formalism for Programming-in-the-Large
- Penny, D.A.¹

27
- 0002831848
- A memory-based approach to recognizing programming plans
- (1994) Comm. ACM , vol.37 , Issue.5 , pp. 84-93
- Quilici, A.¹

28
- 0025452123
- Connecting tools using message passing in the field program development environment
- (1990) IEEE Software , vol.7 , Issue.4 , pp. 57-66
- Reiss, S.P.¹

29
- 0003584514
- Kluwer Academic
- (1995) The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
- Reiss, S.P.¹

30
- 0003782567
- Reading, Mass.: Addison-Wesley
- (1990) The Programmer's Apprentice
- Rich, C.¹ Waters, R.²

31
- 0021204378
- Reflection and semantics in LISP
- Dec.
- (1984) Proc. ACM Principles of Programming Languages Conf. , pp. 23-35
- Smith, B.C.¹

32
- 0004268551
- Prentice Hall
- (1992) The Z Notation, second ed.
- Spivey, J.M.¹

33
- 0029520887
- Monitoring compliance of a software system with its high-level design models
- (1996) Proc. 18th Int'l Conf. Software Eng. , pp. 387-396
- Sefika, M.¹ Sane, A.² Campbell, R.H.³

34
- 0004027344
- Addison-Wesley
- (1986) C++ Programming Language
- Stroustrup, B.¹

35
- 0003644866
- PhD thesis, Univ. of Washington, Seattle, WA, Aug.
- (1994) Mediators: Easing the Design and Evolution of Integrated Software Systems
- Sullivan, K.J.¹

36
- 0004207406
- O'Reilly & Associates
- (1990) Programming Perl
- Wall, L.¹

37
- 0029209659
- Structural redocumentation: A case study
- Jan.
- (1995) IEEE Software , vol.12 , Issue.1 , pp. 46-54
- Wong, K.¹ Tilley, S.R.² Müller, H.A.³ Storey, M.D.⁴

38
- 0030615499
- Manipulating recovered software architecture views
- (1997) Proc. Int'l Conf. Software Eng. , pp. 184-194
- Yeh, A.S.¹ Harris, D.R.² Chase, M.P.³

39
- 0003673547
- Beverly Hills, Calif.: Sage Publications
- (1984) Case Study Research
- Yin, R.K.¹

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