898 search results - page 8 / 180 » The Certification of Software Tools with respect to Software... |
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
WCRE
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
BMCBI
2010
13 years 7 months ago
2010
Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
SIGCSE
1999
ACM
13 years 11 months ago
1999
ACM
This paper describes our experiences in having students build a software engineering tool as a course project in a CS2 course. The tool, which we called JDuck Java DocumenterofCo...
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
14 years 18 days ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...