87 search results - page 1 / 18 » A theory of modularity for automated software development (k... |
IFIP
1989
Springer
13 years 9 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
ECSCW
1997
13 years 7 months ago
1997
The use of workflow technology has created considerable discussion within the CSCW community. Although the debates have been grounded in theories of work, less has been written abo...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
CCL
1994
Springer
13 years 9 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
SPLC
2007
13 years 6 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...