Sciweavers

996 search results - page 29 / 200
» A Compositional Model for Software Reuse
Sort
View
JOT
2006
106views more  JOT 2006»
15 years 5 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
SLE
2009
Springer
15 years 10 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...
CODES
2009
IEEE
15 years 10 months ago
A compositional modelling framework for exploring MPSoC systems
Anders Sejer Tranberg-Hansen, Jan Madsen
ICSR
2004
Springer
15 years 11 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
16 years 14 days 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...