1435 search results - page 128 / 287 » CASE Support and Model-Based Development |
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
In the current market there is a proliferation of knowledge management software solutions. The aim of this paper is to discuss issues concerned in selecting such a system to suppo...
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
SOCO
2008
Springer
13 years 9 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
CLEIEJ
2004
13 years 9 months ago
2004
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...