403 search results - page 3 / 81 » Integrating Z into Large Projects Tools and Techniques |
ANSOFT
2002
14 years 9 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
RTAS
2010
IEEE
14 years 7 months ago
2010
IEEE
—Hardware-managed caches introduce large amounts of timing variability, complicating real-time system design. One alternative is a memory system with scratchpad memories which im...
ICFEM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
ISI
2008
Springer
14 years 8 months ago
2008
Springer
We discuss how methods from social network analysis could be combined with methodologies from database mediator technology and information fusion in order to give police and other ...
SPIN
1999
Springer
15 years 1 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...