1604 search results - page 54 / 321 » Development Separation in Lambda-Calculus |
OOIS
1997
Springer
13 years 11 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...
COMSIS
2007
13 years 7 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
HPDC
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
WSC
2004
13 years 9 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...