Sciweavers

996 search results - page 29 / 200
» A Compositional Model for Software Reuse
Sort
View
96
Voted
JOT
2006
106views more  JOT 2006»
15 years 3 months ago
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
Herbert Toth
147
Voted
SLE
2009
Springer
15 years 8 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...
127
Voted
CODES
2009
IEEE
15 years 8 months ago
A compositional modelling framework for exploring MPSoC systems
Anders Sejer Tranberg-Hansen, Jan Madsen
119
Voted
ICSR
2004
Springer
15 years 9 months ago
XML-Based Feature Modelling
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
Vaclav Cechticky, Alessandro Pasetti, O. Rohlik, W...
FSTTCS
2009
Springer
15 years 10 months ago
Simulation based security in the applied pi calculus
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Stéphanie Delaune, Steve Kremer, Olivier Pe...