846 search results - page 1 / 170 » The Use of Z |
TFM
2009
Springer
13 years 11 months ago
2009
Springer
CAISE
2000
Springer
13 years 9 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
ICWN
2007
13 years 6 months ago
2007
Abstract MIT Technology Review lists sensor networks as one of “Ten Emerging Technologies That Will Change the World” [1]. This paper extends our earlier paper [7], and describ...
ZUM
1991
Springer
13 years 8 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...