2969 search results - page 159 / 594 » The Case for User-Centered CASE Tools |
140
click to vote
IWANN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present our ideas about the integration of agent technology with other technologies to build specific assistive tools for the people with disabilities and for the new...
153
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
151
click to vote
ECRTS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
169
click to vote
JCKBSE
2008
15 years 8 months ago
2008
This paper presents the main characteristics and capabilities of Usability Logger software tool, used in the usability evaluation of Human Computer interaction interfaces. Usabilit...
164
click to vote
FBT
1997
15 years 7 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...