Context sensitivity and ambiguity in component-based systems design
Description:
Designers of components-based, real-time systems need to guarantee to correctness of soft-ware and its output. Complexity of a system, and thus the propensity for error, is best characterized by the number of states a component can encounter. In many cases, large numbers of states arise where the processing is highly dependent on context. In these cases, states are often missed, leading to errors. The following are proposals for compactly specifying system states which allow the factoring of co…
more
Date:
October 1, 1997
Creator:
Bespalko, Stephen J. & Sindt, Alexander
Item Type:
Refine your search to only
Article
Partner:
UNT Libraries Government Documents Department