Items where Author is "Smith, D.E."

Item Type No Grouping

Smoothing the transition from formal specification to object-oriented implementation. (1995) P.N. Taylor and D.E. Smith

A case study for generic processes and reusability in LOTOS. (1994) P.N. Taylor and D.E. Smith

The influence of the formal description technique LOTOS on concurrent system design. (1994) P.N. Taylor and D.E. Smith