1604 search results - page 140 / 321 » Development Separation in Lambda-Calculus |
102
click to vote
SSR
2001
15 years 1 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
95
Voted
UAI
2004
15 years 1 months ago
2004
The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with con...
WICSA
2004
15 years 1 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
95
Voted
WSC
2004
15 years 1 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
110
click to vote
SERP
2003
15 years 1 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...