- Detailed search
-
- Browse by:
- Department |
Year |
Latest
For everyone
- About UCL Discovery
- Open Access
- Using UCL Discovery:
- Statistics:
- FAQ
For UCL authors
Browse by UCL Departments and Centres
 | Up a level |
Group by: Author | Type
Number of items: 4.
C
| Cunningham, R and Finkelstein, A (1986) Formal requirements specification: the FOREST project. In: 3rd International Workshop Software Specification and Design. (186 - 192). IEEE Computer Society Press |
F
| Finkelstein, A (1986) Making formal specifications dynamic objects. In: Dowson, M, (ed.) ISPW. (pp. 133 - 136). IEEE Computer Society |
| Finkelstein, A and Potts, C (1986) Formal requirements specification of real-time embedded systems. |
| Finkelstein, A and Potts, C (1986) Structured common sense: the elicitation and formalisation of system requirements. In: SE 1986. (236 - 250). Peter Peregrinus |