1312 search results - page 28 / 263 » Embedded contract languages |
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
131
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
105
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
110
click to vote
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
UML
2001
Springer
15 years 4 months ago
2001
Springer
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...