krees@axion.bt.co.uk (Kearton Rees) (06/19/91)
Does any one have (or know of) information on how Z and VDM handle non-functional requirements? (By non-functional requirements I mean attributes like ease of use, performance, ease of maintenance, availability, security, reliability etc.) Kearton #---------------------------------------------------------------# Kearton Rees krees@axion.bt.co.uk Software Technology Division, British Telecom Research Labs., Martlesham Heath, Ipswich, Suffolk, IP5 7RE United Kingdom. #---------------------------------------------------------------#