3444 search results - page 72 / 689 » A Theory of Object-Oriented Design |
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
WICSA
2008
13 years 10 months ago
2008
Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...
VLDB
2005
ACM
14 years 9 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...