This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Components are nowadays considered the next step in information system development. Components are assumed to foster reuse and flexibility, and reduce the complexity of distribute...
Nico H. Lassing, Daan B. B. Rijsenbrij, Johannes C...
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...