Sciweavers

6751 search results - page 185 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
ECBS
2005
IEEE
93views Hardware» more  ECBS 2005»
15 years 7 months ago
Embedded System Engineering Using C/C++ Based Design Methodologies
This paper analyzes and compares the effectiveness of various system level design methodologies in assessing performance of embedded computing systems from the earliest stages of ...
Claudio Talarico, Aseem Gupta, Ebenezer Peter, Jer...
101
Voted
ATAL
2003
Springer
15 years 7 months ago
Minimizing communication cost in a distributed Bayesian network using a decentralized MDP
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
Jiaying Shen, Victor R. Lesser, Norman Carver
158
Voted
RE
2010
Springer
14 years 8 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof
OOPSLA
2007
Springer
15 years 7 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
RE
2009
Springer
15 years 6 months ago
Modeling Service-Level Requirements: A Constancy Perspective
IT service requirements offer a seemingly classic Requirements Engineering (RE) problem. But, when attempting to solve it with RE methods, we are faced with difficulties. RE metho...
Gil Regev, Olivier Hayard, Donald C. Gause, Alain ...