516 search results - page 4 / 104 » Constructing difference tools for models using the SiDiff fr... |
WSC
1998
13 years 8 months ago
1998
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
ICTAI
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, a tool that uses an argumentation based decision making framework is proposed for the construction of mutual fund portfolios. The argumentation framework is employe...
ESEC
1999
Springer
13 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...