Z, VDM and non-functional requirements

Article View: comp.specification

Article #457

Back to comp.specification Previous Next

#457

From: Kearton Rees
Date: Wed, 19 Jun 1991 13:36

14 lines
1071 bytes

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

Technical Details

Message-ID: <1991Jun19.143628@axion.bt.co.uk>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!olivea!uunet!mcsun!ukc!axion!tokaj!krees

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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