Sciweavers

8083 search results - page 306 / 1617
» A Formalization of Software Architecture
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
159
Voted
COMPSAC
2000
IEEE
15 years 11 months ago
Integration in Component-Based Software Development Using Design Patterns
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
Stephen S. Yau, Ning Dong
IWSAS
2000
Springer
15 years 10 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...
CSMR
2009
IEEE
16 years 1 months ago
Identifying Architectural Bad Smells
Certain design fragments in software architectures can have a negative impact on system maintainability. In this paper, we introduce the concept of architectural “bad smells,”...
Joshua Garcia, Daniel Popescu, George Edwards, Nen...
IWSAS
2000
Springer
15 years 10 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...