354 search results - page 8 / 71 » Constraints of Behavioural Inheritance |
71
Voted
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
77
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
74
Voted
MFCS
1997
Springer
15 years 1 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
SAS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
113
click to vote
FTRTFT
1992
Springer
15 years 1 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...