Using active constructs in user-interfaces to object-oriented databases. (1997)
Presentation / Conference Contribution
Mitchell, K., Kennedy, J., & Barclay, P. J. (1997). Using active constructs in user-interfaces to object-oriented databases. In Proceedings [of the First] International database engineering and applications symposium, (3-12)

This paper examines the use of active constructs in the definition of user-interfaces to object-oriented databases. A development environment for user-interfaces to databases is presented which features the interactive use of active features of an ob... Read More about Using active constructs in user-interfaces to object-oriented databases..

The perspective tunnel: An inside view on smoothly integrating detail and context. (1997)
Presentation / Conference Contribution
Mitchell, K., & Kennedy, J. (1997, April). The perspective tunnel: An inside view on smoothly integrating detail and context. Presented at Proc. of Eurographics Workshop on Visualisation in Scientific Computing

The perspective tunnel, a general kind of information visualisation artefact, embodies a visual form which exploits natural human visual perception. Perspective tunnels map information on to the floor, ceiling and walls of a tunnel, so that both ever... Read More about The perspective tunnel: An inside view on smoothly integrating detail and context..

Formal methods for the re-engineering of computing systems. (1997)
Presentation / Conference Contribution
Liu, X., Yang, H., & Zedan, H. (1997). Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference (409-414). https://doi.org/10.1109/CMPSAC.1997.625024

This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/model-based, logic-based, algebraic-based, process algebra and net-based formal... Read More about Formal methods for the re-engineering of computing systems..

A design framework for system re-engineering. (1997)
Presentation / Conference Contribution
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997, December). A design framework for system re-engineering

We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is propo... Read More about A design framework for system re-engineering..

Software development for engineers. (1997)
Book
Buchanan, W. J. (1997). Software development for engineers. Newton, MA, USA: Butterworth-Heinemann

Specialisation in software has become a thing of the past. With the move towards graphical user interface programming, engineers must have a sound knowledge of several programming languages and for the first time most of the main technical languages... Read More about Software development for engineers..

Assessing inheritance for the multiple descendant redefinition problem in OO systems. (1997)
Presentation / Conference Contribution
Li-Thiao-Te, P., Kennedy, J., & Owens, J. (1997, November). Assessing inheritance for the multiple descendant redefinition problem in OO systems. Presented at International Conference on Object Oriented Information Systems - OOIS’97

Current use of inheritance has illustrated that the introduction of conceptual inconsistencies is possible in a class hierarchy. This paper discusses the reasons why
complete method redefinition infringes the essence of inheritance. A redefinition m... Read More about Assessing inheritance for the multiple descendant redefinition problem in OO systems..