3931 search results - page 72 / 787 » Separation logic and abstraction |
EMSOFT
2004
Springer
15 years 1 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
MP
2010
14 years 8 months ago
2010
Abstract; Dedicated to Alan J. Hoffman Ball et al. propose a graph model for material compatibility constraints for products such as PCs made from components, where each componen...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Fluoroscopic images contain useful information that is difficult to comprehend due to the collapse of the 3D information into 2D space. Extracting the informative layers ...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Traditionally, the use of good techniques to improve software modularity, such as advanced separation of concerns, has no impact in the user experience, for example while...