263 search results - page 1 / 53 » An Extensible Type System for Component-Based Design |
124
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
123
Voted
EMSOFT
2001
Springer
15 years 7 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...
123
click to vote
EDOC
2003
IEEE
15 years 8 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...
150
Voted
ATVA
2008
Springer
15 years 4 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...
131
Voted
COMPSAC
2005
IEEE
15 years 4 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...