2935 search results - page 73 / 587 » An Integrated Approach to High Integrity Software Verificati... |
145
click to vote
CISIS
2009
IEEE
15 years 2 months ago
2009
IEEE
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
116
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
154
click to vote
IUI
1997
ACM
15 years 8 months ago
1997
ACM
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
111
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
124
click to vote
CSEE
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports experiences from an experiment in a software architecture course where the focus was both on giving students valuable education as well as getting important emp...