Knowledge Based Approach Program Understanding (26 results)
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 82.94
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 140 Index.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 82.17
US$ 8.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: 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.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 129.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 132.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 130.04
US$ 15.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.04
US$ 15.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 132.02
US$ 19.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Kluwer Academic Publishers 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 153.34
US$ 12.05 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: 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…-use. 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. . . . .
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 160.35
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 140 Index.
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 173.81
US$ 13.23 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 136 pages. 9.25x6.10x0.32 inches. In Stock.
More imagesLanguage: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 113.11
US$ 80.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. A Knowledge-Based Approach to Program Understanding | Salwa K. Abd-El-Hafiz (u. a.) | Taschenbuch | xvii | Englisch | 2012 | Springer | EAN 9781461359616 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter…: preigu.
Language: English
Published by Kluwer Academic Publishers 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 181.88
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: 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…-use. 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.
Language: English
Published by Springer US 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 133.28
US$ 70.14 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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…development 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.
Language: English
Published by Springer US 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 151.10
US$ 56.22 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Gebunden. Condition: New. 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 developme.
Language: English
Published by Springer Us 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
US$ 97.56
US$ 120.49 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | 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 developmen…t 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.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 222.13
US$ 19.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 211.24
US$ 33.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 241.69
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Us Jul 1995 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 184.71
US$ 71.01 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. Neuware - 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 development activities such as code reviews, debug…ging 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.
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
US$ 101.93
US$ 4.59 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer US, Springer US Sep 2012 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 126.45
US$ 26.39 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 devel…opment. Several development 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. 140 pp. Englisch.
Language: English
Published by Springer US 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 109.06
US$ 56.22 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 developme.
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 166.83
US$ 8.60 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 140 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Language: English
Published by Springer 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 174.58
US$ 11.42 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 140.
Language: English
Published by Springer 1995
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 178.00
US$ 11.42 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 140.
Language: English
Published by Springer, Springer Sep 2012 2012
Series: The Springer International Series in Engineering and Computer Science, Book 110 of 260. Book 110 of 260 - The Springer International Series in Engineering and Computer Science
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 126.45
US$ 68.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 developme…nt. Several development 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 140 pp. Englisch.
