2935 search results - page 233 / 587 » An Integrated Approach to High Integrity Software Verificati... |
209
click to vote
ITICSE
2006
ACM
16 years 18 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
167
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
170
click to vote
GECCO
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
177
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...