1141 search results - page 96 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
169
click to vote
DATE
2008
IEEE
16 years 24 days ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
164
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
143
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
143
click to vote
ICESS
2007
Springer
16 years 15 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
146
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...