1099 search results - page 8 / 220 » A tool for assisting the understanding and formal developmen... |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...
ICSM
2002
IEEE
14 years 17 days ago
2002
IEEE
One of the most critical issues in large-scale software development and maintenance is the rapidly growing size and complexity of software systems. As a result of this rapid growt...
LCTRTS
1998
Springer
13 years 12 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
FM
1998
Springer
13 years 12 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...