1487 search results - page 63 / 298 » On Validating Engineering Design Decision Support Tools |
133
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
135
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Software developers are rooted in the written form of their code, yet they often draw diagrams representing their code. Unfortunately, we still know little about how and why they ...
165
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
155
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
141
click to vote
ENTCS
2010
15 years 1 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...