Sciweavers

93 search results - page 8 / 19
» Formal Models for Architecture Aspects and Their Weaving
Sort
View
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 3 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
INFSOF
2008
112views more  INFSOF 2008»
14 years 9 months ago
A catalog of architectural primitives for modeling architectural patterns
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...
Uwe Zdun, Paris Avgeriou
95
Voted
SCP
2010
154views more  SCP 2010»
14 years 7 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
EDOC
2004
IEEE
15 years 1 months ago
A Logical Viewpoint on Architectures
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
ENTCS
2008
108views more  ENTCS 2008»
14 years 9 months ago
Modelling Dynamic Software Architectures using Typed Graph Grammars
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...