Bild 1 von 1
Ein wissensbasiert er Ansatz zum Programmverstä ndnis von Salwa K. Abd-El-Hafiz (En
Artikelzustand:
3 verfügbar
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 25. Jun und Sa, 6. Jul nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395156984590
Artikelmerkmale
- Artikelzustand
- ISBN-13
- 9781461359616
- Book Title
- A Knowledge-Based Approach to Program Understanding
- ISBN
- 9781461359616
- Subject Area
- Computers
- Publication Name
- Knowledge-Based Approach to Program Understanding
- Item Length
- 9.3 in
- Publisher
- Springer
- Subject
- Software Development & Engineering / General, General, Compilers
- Series
- The Springer International Series in Engineering and Computer Science Ser.
- Publication Year
- 2012
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 7.9 Oz
- Number of Pages
- Xvii, 119 Pages
Über dieses Produkt
Product Information
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.
Product Identifiers
Publisher
Springer
ISBN-10
1461359619
ISBN-13
9781461359616
eBay Product ID (ePID)
177454444
Product Key Features
Publication Name
Knowledge-Based Approach to Program Understanding
Format
Trade Paperback
Language
English
Subject
Software Development & Engineering / General, General, Compilers
Series
The Springer International Series in Engineering and Computer Science Ser.
Publication Year
2012
Type
Textbook
Subject Area
Computers
Number of Pages
Xvii, 119 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
7.9 Oz
Additional Product Features
Intended Audience
Scholarly & Professional
Series Volume Number
325
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
1 Introduction.- 1.1 Research Goals.- 1.2 Research Approach.- 1.3 Outline.- 2 Background.- 2.1 Loop Analysis.- 2.2 Program Analysis and Understanding.- 3 Overview and Basic Definitions.- 3.1 Definitions.- 3.2 A Loop Taxonomy.- 4 Analysis of Flat Loops.- 4.1 Normalization of the Loop Representation.- 4.2 Decomposition of the Loop Body.- 4.3 Formation of the Loop Events.- 4.4 A Knowledge Base of Plans.- 4.5 Analysis of the Events.- 5 Analysis of Nested Loops.- 5.1 Definitions.- 5.2 Analysis of Inner Loops.- 5.3 Representation of Inner Loops Analysis Results.- 5.4 Analysis of Outer Loops.- 5.5 Adaptation of Inner Loops Specifications.- 6 Discussion of the Analysis Approach.- 7 Case Study.- 7.1 Objectives.- 7.2 Method.- 7.3 Results and Analysis.- 8 Prototype Implementation.- 8.1 Design.- 8.2 Operation.- 9 Applications.- 9.1 Assisting Maintenance and Reuse.- 9.2 Assisting Formal Development.- 10 Conclusions.- 10.1 Summary of Approach.- 10.2 Observations.- 10.3 Future Work.- References.
Copyright Date
1995
Dewey Decimal
005.1/5
Dewey Edition
20
Illustrated
Yes
Artikelbeschreibung des Verkäufers
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395156984590
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Di, 25. Jun und Sa, 6. Jul nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
Steuern |
---|
An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #395156984590
Mehrwertsteuer für diesen Artikel #395156984590
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
---|---|---|
30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1'024'543)
e***i (657)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
👌🏿👍🏿
o***5 (1121)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Nice
m***y (963)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good seller
Noch mehr entdecken:
- El James Hörbücher,
- El James Belletristik-Bücher,
- El James Belletristik Romane,
- El-James-Sachbuch Bücher,
- El James Hörbücher und Hörspiele,
- El James Hörbücher und Hörspiele auf Deutsch,
- El James Literatur Bücher Belletristik,
- El James Ungekürzte Hörbücher und Hörspiele,
- El-James-Shades-of - Grey-Belletristik-Bücher,
- El-James-Erotische-Literatur - Belletristik-Bücher