535 search results - page 64 / 107 » Research on Support Tools for Object-Oriented Software Reeng... |
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
IUI
1993
ACM
15 years 2 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
TOSEM
2002
14 years 9 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
107
click to vote
IJCNN
2000
IEEE
15 years 1 months ago
2000
IEEE
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...
PEPM
2004
ACM
15 years 3 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...