RE
1997
Springer
14 years 3 days ago
1997
Springer
RE
1997
Springer
14 years 3 days ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
RE
1997
Springer
14 years 3 days ago
1997
Springer
RE
1997
Springer
14 years 3 days ago
1997
Springer
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
RE
1997
Springer
14 years 3 days ago
1997
Springer
RE
1997
Springer
14 years 3 days ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
PEPM
1997
ACM
14 years 3 days ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
PEPM
1997
ACM
14 years 3 days ago
1997
ACM
PEPM
1997
ACM
14 years 3 days ago
1997
ACM
PEPM
1997
ACM
14 years 3 days ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...