| Allison W., Carrington D., Jones T., Stewart-Zerba L., Welsh J. Visualising software documents in a generic development environment. In Proceedings of the 1997 Australian Software Engineering Conference, IEEE CS Press, pp.49-59. |
....this information management problem is the growing demands on time to market and increased software quality. As the amount and diversity of information about software systems grows, so does the need for supporting consistency and traceability among different levels of abstraction for developers [15, 1, 6]. Software information is represented in a wide variety of representations , in different notations, managed by different software development tools, and the information is captured with different purposes. Such information includes functional and non functional requirements, use cases, ....
....approaches is that relating information across different artefacts is either not possible or very simplistic. Most tools support working only with one part of the development process, e.g. requirements or design, with limited support to relate the information to other tools or parts of the process [1, 10]. Tools that support multiple phases of development and multiple information models typically provide limited traceability and consistency management between artefacts [5, 9] More elaborate support is usually found in low level representations like design or source code. For high level ....
[Article contains additional citation context not shown here]
Allison W., Carrington D., Jones T., Stewart-Zerba L., Welsh J. Visualising software documents in a generic development environment. In Proceedings of the 1997 Australian Software Engineering Conference, IEEE CS Press, pp.49-59.
....of software tools. A wide variety of tools have been developed that use formal methods , or rigorous mathematically based specification techniques to aid in software engineering. These include tools used to facilitate formal specification editing and basic syntax semantic checking, such as UQ [1]; tools to perform formal proof reasoning on specifications, such as ARC [78] tools to facilitate program refinement [20] and formal methods based testing tools [91] In recent years formal methods tools have also been developed for areas such as requirements engineering, visual language ....
.... affect view and repository data structure changes [82] Structure editing of textual views was popularised by work like the Cornel Program Synthesiser [88] Dora [82] and Mjolner [64] Many structure editors for documentation, programming and formal specification have been produced over the years [1, 88]. While structure editing has some excellent theoretical advantages (e.g. it can incrementally parse and check the semantics of code, offer accurate code completion to users and ensure no syntactic errors) due to its rigidness it is a classic illustration of an interface with poor usability ....
Allison W., Carrington D., Jones T., Stewart-Zerba L., Welsh J. Visualising software documents in a generic development environment. In Proceedings of the 1997 Australian Software Engineering Conference, IEEE CS Press,
....interpreted in terms of the underlying documents themselves. In these cases such direct manipulation is a natural extension of the integrated manipulation and visualisation facilities involved and should be supported. Work on UQM, a generic language based software development environment [1, 2, 20, 21, 37], has shown that software development environments can provide syntactic views, relational views and a hybrid of both, and that such views can be smoothly integrated into the activities of presentation and interaction. In this paper we describe how the UQM editor is able to provide a wide variety ....
....and presenting those relationships in a form that effectively communicates the corresponding information to the user. 2.2. 1 Extraction of Relations To cater for extraction of the range of software visualisations suggested in the previous section, a software development environment must provide [2]: a representation of software documents that allows for the expression of arbitrary relations between document segments; and . extraction mechanisms that provide a sufficiently flexible and powerful means by which to build the relations. 2.2.2 Presentation of Visualisations For a ....
[Article contains additional citation context not shown here]
W. Allison, D. Carrington, T. Jones, L. Stewart-Zerba, and J. Welsh. Visualising software documents in a generic development environment. In P. A. Bailes, editor, Proceedings of the 1997 Australian Software Engineering Conference, pages 49--59, September 1997. IEEE Computer Society.
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