Sciweavers

5180 search results - page 71 / 1036
» Requirements Engineering
Sort
View
RE
2002
Springer
13 years 9 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
AOSD
2003
ACM
14 years 2 months ago
Modularisation and composition of aspectual requirements
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
Awais Rashid, Ana M. D. Moreira, João Ara&u...
INFSOF
2006
160views more  INFSOF 2006»
13 years 9 months ago
B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and
Ensuring that organizational IT is in alignment with and provides support for an organization's business strategy is critical to business success. Despite this, business stra...
Steven J. Bleistein, Karl Cox, June M. Verner, Kei...
CAISE
2009
Springer
14 years 4 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
SOSE
2006
IEEE
14 years 3 months ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...