1613 search results - page 230 / 323 » Model-Driven Constraint Engineering |
134
Voted
LSO
2001
Springer
15 years 8 months ago
2001
Springer
Knowledge is a vital component for organisational growth and data mining provides the technological basis for automated knowledge elicitation from data sources. The emergence of Ap...
131
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
114
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
142
Voted
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
146
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...