855 search results - page 92 / 171 » A Software Synthesis Tool for Distributed Embedded System De... |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes an agent-based architecture designed to support the interoperation of distributed and disparate information processing tools and resources. This work is based...