2935 search results - page 208 / 587 » An Integrated Approach to High Integrity Software Verificati... |
191
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
155
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
157
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
172
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...
176
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Integration of complex systems out of existing systems is an active area of research and development. There are many practical situations in which the interfaces of the compon...