9974 search results - page 167 / 1995 » Software Interconnection Models |
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
140
click to vote
QOSA
2007
Springer
15 years 8 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
105
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...