Sciweavers

429 search results - page 35 / 86
» An Adaptation-based Approach to Incrementally Build Componen...
Sort
View
PCI
2001
Springer
15 years 8 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
OMER
2001
15 years 5 months ago
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
Holger Giese, Ulrich Nickel
ICSE
2007
IEEE-ACM
16 years 4 months ago
Plug-and-Play Architectural Design and Verification
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
Shangzhu Wang, George S. Avrunin, Lori A. Clarke
JSW
2007
123views more  JSW 2007»
15 years 4 months ago
A Taxonomy for a Constructive Approach to Software Evolution
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
AIED
2007
Springer
15 years 10 months ago
Porting an Intelligent Tutoring System across Domains
One possible approach to reducing the cost of developing an intelligent tutoring system (ITS) is to reuse the components of an existing ITS. We used this approach to develop an And...
Min Chi, Kurt VanLehn