2513 search results - page 233 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
190
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
153
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
187
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
157
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
167
click to vote
VAMOS
2007
Springer
16 years 17 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...