USING Z

Updated 13 days ago
  • ID: 422818/112
Z is a language for describing patterns of declaration and constraint; it can be used to produce structured, mathematical descriptions. It was developed through application to the specification and design of large, complex software systems. It is well-suited to the description of system or component state, and of transactions upon that state... This book introduces the mathematical language of Z: logic, sets, relations, and schemas. It introduces also a theory of refinement: a set of rules that can be used to prove that two different designs are consistent in terms of their externally-observable, transactional behaviour.
  • 0
  • 0
Interest Score
1
HIT Score
0.00
Domain
usingz.com

Actual
www.usingz.com

IP
208.113.170.85

Status
OK

Category
Company
0 comments Add a comment