2558 search results - page 27 / 512 » Model Composition Contracts |
133
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
JISBD
2001
15 years 3 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
77
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
145
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...