2127 search results - page 123 / 426 » Software Automation |
155
click to vote
ISSE
2010
15 years 4 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
152
click to vote
LISA
1998
15 years 7 months ago
1998
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...
142
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
170
click to vote
IJCAI
2007
15 years 7 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...