Sciweavers

1069 search results - page 99 / 214
» Automatic Generation of Language-based Tools
Sort
View
CSMR
2008
IEEE
15 years 9 months ago
A Flexible Framework to Support Collaborative Software Evolution Analysis
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
Marco D'Ambros, Michele Lanza
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 8 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
COMPSAC
2002
IEEE
15 years 7 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
EDBT
2004
ACM
129views Database» more  EDBT 2004»
16 years 2 months ago
T-Araneus: Management of Temporal Data-Intensive Web Sites
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
Paolo Atzeni, Pierluigi Del Nostro
EDBT
2009
ACM
98views Database» more  EDBT 2009»
15 years 9 months ago
A runtime approach to model-independent schema and data translation
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
Paolo Atzeni, Luigi Bellomarini, Francesca Bugiott...