2935 search results - page 58 / 587 » An Integrated Approach to High Integrity Software Verificati... |
113
click to vote
SELMAS
2004
Springer
15 years 9 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
157
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
140
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
140
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
129
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...