Xref: utzoo comp.specification:380 comp.software-eng:6028
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!uunet!mcsun!ukc!axion!tokaj!krees
From: krees@axion.bt.co.uk (Kearton Rees)
Newsgroups: comp.specification,comp.software-eng
Subject: Z, VDM and non-functional requirements
Message-ID: <1991Jun19.143628@axion.bt.co.uk>
Date: 19 Jun 91 13:36:28 GMT
Sender: news@axion.bt.co.uk
Reply-To: krees@axion.bt.co.uk (Kearton Rees)
Followup-To: comp.specification
Organization: British Telecom Research Labs
Lines: 14


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.	
#---------------------------------------------------------------#