1604 search results - page 9 / 321 » Development Separation in Lambda-Calculus |
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
HASE
1998
IEEE
13 years 12 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
ICRA
2002
IEEE
14 years 16 days ago
2002
IEEE
A new approach to the separation of multiple stacked cards is presented. Separation of multiple stacked cards is a key operation in many mechatronic devices such as copy machines ...
FASE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The separation of concerns, as a conceptual tool, enables us to manage the complexity of the software systems that we develop. There have been a number of approaches aime...