348 search results - page 42 / 70 » An Incremental Summary Generation System |
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
WISE
2000
Springer
14 years 2 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...
AMTA
2004
Springer
14 years 3 months ago
2004
Springer
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
ENTCS
2007
13 years 9 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...