Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Dr Erkki Laitila has a long experience as a computer engineer from many companies like Nokia. Since 1999 he has concentrated in reverse engineering using hybrid programming technology to connect object-oriented paradigm and logic for expressing semantics of formal languages as symbols. Symbolic analysis has much potential to be commercialized, too.
"About this title" may belong to another edition of this title.
Search results for Symbolic Analysis as a Basis for Program Comprehension
Seller Image
Symbolic Analysis as a Basis for ProgramComprehension
Published by
VDM Verlag Dr. Müller, 2009
ISBN 10: 363916833X
ISBN 13: 9783639168334
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Laitila ErkkiDr Erkki Laitila has a long experience as a computer engineernfrom many companies like Nokia. Since 1999 he has concentrated innreverse engineering using hybrid programmingntechnology to connect object-oriented paradigm . Seller Inventory # 4963599
Buy New
US$ 71.32
US$ 56.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Symbolic Analysis as a Basis for Program Comprehension:.
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26356842922
Stock Image
Symbolic Analysis as a Basis for Program Comprehension:.
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 355680885
Buy New
US$ 144.68
US$ 8.71 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Symbolic Analysis as a Basis for Program Comprehension:.
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18356842912
Buy New
US$ 153.06
US$ 11.38 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Symbolic Analysis as a Basis for Program Comprehension : Symbolic analysis introduces symbols as atomistic hybrid objects, which create interpretations with each other to be used for program comprehension
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Research on program comprehension is important,because the amount of source code in mission-criticalapplications is increasing world-wide.As a solution for that challenge, a methodology withfour stages is introduced. The first stage,GrammarWare, transforms the program into a symbolicform to function as a construction for the model, asthe second stage, ModelWare. For the model the ideaof an 'atom' is presented to combine the benefits ofobjects for abstracting, and expressiveness of Prolog for tailoring and formalizing the model.The third stage, SimulationWare, implements asymbolic abstract machine, comparable withtraditional Turing machine. With its computationmodel it enables symbolic analysis, which iscomparable with dynamic analysis, but has a ratherflexible pragmatics. The last stage, KnowledgeWare,is aimed for collecting knowledge for codeinspection, error detection and verification ofcurrent operations.The methodology is programmed with Visual Prolog andimplemented in a tool, which enables the handling ofJava code. The practical goal for the methodology isintelligent support for maintenance tasks. Seller Inventory # 9783639168334
Buy New
US$ 94.22
US$ 71.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
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
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 300 pages. 8.50x5.91x0.94 inches. In Stock. This item is printed on demand. Seller Inventory # 363916833X
Buy New
US$ 187.28
US$ 13.39 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available