979 search results - page 120 / 196 » Automated Environment Generation for Software Model Checking |
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
FPL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...