Sciweavers

604 search results - page 63 / 121
» Software Architecture Description and UML
Sort
View
QOSA
2010
Springer
15 years 5 months ago
Validating Model-Driven Performance Predictions on Random Software Systems
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
Vlastimil Babka, Petr Tuma, Lubomír Bulej
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
15 years 5 months ago
Software Implementation of Synchronous Programs
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
Charles Andre, Frédéric Boulanger, A...
CIMCA
2008
IEEE
15 years 8 months ago
Connector-Driven Gradual and Dynamic Software Assembly Evolution
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
KBSE
2010
IEEE
15 years 2 days ago
Analyzing security architectures
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
Marwan Abi-Antoun, Jeffrey M. Barnes
CAISE
2003
Springer
15 years 6 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp