1782 search results - page 163 / 357 » Tool Support for Proof Engineering |
195
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
169
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
172
click to vote
VAMOS
2009
Springer
16 years 1 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
160
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat s...
137
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
The reasons for the lack of uptake of the semantic web amongst ordinary users can be attributed to technology perception, comprehensibility and ease of use. To address these three ...