Sciweavers

3441 search results - page 400 / 689
» Provenance of Software Development Processes
Sort
View
PERCOM
2009
ACM
16 years 4 months ago
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
Wilfried Jouve, Julien Bruneau, Charles Consel
ADAEUROPE
2007
Springer
15 years 10 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ECSA
2007
Springer
15 years 10 months ago
Architecture Migration Driven by Code Categorization
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
Rui Correia, Carlos M. P. Matos, Reiko Heckel, Moh...
OSS
2007
Springer
15 years 10 months ago
Open Source Collaboration for Fostering Off-The-Shelf Components Selection
Abstract. The use of Off-The-Shelf software components in ComponentBased Development implies many challenges. One of them is the lack of available and well-suited data to support s...
Claudia P. Ayala, Carl-Fredrik Sørensen, Re...
SEMWEB
2007
Springer
15 years 10 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...