731 search results - page 13 / 147 » Specification Matching of Software Components |
IMCSIT
2010
13 years 7 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
HASE
1997
IEEE
14 years 2 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
APSEC
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
CBSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...