See this document in CiteSeerX!

Program Analysis and Visualisation: Towards A Declarative Approach (1997)  (Make Corrections)  
Diana Sidarkeviciute
Informatica



  Home/Search   Context   Related

 
View or download:
it.kth.se/labs/se/Repo...dianainf.ps.Z
it.kth.se/~diana/informatica.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  it.kth.se/labs/cs/segroup...publ (more)
From:  it.kth.se/~diana/research
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The aim of program analysis and visualisation (PA&V) is to help the programmer understand a program by means of graphical presentations of different aspects of the program. Program analysis and visualisation systems can be classified according to the specification method of visualisation, e.g. in what way can the user of the system specify his own visualisers. In the article three specification methods (predefinition, annotation and declaration) are discussed and some example systems are... (Update)

Active bibliography (related documents):   More   All
1.2:   Experimental Software Analysis in the NUT System - Sidarkeviciute, Addibpour.. (1995)   (Correct)
0.5:   Control Structures for Parallel Computing in NUT - Addibpour (1995)   (Correct)
0.5:   Representing Programs as Hypertext - Nørmark, Østerbye (1994)   (Correct)

Similar documents based on text:   More   All
0.2:   The Anna AST User's Guide and Reference Manual - Rosenblum (1995)   (Correct)
0.2:   Subject-oriented and non Subject-oriented Long-distance.. - Branco, Marrafa (1997)   (Correct)
0.2:   A general approach for parallelizing the FEM software package DIANA - Lin (1994)   (Correct)

BibTeX entry:   (Update)

@article{ sidarkeviciute97program,
    author = "Diana Sidarkeviciute",
    title = "Program Analysis and Visualisation: Towards {A} Declarative Approach",
    journal = "Informatica",
    volume = "8",
    number = "1",
    pages = "153--175",
    year = "1997",
    url = "citeseer.ist.psu.edu/sidarkeviciute97program.html" }
Citations (may not include all citations):
1286   Object-oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
174   Tango: A framework and system for algorithm animation (context) - Stasko - 1990
129   Lassie: a knowledge-based software information system - Devanbu, Ballard et al. - 1991
117   Software reflexion models: Bridging the gap between source a.. - Murphy, Notkin et al. - 1995
77   Maintenance support for object-oriented programs (context) - Wilde, Huitt - 1992
74   Exploring algorithms using Balsa-II (context) - Brown - 1988
60   Pavane: A system for declarative visualization of concurrent.. - Roman, Cox et al. - 1992
53   Program understanding and the concept assignment problem (context) - Biggerstaff, Mitbander et al. - 1994
50   Automated Program Recognition by Graph Parsing (context) - Wills - 1992
47   Knowledge-based program analysis (context) - Harandi, Ning - 1990
42   A taxonomy of program visualization systems - Roman, Cox - 1993
39   A memory-based approach to recognizing programming plans (context) - Quilici - 1994
22   Three new generation software environments (context) - Tyugu - 1991
18   The C information abstraction system (context) - Chen, Nishimoto et al. - 1990
14   Visual Programming (context) - Shu - 1988
14   Visual Object-Oriented Programming: Concepts and Environment.. (context) - Burnett, Goldberg et al. - 1995
8   A tool for understanding objectoriented program dependencies (context) - Linos, Courtois - 1994
8   The design of a completely visual OOP language (context) - Citrin, Doherty et al. - 1995
6   Connecting the pieces (context) - Grundy, Hosking et al. - 1995
5   Getting close to objects (context) - Chang, Ungar et al. - 1995
5   Aspects of structural synthesis of programs (context) - Uustalu - 1995
4   The Nut language report (context) - Uustalu, Kopra et al. - 1994
4   Experimental software analysis in the nut system - Sidarkeviciute, Addibpour et al. - 1995
4   Genoa -- a customizable (context) - Devanbu - 1992
3   A principled taxonomy of sofware visualization (context) - Price, Baecker et al. - 1993
2   Knowledge-based software engineering (context) - Johnson - 1994
2   Program text as hypertext: Using program dependencies for tr.. (context) - Koskinen, Paakki et al. - 1994
2   Graphical support for code-level software understanding (context) - Selfridge, Heineman - 1994
1   Program concet recognition (context) - Kozaczynski, Ning et al. - 1992
1   Knowledge-based software reengineering tools (context) - Kotik, Markosian - 1992
1   Knowledge level software visualisation (context) - Kuusik, Sidarkeviciute et al. - 1996
1   A modal justification for structural synthesis of programs i.. (context) - Uustalu - 1996

Documents on the same site (http://www.it.kth.se/labs/cs/se-group/publ.html):   More
Using Classes As Specifications For Automatic Construction Of.. - Tyugu (1994)   (Correct)
Constraints in NUT - Penjam, Tyugu (1994)   (Correct)
Large Heterogeneous Knowledge Bases - Tyugu   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC