Sciweavers

1779 search results - page 221 / 356
» Requirements Engineering and Agile Software Development
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 9 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
KBSE
2008
IEEE
15 years 12 months ago
XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability Gap
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
Wiwat Ruengmee, Roberto Silveira Silva Filho, Sush...
131
Voted
VSTTE
2005
Springer
15 years 11 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
FASE
2010
Springer
16 years 9 days ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...
ICSEA
2008
IEEE
15 years 12 months ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...