SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Software: Practice and Experience

Volumn 21, Issue 5, 1991, Pages 519-537

Reverse engineering: Algorithms for program graph production

(2) Cimitile, Aniello a de Carlini, Ugo a

a UNIVERSITY OF NAPLES FEDERICO II (Italy)

Author keywords

Program graph models; Program models; Reverse engineering; Software engineering; Software maintenance

Indexed keywords

EID: 84987227133 PISSN: 00380644 EISSN: 1097024X Source Type: Journal
DOI: 10.1002/spe.4380210507 Document Type: Article

Times cited : (12)

References (35)

1
- 0020824165
- A survey of software engineering practice: tools, methods and results
- (1983) IEEE Trans. Software Eng. , vol.9 SE , Issue.9 , pp. 541-561
- Beck, L.L.¹ Perkins, T.E.²

2
- 84987211597
- Special issue on CASE
- (1988) IEEE Software , vol.5 , Issue.3

3
- 0024056649
- An integrated life‐cycle model for software maintenance
- (1988) IEEE Trans. Software Eng. , vol.14 SE , Issue.8 , pp. 1128-1144
- Yau, S.S.¹ Nicholl, R.A.² Tsai, J.J.P.³ Liu, S.S.⁴

4
- 0019634513
- A model for representing programs using hierachical graphs
- (1981) IEEE Trans. Software Eng. , vol.7 SE , Issue.11 , pp. 556-574
- Yau, S.S.¹ Gabrow, P.C.²

5
- 0003657590
- Addison‐Wesley, Reading, Massachusetts
- (1968) The Art of Computer Programming , vol.1
- Knuth, D.E.¹

6
- 0010722692
- Wiley, New York
- (1971) Compiler Construction for Digital Computers
- Gries, D.¹

7
- 0003791899
- Prentice‐Hall, Englewood Cliffs, New Jersey
- (1973) The Theory of Parsing, Translation and Compiling
- Aho, A.V.¹ Ullman, J.D.²

8
- 0022753903
- Programming in the large
- (1986) IEEE Trans. Software Eng. , vol.12 SE , Issue.7 , pp. 769-783
- Ramamoorty, C.V.¹ Garg, V.² Prakash, A.³

9
- 0023842518
- A standard representation of imperative language programs for data collection and software measures specification
- (1988) The Journal of Systems and Software , vol.8 , pp. 13-37
- Bieman, J.M.¹ Baker, A.L.² Clites, P.N.³ Gustafson, D.A.⁴ Melton, A.C.⁵

10
- 0004090555
- Elsevier, New York
- (1977) Elements of Software Science
- Halstead, M.H.¹

11
- 0017291489
- A complexity measure
- (1976) IEEE Trans. Software Eng. , vol.2 SE , Issue.12 , pp. 308-320
- McCabe, T.J.¹

12
- 0019613747
- Software structure metrics based on information flow
- (1981) IEEE Trans. Software Eng. , vol.7 SE , Issue.5 , pp. 510-518
- Henry, S.¹ Kafura, D.²

13
- 0016331673
- Analysis of structured programs
- (1974) Journal of Computer and System Sciences , vol.9 , pp. 232-255
- Kozaraju, S.R.¹

14
- 46149131036
- A new methodological proposal for program mainten‐ance
- (1986) Microprocessing and Microprogramming, The Euromicro Journal , vol.18 , Issue.1-5 , pp. 319-332
- Cantone, G.¹ Cimitile, A.² Maresca, P.³

15
- 84987173191
- SME: a structured maintenance environment
- Cagliari
- (1988) Proc. of Italian National Congress AICA88 , vol.1 , pp. 377-386
- Cimitile, A.¹ De Carlini, U.² Maresca, P.³

16
- 84987211588
- Education in software testing: an algebraic approach, Proc. 2nd Meeting on Community of Mediterranean Universities on Education and Application of Computer Technology, Malta, Laterza, Bari, Italy
- (1988) , pp. 375-390
- Cimitile, A.¹ De Carlini, U.² Maresca, P.³

