168 search results - page 1 / 34 » The Application of Correctness Preserving Transformations to... |
ICSM
2000
IEEE
13 years 8 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
SAC
2008
ACM
13 years 3 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
IEAAIE
2003
Springer
13 years 9 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
FLAIRS
2001
13 years 5 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...