74 search results - page 3 / 15 » Separation Of Concerns in Multi-language Specifications |
LCTRTS
2010
Springer
13 years 4 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
AMAST
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
ENTCS
2006
13 years 6 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
FTDCS
2003
IEEE
13 years 11 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...
ESTIMEDIA
2008
Springer
13 years 8 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...