Sciweavers

1926 search results - page 23 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
RISE
2005
Springer
15 years 3 months ago
Rapid System Development Via Product Line Architecture Implementation
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...
Mauro Caporuscio, Henry Muccini, Patrizio Pellicci...
VAMOS
2007
Springer
15 years 3 months ago
An Aspect-oriented Approach for Representing Variability in Product Line Architecture
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
Youngbong Kim, Mikyeong Moon, Keunhyuk Yeom
81
Voted
DATE
2003
IEEE
133views Hardware» more  DATE 2003»
15 years 2 months ago
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
Marco Göltze
107
Voted
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
JUCS
2008
158views more  JUCS 2008»
14 years 9 months ago
Algebraic Laws for Feature Models
: Software Product Lines (SPL) may be adopted by either bootstrapping existing software products into a SPL, or extending an existing SPL to encompass an additional software produc...
Rohit Gheyi, Tiago Massoni, Paulo Borba