Sciweavers

2700 search results - page 102 / 540
» The role of abstraction in software engineering
Sort
View
FASE
2010
Springer
15 years 9 months ago
An Automata-Theoretic Approach to Hardware/Software Co-verification
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
EMISA
2002
Springer
15 years 6 months ago
Developing software families
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
Silva Robak
EWSA
2004
Springer
15 years 11 months ago
Maintainability through Architecture Development
Abstract. This position paper investigates on the need to put software architecture evaluations for maintainability in a broader perspective than is done until now.
Bas Graaf
ASWEC
2005
IEEE
15 years 12 months ago
Software Reuse across Robotic Platforms: Limiting the Effects of Diversity
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
Glenn Smith, Robert Smith, Aster Wardhani
SOCO
2007
Springer
16 years 12 days ago
Generic Feature-Based Software Composition
Abstract. Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs....
Tijs van der Storm