7202 search results - page 1127 / 1441 » Software System Engineering: A Tutorial |
177
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured domain objects, which r...
137
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
179
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
158
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
199
click to vote
APSEC
1996
IEEE
15 years 11 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...