Browsing by Author "Buchanan, M."

Now showing items 1-7 of 7

    • CCS and object-oriented concepts 

      Buchanan, M.; Dickerson, R. (University of Hertfordshire, 1992)
      The visibility of using CCS as a formal specification language for classes of objects is investigated. The class based object-oriented paradigm is assumed throughout. It is concluded that CCS can be used to specify classes ...

    • A comparison of Eiffel, C++ and Oberon-2 

      Mayes, A.; Buchanan, M. (University of Hertfordshire, 1994)
      The languages Oberon-2, Eiffel and C++ allow an object-oriented style of program to be implemented. Oberon-2 and C++ also support other styles of programming. This report presents a comparison of the object-oriented features ...

    • Formal specification and object-oriented design 

      Buchanan, M.; Britton, C. (University of Hertfordshire, 1991)
      In recent years, object-oriented design and formal specification languages have become increasingly important in the development of software systems. In this paper we use the formal specification languages OBJ1 and OBJ3 ...

    • Inheritance, subtyping and the is-a relationship (PhD Transfer Report) 

      Buchanan, M. (University of Hertfordshire, 1995)
      Inheritance, subtyping and is-a are different relationships all of which have many interpretations. Moreover, definitions of each of the relationships often involve one of the other two. An attempt has been made to distinguish ...

    • Modelling techniques for object-oriented design 

      Britton, C.; Buchanan, M. (University of Hertfordshire, 1991)
      It is increasingly recognised that an object-oriented approach offers the most promising way forward for the design and production of software systems. In this paper we adopt this point of view, and discuss a problem which ...

    • The Oberon-2 language and environment 

      Mayes, A.; Buchanan, M. (University of Hertfordshire, 1994)
      This report provides an introduction to the Oberon-2 language. The language is supplied as part of the Oberon-2 system which consists of a compiler and some library modules embedded in their own environment. The embedding ...

    • Overloading and polymorphism in the interpretation of inheritance in C++ 

      Buchanan, M. (University of Hertfordshire, 1994)
      The work described in this report was motivated by a desire to understand the implementation of inheritance in C++. In particular a paper by W.Harris entitled "Contravariance for the rest of us" had raised issues concerning ...