1604 search results - page 9 / 321 » Development Separation in Lambda-Calculus |
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
ECOOPW
1999
Springer
15 years 3 months ago
1999
Springer
95
Voted
HASE
1998
IEEE
15 years 3 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
15 years 4 months 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 ...
84
Voted
FASE
2006
Springer
15 years 3 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...