Using a formal user-centred model to build a formal system-centred model /
Clark, Robert G.(Robert George),1944-
Moreira, Ana M. D.
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
1997.
Includes bibliographical references.
Object-oriented methods (Computer science)
LOTOS (Computer program language)