12670 search results - page 435 / 2534 » Requirements Modeling |
227
click to vote
CMSB
2009
Springer
16 years 2 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
189
click to vote
CBSE
2009
Springer
16 years 2 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
201
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
193
click to vote
EMSOFT
2003
Springer
16 years 26 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
214
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...