Type

No Grouping Creators

B

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

C

Testing should help to insert new bugs or how to modify programs predictably? (1992) B. Christianson and R. Barrett

F

Prototyping real time engineering systems using Hatley & Pirbhai's requirement model. (1992) D.A. Fensome

G

Static instruction scheduling for the HARP multiple-instruction-issue architecture. (1992) S.M. Gray, R.G. Adams, G.J. Green and G.B. Steven

L

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

M

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

S

Towards secure, optimistic, distributed, open systems. (1992) J.F. Snook

A program for animating CCS specifications. (1992) J.R. Stobo