2935 search results - page 384 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
163
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...
163
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
143
click to vote
JCB
2007
15 years 6 months ago
2007
We present a novel approach to managing redundancy in sequence databanks such as GenBank. We store clusters of near-identical sequences as a representative union-sequence and a se...
151
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
In this paper, I make a case for integration of requirements engineering (RE) with clinical disciplines. To back my case, I look at two examples that employ a clinical RE approach...