Sciweavers

IWSAS
2000
Springer
13 years 11 months ago
Software Mode Changes for Continuous Motion Tracking
Deepak R. Karuppiah, Patrick Deegan, Elizeth Arauj...
IWSAS
2000
Springer
13 years 11 months ago
Port-Based Adaptable Agent Architecture
To facilitate the design of large-scale, self-adaptive systems, we have developed the Port-Based Adaptable Agent Architecture. This distributed, multiagent architecture allows syst...
Kevin R. Dixon, Theodore Q. Pham, Pradeep K. Khosl...
IWSAPF
2000
13 years 11 months ago
A Comparison of Software Product Family Process Frameworks
A number of product family process frameworks has been published recently. These frameworks focus on different aspects of product family based development. We have investigated a v...
Tuomo Vehkomäki, Kari Känsälä
IWSAPF
2000
13 years 11 months ago
Software Connectors and Refinement in Family Architectures
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
Alexander Egyed, Nikunj R. Mehta, Nenad Medvidovic
IWSAPF
2000
13 years 11 months ago
Creating Product Line Architectures
The creation and validation of product line software architectures are inherently more complex than those of software architectures for single systems. This paper compares a proces...
Joachim Bayer, Oliver Flege, Cristina Gacek
WCRE
1998
IEEE
13 years 11 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
WADT
1998
Springer
13 years 11 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
IUI
2000
ACM
13 years 11 months ago
R2D2 in a softball: the portable satellite assistant
Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams,...
ISSTA
2000
ACM
13 years 11 months ago
Verifying properties of process definitions
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...