Symbolic Analysis as a Basis for Program Comprehension: Symbolic analysis introduces symbols as atomistic hybrid objects, which create ... other to be used for program comprehension - Softcover

Laitila, Erkki

 
9783639168334: Symbolic Analysis as a Basis for Program Comprehension: Symbolic analysis introduces symbols as atomistic hybrid objects, which create ... other to be used for program comprehension
Softcover
ISBN 10: 363916833X ISBN 13: 9783639168334
Verlag: VDM Verlag, 2009

Inhaltsangabe

Research on program comprehension is important, because the amount of source code in mission-critical applications is increasing world-wide. As a solution for that challenge, a methodology with four stages is introduced. The first stage, GrammarWare, transforms the program into a symbolic form to function as a construction for the model, as the second stage, ModelWare. For the model the idea of an "atom" is presented to combine the benefits of objects for abstracting, and expressiveness of Prolog for tailoring and formalizing the model. The third stage, SimulationWare, implements a symbolic abstract machine, comparable with traditional Turing machine. With its computation model it enables symbolic analysis, which is comparable with dynamic analysis, but has a rather flexible pragmatics. The last stage, KnowledgeWare, is aimed for collecting knowledge for code inspection, error detection and verification of current operations. The methodology is programmed with Visual Prolog and implemented in a tool, which enables the handling of Java code. The practical goal for the methodology is intelligent support for maintenance tasks.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
VDM Verlag
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
363916833X
ISBN 13 
9783639168334
Einband
Taschenbuch
Anzahl der Seiten
300
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Zeitfracht Medien GmbH
info-medien@zeitfracht.de

Ferdinand-Jühlke-Straße 7
Erfurt
99095
Deutschland