Symbolic Analysis as a Basis for Program Comprehension

Name: Symbolic Analysis as a Basis for Program Comprehension
Brand: VDM Verlag Dr. Müller
SKU: 9783639168334
Price: 1875 CZK
Availability: InStock

Symbolic analysis introduces symbols as atomistic hybrid objects, which create interpretations with each other to be used for program comprehension

Autor: Erkki Laitila

Jazyk:

Vazba: Brožovaná

Vydavatel: VDM Verlag Dr. Müller

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 875 Kč

Research on program comprehension is important,§because the amount of source code in mission-critica...

Informace o knize

Autor

Erkki Laitila

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2009

Stránek

300

EAN

9783639168334

Enbook ID

06825194

Vydavatel

VDM Verlag Dr. Müller

Rozměry

151 x 225 x 29

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také