Goal-driven combination of software comprehension approaches for component based development

This paper reports on our approaches to combine various software comprehension techniques (and technologies) in order to establish confidence whether a given reusable component satisfies the needs of the intended reuse situation. Some parts of the problem we are addressing result from differences in knowledge representation about a component depending on whether this component is a well documented in-house development, some externally built componentry, or a COTS-component.

[1]  Debra J. Richardson,et al.  Static and Dynamic Speci cation Slicing , 1994 .

[2]  Roland Mittermeir.  Comprehending by varying Focal Distance , 2000, IWPC.

[3]  John Domingue,et al.  Software visualization : programming as a multimedia experience , 1998 .

[4]  Hausi A. Müller,et al.  Rigi User’s Manual , 1998 .

[5]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[6]  Hausi A. Müller,et al.  Understanding Software Systems Using Reverse Engineering Technology , 1994, COODBSE.

[7]  Hans Albrecht Schmid,et al.  Software Reuse through Building Blocks , 1987, IEEE Software.

[8]  A. Jefferson Offutt,et al.  The dynamic domain reduction procedure for test data generation , 1999, Softw. Pract. Exp..

[9]  Hausi A. Müller,et al.  Documenting software systems with views , 1992, SIGDOC '92.

[10]  Will Tracz,et al.  Software Reuse: Motivators and Inhibitors , 1988, COMPCON.

[11]  Roland Mittermeir,et al.  Generating objects from C code-features of the CORET tool-set , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[12]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[13]  E. Mark Gold,et al.  Complexity of Automaton Identification from Given Data , 1978, Inf. Control..

[14]  David Garlan,et al.  Melding Software Systems from Reusable Building Blocks , 1987, IEEE Software.

[15]  Daniel Jackson,et al.  Structuring Z specifications with views , 1995, TSEM.

[16]  Jr. Allen B. Tucker,et al.  The Computer Science and Engineering Handbook , 1997 .

[17]  A. Jefferson Offutt,et al.  The dynamic domain reduction procedure for test data generation , 1999, Softw. Pract. Exp..

[18]  Ilene Burnstein,et al.  Knowledge Engineering for Automated Program Recognition and Fault Localization , 1996, SEKE.

[19]  Harald C. Gall,et al.  Visualizing software release histories: the use of color and third dimension , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).

[20]  Hausi A. Müller,et al.  Understanding software systems using reverse engineering technology perspectives from the Rigi project , 1993, CASCON.

[21]  Gary T. Leavens,et al.  Specification Facets for More Precise, Focused Documentation , 1997 .

[22]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[23]  Dominik Rauner-Reithmayer,et al.  Abstractions to support Reverse Engineering , 1998 .

[24]  Hausi A. Müller,et al.  A reverse engineering environment based on spatial and visual software interconnection models , 1992 .

[25]  Hausi A. Müller,et al.  How do program understanding tools affect how programmers understand programs? , 1997, Proceedings of the Fourth Working Conference on Reverse Engineering.

[26]  Dana Angluin,et al.  Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..