Searching for "The Use of Z." – sorted by Relevance.
3,545 documents found, showing 1 through 10.
Next 10 →
-
Modelling Distributed Systems Using Z
- …MODELLING DISTRIBUTED SYSTEMS USING Z Howard Bowman and John Derrick Computing Laboratory…
- Cited by 2 (1 self) – Add To MetaCart
-
LSL traits for using Z with Larch
- …LSL traits for using Z with Larch Hua Zhong TR #97-22 December 1997 Keywords: formal methods…
- Add To MetaCart
-
Operational Specification for FCA using Z
- …Operational Specification for FCA using Z Simon Andrews and Simon Polovina Faculty of Arts…
- Add To MetaCart
-
Systems Development using Z Generics
- …Systems Development using Z Generics Fiona Polack 1 and Susan Stepney 2 1 Department…
- Cited by 5 (4 self) – Add To MetaCart
-
Test Automation using Z Specifications
- … Test Automation using Z Specifications Hans--Martin Horcher 1 and Erich Mikk 2 1 DST Deutsche…
- Cited by 1 (0 self) – Add To MetaCart
-
Feature Interaction Analysis Using Z
- …Feature Interaction Analysis Using Z Michael Butler Broadcom ' Eireann Research Ltd Kestrel House…
- Add To MetaCart
-
Specifying Verifying Concurrent Systems Using Z
- …Specifying & Verifying Concurrent Systems Using Z Andy S. Evans Faculty of Information…
- Cited by 9 (0 self) – Add To MetaCart
-
Maintaining Cross Viewpoint Consistency using Z
- …Maintaining Cross Viewpoint Consistency using Z John Derrick, Howard Bowman and Maarten Steen y…
- Cited by 11 (9 self) – Add To MetaCart
-
Improving Software Tests using Z Specifications
- …Improving Software Tests using Z Specifications Hans--Martin Horcher DST Deutsche System…
- Cited by 33 (0 self) – Add To MetaCart
-
Using Z: the impact of specification upon quality
- …Using Z: the impact of specification upon quality Chris Roast and Jawed Siddiqi Sheffield Hallam…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