17
- 0023401943
- Testability and path testing strategies
- (1987) Microprocessing and Microprogramming, The Euromicro Journal , vol.21 , Issue.1-5 , pp. 371-382
- Cantone, G.¹ Cimitile, A.² De Carlini, U.³

18
- 0023596873
- Maintenance and reverse engineering: low‐level design documents production and improvement, Proc. Conf. on Software Maintenance CSM87, Austin, IEEE Comp. Soc. Press, pp.
- (1987) , pp. 91-100
- Antonini, P.¹ Benedusi, P.² Cantone, G.³ Cimitile, A.⁴

19
- 0024938328
- A reverse engineering methodology to reconstruct hierarchical data flow diagrams for software maintenance, Proc. Conf. on Software Maintenance CSM89, Miami, IEEE Comp. Soc. Press, pp.
- (1989) , pp. 180-189
- Benedusi, P.¹ Cimitile, A.² De Carlini, U.³

20
- 84987245725
- Post‐maintenance testing based on path changes analysis, Proc. Conf. on Software Maintenance CSM88, Phoenix, IEEE Comp Soc Press
- (1938) , pp. 352-361
- Benedusi, P.¹ Cimitile, A.² De Carlini, U.³

21
- 0020126770
- Understanding and documentmg programs
- (1982) IEEE Trans. Software Eng. , vol.8 SE , Issue.5 , pp. 270-283
- Basili, V.R.¹ Mills, H.D.²

22
- 0004097670
- Van Nostrand Reinhold, New York
- (1983) Software Testing Techniques
- Beizer, B.¹

23
- 0022767086
- Axiomatic approach to software metrication through program decomposition
- (1986) The Computer Journal , vol.29 , Issue.8 , pp. 330-339
- Fenton, N.E.¹ Whitty, R.W.²

24
- 0023384239
- Metrics and software structure
- (1987) Information and Software Technology , vol.29 , Issue.4 , pp. 301-320
- Fenton, N.E.¹ Kaposi, A.A.²

25
- 84976832066
- Complexity in program schemes: the characteristic polynomial
- (1983) ACM SIGPLAN Notices , vol.18 , Issue.3 , pp. 22-31
- Cantone, G.¹ Cimitile, A.² Sansone, L.³

26
- 77952415132
- Introduction to software testing technology
- IEEE Comp. Soc. Press, New York
- (1981) Tutorial: Software Testing and Validation Techniques
- Miller, E.¹

27
- 0020154272
- Computer program schemata and the process they generate
- (1982) IEEE Trans Software Eng. , vol.8 SE , Issue.7 , pp. 412-419
- Wesselkamper, T.G.¹

28
- 0020824682
- Space efficient implementation of graph search methods
- (1983) ACM Trans. Math. Soft , vol.9 , pp. 326-339
- Tarjan, R.E.¹

29
- 0022789899
- A functional approach to program testing and analysis
- (1986) IEEE Trans. Software Eng. , vol.12 SE , Issue.10 , pp. 997-1005
- Howden, W.E.¹

30
- 0022297613
- The causes and effects of infeasible paths in computer programs
- IEEE Comp. Soc. Press
- (1985) Proc. 8th Int. Conf. on Software Eng. , pp. 259-265
- Hedley, D.¹ Hennell, M.A.²

31
- 0022914039
- Axiomatizing software test data adequacy
- (1986) IEEE Trans. Software Eng. , vol.12 SE , Issue.12 , pp. 1128-1138
- Weyuker, E.J.¹

32
- 84987229673
- Algebre modern et théorie des graphes, Première tome, Dunod Editeur, Paris, France
- (1969)
- Roy, B.¹

33
- 0016506990
- Methodology for the generation of program test data
- (1975) IEEE Trans. Computers , vol.100-124 , Issue.5 , pp. 554-559
- Howden, W.E.¹

34
- 0024085016
- A note on the use of Z to specify flowgraph decomposition
- (1988) Information and Software Technology , vol.30 , Issue.9 , pp. 432-437
- Fenton, N.E.¹ Mole, P.D.A.²

35
- 84976726873
- Regular expressions in a program complexity metric
- (1981) ACM SIGPLAN Notices , vol.17 , Issue.7
- Magel, K.¹

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