1782 search results - page 54 / 357 » Tool Support for Proof Engineering |
XPU
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents “ActiveStory Enhanced” as a tool that enables prototyping user interfaces and conducting usability tests in a way that is aligned with agile principles. The...
COMPSAC
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
ICSM
1996
IEEE
14 years 27 days ago
1996
IEEE
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
UIST
1995
ACM
14 years 8 days ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...