2832 search results - page 275 / 567 » Flexible Modelling for Requirements Engineering |
154
click to vote
JAL
2008
15 years 6 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
186
Voted
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
167
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
185
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
159
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...