User: Guest  Login
Document type:
Technical Report 
Author(s):
Christian Kuehnel; Andreas Bauer; Michael Tautschnig 
Title:
Compatibility and reuse in component-based systems via type and unit inference 
Abstract:
In many branches of industry, the component-based approach to systems design is predominant, e.g., as in embedded control systems which are often modelled using MATLAB/Simulink. In order to facilitate reuse, and to raise the level of abstraction for future designs and frequently used functions, the employed tool sets offer built-in mechanisms to create sophisticated component libraries. For large, real-world designs, however, it is not always clear, whether or not a certain context violates even...    »
 
Keywords:
syntactic compatibility; type system; component-based language; model-based software engineering 
Year:
2007 
Year / month:
2007-05-01 00:00:00 
Pages:
59