181 search results - page 10 / 37 » Testing Java Components based on Algebraic Specifications |
IMCSIT
2010
13 years 4 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
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
KBSE
2002
IEEE
14 years 11 days ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
ESTIMEDIA
2003
Springer
14 years 20 days ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...