848 search results - page 50 / 170 » A Formal Monitoring-Based Framework for Software Development... |
EUROCRYPT
2009
Springer
14 years 9 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
TSE
2010
13 years 7 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
IEE
2008
13 years 8 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
TSE
1998
13 years 8 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...