A refinement calculus for the development of real-time systems.
Conference Proceeding
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998)
A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98, 61. https://doi.org/10.1109/APSEC.1998.733588
We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—...
Improving maintenance through development experiences.
Conference Proceeding
Liu, X., Yang, H. & Zedan, H. (1997)
Improving maintenance through development experiences. In WESS '98 - Workshop on Empirical Studies in Software Maintenance, 1-5
An empirical comparison is made between present approaches/tools of software maintenance and development. The conclusion is that development technology is more mature in many ...
A framework for information visualisation
Journal Article
Kennedy, J., Mitchell, K., & Barclay, P. J. (1996)
A framework for information visualisation. SIGMOD record, 25, 30-34
In this paper we examine the issues involved in developing information visualisation systems and present a framework for their construction. The framework addresses the compon...
A conceptual language for querying object oriented data
Conference Proceeding
Barclay, P. J., & Kennedy, J. (1994)
A conceptual language for querying object oriented data. In D. S. Bowers (Ed.), Directions in Databases: Proceedings [of the] 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994 (187-204). https://doi.org/10.1007/3-540-58235-5_43
A variety of languages have been proposed for object oriented database systems in order to provide facilities for ad hoc querying. However, in order to model at the conceptual...
Using a persistent system to construct a customised interface to an ecological db.
Conference Proceeding
Barclay, P. J., Fraser, C., & Kennedy, J. (1993)
Using a persistent system to construct a customised interface to an ecological db. In Interfaces to Database Systems: Proceedings of the First International Workshop on Interfaces to Database Systems (IDS92), Glasgow, 1-3 July 1992 (225-243
New applications of information technology have increasingly sophisticated user interface requirements. Such interfaces are sometimes highly application specific and therefore...
Viewing objects.
Conference Proceeding
Barclay, P. J., & Kennedy, J. (1993)
Viewing objects. In M. Worboys, & A. F. Grundy (Eds.), Advances in databases: Proceedings of the 11th British National Conference on Database Systems (93-110). https://doi.org/10.1007/3-540-56921-9_6
This paper examines the incorporation of database views into an object oriented conceptual model. An approach is presented where views are themselves objects, instances of vie...
Architectures for persistence
Journal Article
Russell, G., & Cockshott, W. P. (1993)
Architectures for persistence. Microprocessors and Microsystems, 17(3), 117-130. https://doi.org/10.1016/0141-9331%2893%2990042-6
Persistent object oriented architectures have been researched for many years, deriving initially from the Manchester University Atlas machine. In reality, however, few actual ...
Modelling ecological data.
Conference Proceeding
Barclay, P. J., & Kennedy, J. (1992)
Modelling ecological data. In H. Hinterberger, & J. C. French (Eds.), Proceedings of the Sixth International Working Conference on Scientific and Statistical Database Management (77-93
Ecological surveys generate large quantities of data; database technology has not yet reached its full
potential in this area. Here we investigate approaches to modelling ecol...
Semantic integrity for persistent objects
Journal Article
Barclay, P. J., & Kennedy, J. (1992)
Semantic integrity for persistent objects. Information and Software Technology, 34(8), 533-541. https://doi.org/10.1016/0950-5849%2892%2990147-H
Modelling constructs for specifying semantic integrity are reviewed, and their implicit execution semantics discussed. An integrity maintenance model based on these constructs...