3053 search results - page 30 / 611 » Structured Objects: Modeling and Reasoning |
ZUM
2005
Springer
14 years 27 days ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
SUM
2010
Springer
13 years 5 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
JCSC
1998
13 years 7 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
AC
2002
Springer
13 years 7 months ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...