462 search results - page 9 / 93 » MMINT: A Graphical Tool for Interactive Model Management |
106
click to vote
FM
1997
Springer
15 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
The molecular docking problem is to determine how molecules interact with other molecules and plays a key role in understanding how cells function. DockingShop is an integrated en...
109
click to vote
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
CHI
1993
ACM
15 years 1 months ago
1993
ACM
Modern computer users must often sift and manage vast amounts of hierarchically structured information. However, conventional interface tools have not kept pace with the informati...