1117 search results - page 164 / 224 » Domain Specific Engineering Environments |
118
click to vote
IDMS
2000
Springer
15 years 6 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
131
Voted
CAV
1997
Springer
15 years 6 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
152
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
106
click to vote
ASE
2008
15 years 2 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
115
click to vote
EKAW
2004
Springer
15 years 7 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...