535 search results - page 64 / 107 » Research on Support Tools for Object-Oriented Software Reeng... |
SIGSOFT
2010
ACM
13 years 3 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
14 years 23 days 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
13 years 8 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...
IJCNN
2000
IEEE
14 years 8 days 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
14 years 2 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...