1564 search results - page 103 / 313 » Tool Support for Architectural Decisions |
188
Voted
JUCS
2010
15 years 27 days ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
181
Voted
DKE
2007
15 years 6 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
162
click to vote
SEUS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
186
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
134
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
Despite the importance of analytical tools to organisations, they still lack the inference power needed to solve the requests of decision mak...