Sciweavers

3357 search results - page 422 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
ADAEUROPE
2007
Springer
16 years 13 days 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
16 years 12 days 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
16 years 11 days 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
16 years 10 days 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...
GECCO
2004
Springer
197views Optimization» more  GECCO 2004»
15 years 11 months ago
Applying Evolutionary Testing to Search for Critical Defects
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
André Baresel, Harmen Sthamer, Joachim Wege...