2969 search results - page 100 / 594 » The Case for User-Centered CASE Tools |
165
click to vote
ICST
2008
IEEE
16 years 23 days ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
170
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
200
click to vote
HAIS
2011
Springer
14 years 9 months ago
2011
Springer
WEKA has recently become a very referenced DM tool. In spite of all the functionality it provides, it does not include any framework for the development of evolutionary algorithms....
157
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
123
click to vote
EOR
2007
15 years 6 months ago
2007
In this note we study the tool switching problem with non-uniform tool sizes. More specifically, we consider the problem where the job sequence is given as part of the input. We ...