2935 search results - page 187 / 587 » An Integrated Approach to High Integrity Software Verificati... |
183
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...
142
click to vote
SEFM
2007
IEEE
16 years 25 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
159
click to vote
CBSQ
2003
Springer
15 years 11 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
185
click to vote
ESAS
2005
Springer
16 years 3 days ago
2005
Springer
Wireless sensor networks are envisioned to be deployed in mission-critical applications. Detecting a compromised sensor, whose memory contents have been tampered, is crucial in the...
183
click to vote
LSGRID
2004
Springer
15 years 12 months ago
2004
Springer
High-throughput proteome annotation refers to the activity of extracting information from all proteins in a particular organism using bioinformatics software on a high performance ...