Sciweavers

8083 search results - page 79 / 1617
» A Formalization of Software Architecture
Sort
View
ISOLA
2004
Springer
15 years 9 months ago
System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...
COMPSAC
2002
IEEE
15 years 8 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
ICFEM
2010
Springer
15 years 2 months ago
Dynamic Resource Reallocation between Deployment Components
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...