18898 search results - page 363 / 3780 » The Making of a Software Engineer |
202
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the design and implementation of the Office Assistant – an agent that interacts with visitors at the office door and manages the office owner’s schedule. ...
180
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
130
click to vote
PEPM
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
148
Voted
IUI
1993
ACM
15 years 11 months ago
1993
ACM
We examine the need for plan inference in intelligent help mechanisms. We argue that previous approaches have drawbacks that need to be overcome to make plan inference useful. Fir...
182
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...