Sciweavers

4799 search results - page 4 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
SPLC
2010
13 years 5 months ago
Configuring Software Product Line Feature Models Based on Stakeholders' Soft and Hard Requirements
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
Ebrahim Bagheri, Tommaso Di Noia, Azzurra Ragone, ...
ECIS
2004
13 years 8 months ago
Requirements Engineering During Global Software Development: Some Impediments to the Requirements Engineering Process: a case st
Requirements engineering is not straightforward for any software development team. Developing software when team members are located in widely distributed geographic locations pos...
Jo Hanisch, Brian J. Corbitt
ICECCS
2010
IEEE
182views Hardware» more  ICECCS 2010»
13 years 7 months ago
Engineering Quality Requirements Using Quality Models
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...
Klaus Lochmann
EUROMICRO
2000
IEEE
13 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
RE
2002
Springer
13 years 7 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