Type

No Grouping Creators

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