263 search results - page 1 / 53 » An Extensible Type System for Component-Based Design |
TACAS
2000
Springer
13 years 8 months ago
2000
Springer
EMSOFT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
EDOC
2003
IEEE
13 years 10 months ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
ATVA
2008
Springer
13 years 6 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
COMPSAC
2005
IEEE
13 years 6 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...