1710 search results - page 133 / 342 » High-Level Programs and Program Conditions |
WCRE
1999
IEEE
14 years 15 days ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
HIPS
1998
IEEE
14 years 14 days ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
ICCL
1998
IEEE
14 years 14 days ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
ALP
1992
Springer
14 years 9 days ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
IFIP
1989
Springer
14 years 8 days ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...