1711 search results - page 105 / 343 » Consistency management in Deno |
148
click to vote
ITRUST
2005
Springer
15 years 11 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
156
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
158
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
274
click to vote
FODO
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
163
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...