3828 search results - page 456 / 766 » Proof-Based System Engineering Using a Virtual System Model |
168
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
176
click to vote
WSC
1998
15 years 8 months ago
1998
Many simulation systems are standalone, running only on a desktop and having limited capabilities to integrate with other technologies such as company databases, workflow engines,...
196
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
178
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
162
click to vote
SERA
2005
Springer
16 years 9 days ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...