462 search results - page 82 / 93 » MMINT: A Graphical Tool for Interactive Model Management |
ESOP
2003
Springer
15 years 3 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
120
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
101
click to vote
CONCURRENCY
2002
14 years 9 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...
108
Voted
ZUM
1997
Springer
15 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
KDD
2010
ACM
14 years 8 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...