171 search results - page 3 / 35 » Precise Documentation of Critical Software |
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
12 years 2 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
TASE
2010
IEEE
13 years 1 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
JGS
2000
13 years 6 months ago
2000
This paper is concerned with the intersection of GIS and spatial analysis, its accessibility for scientists who may be less methodologically oriented than others, and its use in su...
RTS
2010
13 years 1 months ago
2010
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
SIGIR
2006
ACM
14 years 29 days ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...