898 search results - page 81 / 180 » The Certification of Software Tools with respect to Software... |
WORDS
2002
IEEE
15 years 2 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
CC
2001
Springer
15 years 2 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
: A learning system to facilitate the integration of Geographical Information Systems (GIS) into the Civil Engineering curriculum is described in this paper. The principal learning...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...