-
1
-
-
0002804320
-
Adequate testing and objectoriented programming
-
Jan-Feb
-
Perry, D, Kaiser, G.: .Adequate Testing and objectoriented Programming., Journal of OO-Programming, Vol. 2, No. 1, Jan-Feb, 1990, pp. 13-19
-
(1990)
Journal of OO-Programming
, vol.2
, Issue.1
, pp. 13-19
-
-
Perry, D.1
Kaiser, G.2
-
2
-
-
0025511451
-
Object-oriented programming the problems of Validation
-
San Diego
-
Smith, M, Robson, D.: .Object-oriented Programming. The Problems of Validation. in Proc. of IEEE-ICSM-90, Computer Society Press, San Diego, 1990, pp. 272-281
-
(1990)
Proc. of IEEE-ICSM-90, Computer Society Press
, pp. 272-281
-
-
Smith, M.1
Robson, D.2
-
3
-
-
0031632389
-
Design Pattern recovery in Object-oriented Software
-
Ischia
-
Antoniol, G, Fiutem, R, Cristoforetti, L.: .Design Pattern recovery in Object-oriented Software. in Proc. of IEEE-IWPC-98, Computer Socity Press, Ischia, 1998, pp. 153-161
-
(1998)
Proc. of IEEE-IWPC-98, Computer Socity Press
, pp. 153-161
-
-
Antoniol, G.1
Fiutem, R.2
Cristoforetti, L.3
-
4
-
-
24844479769
-
-
Springer Verlag Berlin
-
Klsch, R, Gall, H.: Objektorientiertes Reverse Engineering, Springer Verlag, Berlin, 1995, pp. 191-206
-
(1995)
Objektorientiertes Reverse Engineering
, pp. 191-206
-
-
Klsch, R.1
Gall, H.2
-
5
-
-
0033352092
-
Recovering high-level Views of Object-oriented Applications from Static and Dynamic Information
-
Computer Society Press, Oxford
-
Richner, T, Ducasse, S.: .Recovering high-level Views of Object-oriented Applications from Static and Dynamic Information., Proc. of IEEE ICSM-99, Computer Society Press, Oxford, 1999, pp. 13-22
-
(1999)
Proc. of IEEE ICSM-99
, pp. 13-22
-
-
Richner, T.1
Ducasse, S.2
-
6
-
-
84976840336
-
Design for testability in object-oriented systems
-
Sept
-
Binder, R.: .Design for Testability in Object-oriented systems., Comm. Of ACM, Vol. 37, No. 9, Sept., 1994, pp. 87-101
-
(1994)
Comm. of ACM
, vol.37
, Issue.9
, pp. 87-101
-
-
Binder, R.1
-
7
-
-
84976701544
-
Developing an objectoriented Software Testing and Maintenance Environment
-
Oct
-
Kung, D, Gao, J, Hsia, P.: .Developing an objectoriented Software Testing and Maintenance Environment., Comm. Of ACM, Vol. 38, No. 10, Oct. 1995, pp. 75-87
-
(1995)
Comm. of ACM
, vol.38
, Issue.10
, pp. 75-87
-
-
Kung, D.1
Gao, J.2
Hsia, P.3
-
8
-
-
0024699018
-
Intelligent interactive video simulation of a code Inspection
-
July
-
Stevens, S.: "Intelligent Interactive Video Simulation of a Code Inspection", in Comm. of ACM, Vol. 32, No. 7, July 1989, p. 832
-
(1989)
Comm. of ACM
, vol.32
, Issue.7
, pp. 832
-
-
Stevens, S.1
-
9
-
-
84976688686
-
Automated testing from object models
-
Sept
-
Poston, R.: "Automated Testing from Object Models" in Comm. of ACM, Vol. 37, No. 9, Sept. 1994, pp. 48-58
-
(1994)
Comm. of ACM
, vol.37
, Issue.9
, pp. 48-58
-
-
Poston, R.1
-
10
-
-
79952391882
-
Comprehending a complex, distributed, object-oriented Software-System
-
Pittsburgh, PA
-
Sneed, H.: "Comprehending a complex, distributed, object-oriented Software-System" in Proc. of IEEEIWPC-99, Pittsburgh, PA, 1999, pp. 218-225
-
(1999)
Proc. of IEEEIWPC-99
, pp. 218-225
-
-
Sneed, H.1
-
11
-
-
0024650136
-
Formal methods for protocol testing
-
April
-
Sidhu, D, Leung, T.-K.: "Formal Methods for Protocol Testing", in IEEE Trans, on S.E., Vol. 15, No. 4, April 1989, pp. 413-426
-
(1989)
IEEE Trans, on S.E
, vol.15
, Issue.4
, pp. 413-426
-
-
Sidhu, D.1
Leung, T.-K.2
-
12
-
-
0017518741
-
Symbolic testing with the dessect symbolic Evaluation System
-
July
-
Howden, W.: "Symbolic Testing with the DESSECT Symbolic Evaluation System" in IEEE Trans. on S.E. Vol. 1, No. 4, July 1977, p. 266-278
-
(1977)
IEEE Trans. on S.E
, vol.1
, Issue.4
, pp. 266-278
-
-
Howden, W.1
-
13
-
-
0021457061
-
Program slicing
-
July
-
Weiser, M.: .Program Slicing. IEEE Trans. On SE, Vol. 10, No. 4, July, 1984, pp. 352-357
-
(1984)
IEEE Trans. on SE
, vol.10
, Issue.4
, pp. 352-357
-
-
Weiser, M.1
-
14
-
-
0027837756
-
Function recovery based on Program Slicing
-
Press, Montreal
-
Lanubile, F, Visaggio, G.: .Function recovery based on Program Slicing. , Proc. of IEEE-ICSM-93, Computer Society Press, Montreal, 1993, pp. 396-404
-
(1993)
Proc. of IEEE-ICSM-93, Computer Society
, pp. 396-404
-
-
Lanubile, F.1
Visaggio, G.2
-
15
-
-
0025510535
-
Dynamic slicing of computer programs
-
Nov
-
Korel, B, Laski, J.: .Dynamic Slicing of Computer Programs. Journal of Systems and Software, Vol. 13, No. 3, Nov. 1990, pp. 187-195
-
(1990)
Journal of Systems and Software
, vol.13
, Issue.3
, pp. 187-195
-
-
Korel, B.1
Laski, J.2
-
16
-
-
0029721793
-
Understanding function behaviors through program Slicing
-
Press Berlin
-
DeLucia, A, Fasolini, R, Munro, M.: .Understanding Function Behaviors through Program Slicing. in Proc. IEEE-IWPC-96, Computer Society Press Berlin, 1996, pp. 9-18
-
(1996)
Proc IEEE-IWPC-96, Computer Society
, pp. 9-18
-
-
DeLucia, A.1
Fasolini, R.2
Munro, M.3
-
17
-
-
84987169226
-
Reverse engineering programs via dynamic analysis
-
Press, Baltimore
-
Sneed, H, Ritsch, H.: .Reverse Engineering Programs via Dynamic Analysis. in Proc. of IEEEWCRE-93, Computer Society Press, Baltimore, 1993, pp. 192-202
-
(1993)
Proc. of IEEEWCRE-93, Computer Society
, pp. 192-202
-
-
Sneed, H.1
Ritsch, H.2
-
18
-
-
0027701020
-
Automated flow graph-based testing of object-oriented Software Modules
-
Parrish, A, Borie, R, Cordes, D.: .Automated Flow Graph-based Testing of Object-oriented Software Modules. Journal of Systems and Software, Vol. 23, No. 1, 1993, pp. 95-109
-
(1993)
Journal of Systems and Software
, vol.23
, Issue.1
, pp. 95-109
-
-
Parrish, A.1
Borie, R.2
Cordes, D.3
-
19
-
-
0028385189
-
Automated program understanding by concept Recognition
-
Kozaczynsky, W, Ning, J, Engberts, A.: .Automated Program Understanding by Concept Recognition. in Automated Software Engineering, Vol. 1, No. 1, pp. 61-78
-
Automated Software Engineering
, vol.1
, Issue.1
, pp. 61-78
-
-
Kozaczynsky, W.1
Ning, J.2
Engberts, A.3
-
20
-
-
84951202982
-
Formal concept analysis with conimp
-
Dissertation, Technische Hochschule Darmstadt
-
Burmeister, P.: .Formal Concept Analysis with ConImp. Introduction to the Basic features., Dissertation, Technische Hochschule Darmstadt, 1998
-
(1998)
Introduction to the Basic Features
-
-
Burmeister, P.1
-
21
-
-
0030121527
-
Reengineering of configurations based on mathematical Concept Analysis
-
April
-
Snelting, G.: .Reengineering of Configurations based on mathematical Concept Analysis., ACM Trans. On SE and Methodology, Vol. 5, No. 2, April 1996, pp. 146-189
-
(1996)
ACM Trans. on SE and Methodology
, vol.5
, Issue.2
, pp. 146-189
-
-
Snelting, G.1
-
22
-
-
0031372523
-
Identifying modules via concept analysis
-
Press, Bari
-
Siff, M, Reps, T.: .Identifying Modules via Concept Analysis., IEEE-ICSM-97, Computer Society Press, Bari, 1997, pp. 170-179
-
(1997)
IEEE-ICSM-97, Computer Society
, pp. 170-179
-
-
Siff, M.1
Reps, T.2
-
23
-
-
0029520887
-
Monitoring compliance of a software system with ist high-level design models
-
Press, Berlin
-
Sfika, M, Sane, A, Campbell, R.: .Monitoring Compliance of a Software system with ist high-level design models., Proc. of IEEE-ICSE-18, Computer Society Press, Berlin, pp. 387-396
-
Proc. of IEEE-ICSE-18, Computer Society
, pp. 387-396
-
-
Sfika, M.1
Sane, A.2
Campbell, R.3
-
24
-
-
0030234361
-
Methods of measuring software reuse for the Prediction of Maintenance Effort
-
Sept
-
Leach, R.: Methods of Measuring Software Reuse for the Prediction of Maintenance Effort, Journal of Software Maintenance, Vol. 8, No. 5, Sept. 1996, pp. 309-320
-
(1996)
Journal of Software Maintenance
, vol.8
, Issue.5
, pp. 309-320
-
-
Leach, R.1
|