1676 search results - page 144 / 336 » Formal System Development with KIV |
149
click to vote
FMCO
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
175
click to vote
DEXA
1997
Springer
15 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
110
click to vote
CHI
1992
ACM
15 years 8 months ago
1992
ACM
We studied CAD system users to find out how they use the sophisticated customization and extension facilities offered by many CAD products. We found that users of varying levels o...
136
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
124
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...