1782 search results - page 169 / 357 » Tool Support for Proof Engineering |
160
click to vote
XPU
2005
Springer
15 years 12 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
173
click to vote
APSEC
2007
IEEE
16 years 25 days 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...
281
click to vote
AVI
2010
15 years 8 months ago
2010
When creating applications that should be available on multiple computing platforms, designers have to cope with different design tools and user interface toolkits. Incompatibilit...
193
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
168
click to vote
CBSE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...