4917 search results - page 191 / 984 » Software Engineering is Not Computer Science |
114
Voted
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
126
Voted
IUI
1999
ACM
15 years 7 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
104
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
100
Voted
APL
1998
ACM
15 years 7 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
114
Voted
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...