525 search results - page 1 / 105 » Systems Development Using Z Generics |
FM
1999
Springer
13 years 9 months ago
1999
Springer
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...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
JODL
2000
13 years 4 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...