5904 search results - page 120 / 1181 » Requirements for a Composition Language |
181
click to vote
SCESM
2006
ACM
16 years 6 hour ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
156
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
158
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
189
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
155
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...