126 search results - page 17 / 26 » Employing the Object Constraint Language in Model-Based Engi... |
133
click to vote
IMCSIT
2010
14 years 11 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
127
click to vote
KBSE
2010
IEEE
15 years 9 days ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
104
Voted
BNCOD
1997
15 years 3 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
101
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
123
Voted
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...