Sciweavers

8083 search results - page 9 / 1617
» A Formalization of Software Architecture
Sort
View
AAAI
2008
13 years 9 months ago
An Architecture and Formalism for Handling Modular Ontologies
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
Faezeh Ensan
WICSA
2004
13 years 8 months ago
Style-Based Refinement of Dynamic Software Architectures
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
EUROMICRO
2009
IEEE
14 years 2 months ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
13 years 11 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...
UML
1999
Springer
13 years 11 months ago
Enabling the Refinement of a Software Architecture into a Design
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
Marwan Abi-Antoun, Nenad Medvidovic