2935 search results - page 154 / 587 » An Integrated Approach to High Integrity Software Verificati... |
170
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
184
click to vote
ECOWS
2009
Springer
15 years 9 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
191
click to vote
ICCBR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
193
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
175
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...