5668 search results - page 298 / 1134 » The case for software evolution |
184
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
126
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
174
click to vote
ICOST
2010
Springer
15 years 10 months ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
243
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
135
click to vote
GAMEON
2007
15 years 8 months ago
2007
Nowadays it is not uncommon for computer games to be used as tools to help introduce basic computer science concepts. In this paper we argue that games could also be used in more ...