UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Type
Jump to: C | F
Number of items: 4.


Cunningham, R; Finkelstein, A; (1986) Formal requirements specification: the FOREST project. In: 3rd International Workshop Software Specification and Design. (186 - 192). IEEE Computer Society Press


Finkelstein, A; (1986) Making formal specifications dynamic objects. In: Dowson, M, (ed.) ISPW. (pp. 133 - 136). IEEE Computer Society

Finkelstein, A; Potts, C; (1986) Formal requirements specification of real-time embedded systems.

Finkelstein, A; Potts, C; (1986) Structured common sense: the elicitation and formalisation of system requirements. In: SE 1986. (236 - 250). Peter Peregrinus

This list was generated on Sun May 24 06:12:10 2015 BST.