Type

Number of items: 21.
  • Towards a satisfaction relation between CCS specifications and their refinements. (1992) E.J. Baillie
  • Why is software development so difficult to manage? (1992) R. Barrett and B. Christianson
  • Do we still need the system life cycle? (1992) C. Britton
  • An investigation of types leading to an examination of some aspects of F-bounded interfaces and the type classes of Haskell. (1992) K.M. Buchanan and R. Dickerson
  • CCS and object-oriented concepts. (1992) M. Buchanan and R. Dickerson
  • Testing should help to insert new bugs or how to modify programs predictably? (1992) B. Christianson and R. Barrett
  • Prototyping real time engineering systems using Hatley & Pirbhai's requirement model. (1992) D.A. Fensome
  • Static instruction scheduling for the HARP multiple-instruction-issue architecture. (1992) S.M. Gray, R.G. Adams, G.J. Green and G.B. Steven
  • Security system case study. (1992) M. Loomes and C. Britton
  • Fine grained object protection in UNIX. (1992) M.R. Low
  • Minimal kernels and security. (1992) M.R. Low
  • The Notary. (1992) M.R. Low
  • Neural nets for a language processing task: tag disambiguation. (1992) C. Lyon
  • A comparison of development methods used in traditional engineering and software engineering. (1992) A. Mayes
  • The responsibility driven object-oriented design method advocated by Wirfs-Brock, Wilkerson and Weiner. (1992) A. Mayes
  • A survey of the current state of reuse in a software environment. (1992) A. Mayes
  • Eiffel, the universe and everything. (somethings anyway). (1992) A. Mayes and R. Barrett
  • Experience of using Coad and Yourdon object-oriented analysis and design. (1992) A. Mayes and R. Barrett
  • Are there any parallels between object-oriented system development and other branches of engineering? (1992) A. Mayes and C. Britton
  • Towards secure, optimistic, distributed, open systems. (1992) J.F. Snook
  • A program for animating CCS specifications. (1992) J.R. Stobo