Sciweavers

18769 search results - page 62 / 3754
» Requirements Models in Context
Sort
View
MOMPES
2007
IEEE
15 years 10 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
RIVF
2003
15 years 5 months ago
Adaptable Fault Tolerance Requirements on Component Models
—Our work aims to provide adaptable fault tolerance for component-based systems through frameworks. In order to implement this approach, the underlying component model must fulï¬...
Phuong-Quynh Duong, Elizabeth Pérez Cort&ea...
ICRE
1998
IEEE
15 years 8 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
IJISEC
2006
88views more  IJISEC 2006»
15 years 3 months ago
Requirements engineering for trust management: model, methodology, and reasoning
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...
ICSOC
2010
Springer
15 years 2 months ago
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Ma...