Sciweavers

KBSE
2006
IEEE
13 years 11 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
KBSE
2006
IEEE
13 years 11 months ago
An Instant Message-Driven User Interface Framework for Thin Client Applications
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
Matthias Book, Volker Gruhn, Gerald Mucke
KBSE
2006
IEEE
13 years 11 months ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
KBSE
2006
IEEE
13 years 11 months ago
Differencing and Merging of Architectural Views
Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas...