Isbn: 9783639168334 - symbolic analysis as a basis for program comprehension (7 resultados)

Condición: New.

Taschenbuch. Condición: Neu. 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 | Erkki Laitila | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639168334 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Kartoniert / Broschiert. Condición: 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 .…

Taschenbuch. Condición: 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.…

Condición: New. Print on Demand.

Condición: New. PRINT ON DEMAND.

Paperback. Condición: Brand New. 300 pages. 8.50x5.91x0.94 inches. In Stock. This item is printed on demand.