Basili victor (32 Ergebnisse)
Verlag: IEEE 1981
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 13,85
EUR 3,88 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. 150 pp., spiral bound softcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Sprache: Englisch
Verlag: Cham, Springer International Publishing. 2014
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , DeutschlandUniversitätsbuchhandlung Herta Hold GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 13,00
EUR 30,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Aufl. 2014. XXVI, 205 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped. The Fraunhofer IESE Series on Software and System…s Engineering. Sprache: Englisch.
- Softcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 44,47
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 46,91
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 54,14
EUR 7,52 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 216 Illus.
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 53,71
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Used. pp. 216.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,55
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,55
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Aligning Organizations Through Measurement: The GQM+Strategies Approach (The Fraunhofer IESE Series on Software and Systems Engineering)
Basili, Victor; Trendowicz, Adam; Kowalczyk, Martin; Heidrich, Jens; Seaman, Carolyn; Münch, Jürgen; Rombach, Dieter
Sprache: Englisch
Verlag: Springer 2014
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,55
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 1995
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 73,02
EUR 7,52 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 140 Figures, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Sprache: Englisch
Verlag: Springer 1995
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes KönigreichBetter World Books Ltd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 79,34
EUR 5,79 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Very Good. 1995th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,63
EUR 11,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 192 pages. 9.00x6.00x0.50 inches. In Stock.
Aligning Organizations Through Measurement: The GQM+ Strategies Approach
Basili, Victor/ Trendowicz, Adam/ Kowalczyk, Martin/ Heidrich, Jens/ Seaman, Carolyn
Sprache: Englisch
Verlag: Springer-Verlag New York Inc 2014
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Hardcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,74
EUR 11,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 2014 edition. 205 pages. 9.25x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing 2016
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,80 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Aligning an organization's goals and strategies requires specifying their rationales and connections so that the links are explicit and allow for analytic reasoning about what is successful and where improvement is necessary. This book provides guida…nce on how to achieve this alignment, how to monitor the success of goals and strategies and use measurement to recognize potential failures, and how to close alignment gaps. It uses the GQM+Strategies approach, which provides concepts and actionable steps for creating the link between goals and strategies across an organization and allows for measurement-based decision-making.After outlining the general motivation for organizational alignment through measurement, the GQM+Strategies approach is described concisely, with a focus on the basic model that is created and the process for creating and using this model. The recommended steps of all six phases of the process are then described in detail with the help of a comprehensive application example. Finally, the industrial challenges addressed by the method and cases of its application in industry are presented, and the relations to other approaches, such as Balanced Scorecard, are described. The book concludes with supplementary material, such as checklists and guidelines, to support the application of the method.This book is aimed at organization leaders, managers, decision makers, and other professionals interested in aligning their organization's goals and strategies and establishing an efficient strategic measurement program. It is also interesting for academic researchers looking for mechanisms to integrate theirresearch results into organizational environments.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,68 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Victor R. Basili, Dieter Rombach, and Kurt Schneider Introduction In 1992, a Dagstuhl seminar was held on 'Experimental Software Engineering Issues' (seminar no. 9238). Its goal was to discuss the state of the art of empirical software engineering (E…SE) by assessing past accomplishments, raising open questions, and proposing a future research agenda. Since 1992, the topic of ESE has been adopted more widely by academia as an interesting and promising research topic, and in industrial practice as a necessary infrastructure technology for goal-oriented, sustained process improvement. At the same time, the spectrum of methods applied in ESE has broadened. For example, in 1992, the empirical methods applied in software engineering were basically restricted to quantitative studies (mostly controlled experiments), whereas since then, a range of qualitative methods have been introduced, from observational to ethnographical studies. Thus, the field can be said to have moved from experimental to empirical software engineering. We believe that it is now time to again bring together practitioners and researchers to identify both the progress made since 1992 and the most important challenges for the next five to ten years.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,23 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - We have only begun to understand the experimental nature ofsoftware engineering, the role of empirical studies andmeasurement within software engineering, and the mechanismsneeded to apply them successfully. This volume presents theproceedings of a w…orkshop whose purpose was to gather thosemembers of the software engineering community who support anengineering approach based upon empirical studies to providean interchange of ideas and paradigms for research.The papers in the volume are grouped into six partscorresponding to the workshop sessions: The experimentalparadigm in software engineering; Objectives and context ofmeasurement/experimentation; Procedures and mechanisms formeasurement/experimentation; Measurement-based modeling;packaging for reuse/reuse of models; and technologytransfer, teaching and training. Each part opens with akeynote paper and ends with a discussion summary.The workshop served as an important event in continuing tostrengthen empirical software engineering as a majorsubdiscipline ofsoftware engineering. The deep interactionsand important accomplishments from the meeting documented inthese proceedings have helped identify key issues in movingsoftware engineering as a whole towards a true engineeringdiscipline.
Sprache: Englisch
Verlag: Springer International Publishing 2014
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,59 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Aligning an organization's goals and strategies requires specifying their rationales and connections so that the links are explicit and allow for analytic reasoning about what is successful and where improvement is necessary. This book provides guidance on…how to achieve this alignment, how to monitor the success of goals and strategies and use measurement to recognize potential failures, and how to close alignment gaps. It uses the GQM+Strategies approach, which provides concepts and actionable steps for creating the link between goals and strategies across an organization and allows for measurement-based decision-making.After outlining the general motivation for organizational alignment through measurement, the GQM+Strategies approach is described concisely, with a focus on the basic model that is created and the process for creating and using this model. The recommended steps of all six phases of the process are then described in detail with the help of a comprehensive application example. Finally, the industrial challenges addressed by the method and cases of its application in industry are presented, and the relations to other approaches, such as Balanced Scorecard, are described. The book concludes with supplementary material, such as checklists and guidelines, to support the application of the method.This book is aimed at organization leaders, managers, decision makers, and other professionals interested in aligning their organization's goals and strategies and establishing an efficient strategic measurement program. It is also interesting for academic researchers looking for mechanisms to integrate theirresearch results into organizational environments.
Aligning Organizations Through Measurement: The Gqm+strategies Approach
Basili, Victor/ Trendowicz, Adam/ Kowalczyk, Martin/ Heidrich, Jens/ Seaman, Carolyn
Sprache: Englisch
Verlag: Springer-Verlag New York Inc 2016
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,19
EUR 34,72 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. reprint edition. 232 pages. 9.25x6.10x0.55 inches. In Stock.
- Softcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 15,00
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 292 | Sprache: Englisch | Produktart: Bücher | We have only begun to understand the experimental nature ofsoftware engineering, the role of empirical studies andmeasurement within software engineering, and the mechanismsneeded to apply them successfully. This volume presents theproc…eedings of a workshop whose purpose was to gather thosemembers of the software engineering community who support anengineering approach based upon empirical studies to providean interchange of ideas and paradigms for research.The papers in the volume are grouped into six partscorresponding to the workshop sessions: The experimentalparadigm in software engineering; Objectives and context ofmeasurement/experimentation; Procedures and mechanisms formeasurement/experimentation; Measurement-based modeling;packaging for reuse/reuse of models; and technologytransfer, teaching and training. Each part opens with akeynote paper and ends with a discussion summary.The workshop served as an important event in continuing tostrengthen empirical software engineering as a majorsubdiscipline ofsoftware engineering. The deep interactionsand important accomplishments from the meeting documented inthese proceedings have helped identify key issues in movingsoftware engineering as a whole towards a true engineeringdiscipline.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Experimental Software Engineering Issues: | Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings | H. Dieter Rombach (u. a.) | Taschenbuch | xix | Englisch | 1993 | Springer | EAN 9783540570929 | Verantwortliche Person für die E…U: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer 2016
Serie: The Fraunhofer IESE Series on Software and Systems Engineering, Buch 3 von 4. Buch 3 von 4 - The Fraunhofer IESE Series on Software and Systems Engineering
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Aligning Organizations Through Measurement | The GQM+Strategies Approach | Victor Basili (u. a.) | Taschenbuch | The Fraunhofer IESE Series on Software and Systems Engineering | xxvi | Englisch | 2016 | Springer | EAN 9783319380285 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenst…r. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Empirical Software Engineering Issues. Critical Assessment and Future Directions | International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006, Revised Papers | Victor Basili (u. a.) | Taschenbuch | xvii | Englisch | 2007 | Springer | EAN 9783540713005 | Verantwortliche Person für die EU: Spring…er Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,74
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 1995
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,49
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,49
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,49
EUR 13,86 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Kluwer Academic Publishers 1995
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 161,61
EUR 9,06 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. Presents a knowledge-based approach to the automation of program understanding that plays an important role in various software related tasks. This book is suitable for computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-u…se. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 136 pages, biography. BIC Classification: UMZ; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 9. Weight in Grams: 377. . 1995. Hardback. . . . . Books ship from the US and Ireland.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 168,18
EUR 9,06 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. The importance of properly selecting testing techniques is widely accepted in the software engineering community. The problem addressed in this book is aimed at improving software testing technique selection. This book is designed for those in software engineering. It is also suitable for students in computer scien…ce and engineering. Series: International Series in Software Engineering. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 609. . 2003. Hardback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Springer US 2012
Serie: The Springer International Series in Engineering and Computer Science, Buch 110 von 260. Buch 110 von 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 112,77
EUR 61,12 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several de…velopment activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.
