2935 search results - page 189 / 587 » An Integrated Approach to High Integrity Software Verificati... |
174
click to vote
WSR
2008
15 years 8 months ago
2008
: Traceability of various artifacts created during the development of software systems plays an important role in software evolution. Subsequent changes to artifacts must be traced...
175
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
165
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
178
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
198
click to vote
UAI
1998
15 years 8 months ago
1998
People using consumer software applications typically do not use technical jargon when querying an online database of help topics. Rather, they attempt to communicate their goals ...