2700 search results - page 43 / 540 » The role of abstraction in software engineering |
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
ECSA
2010
Springer
13 years 9 months ago
2010
Springer
Modern middleware platforms provide the applications deployed on top of them with facilities for their adaptation. However, the level of adaptation support provided by the state-of...
PPPJ
2003
ACM
14 years 1 months ago
2003
ACM
Roles are a powerful paradigm to develop distributed applications based on agents, especially when they are in need of interacting with other entities. An agent-oriented approach ...
KBSE
1998
IEEE
14 years 23 days ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
