201 search results - page 25 / 41 » PRIMA - a DBMS Prototype Supporting Engineering Applications |
COMPSAC
2002
IEEE
14 years 11 days ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
ICCBR
2001
Springer
13 years 12 months ago
2001
Springer
The aim of this paper is to introduce a new method for finding and reusing process equipment design and inherently safer process configurations by case-based reasoning (CBR) and ob...
AMAST
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
UIST
1993
ACM
13 years 11 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...