Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Symbolic Analysis as a Basis for Program Comprehension
Immagini fornite dal venditore
Symbolic Analysis as a Basis for ProgramComprehension
Editore:
VDM Verlag Dr. Müller, 2009
ISBN 10: 363916833X
ISBN 13: 9783639168334
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: 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 . Codice articolo 4963599
Compra nuovo
EUR 60,51
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Symbolic Analysis as a Basis for Program Comprehension:.
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26356842922
Compra nuovo
EUR 125,56
Spedizione EUR 3,49
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Symbolic Analysis as a Basis for Program Comprehension:.
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 355680885
Compra nuovo
EUR 130,24
Spedizione EUR 7,61
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Symbolic Analysis as a Basis for Program Comprehension:.
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND. Codice articolo 18356842912
Compra nuovo
EUR 129,87
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
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 DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783639168334
Compra nuovo
EUR 79,95
Spedizione EUR 62,32
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
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 DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 300 pages. 8.50x5.91x0.94 inches. In Stock. This item is printed on demand. Codice articolo 363916833X
Compra nuovo
EUR 163,91
Spedizione EUR 11,71
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili