UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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. (pp. 186-192). IEEE Computer Society Press


Finkelstein, A; (1986) Making formal specifications dynamic objects. Presented at: UNSPECIFIED.

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. (pp. 236-250). Peter Peregrinus

This list was generated on Sun Jan 24 04:01:34 2016 GMT.