Search Sciweavers | Sciweavers

8083 search results - page 79 / 1617

» A Formalization of Software Architecture

click to vote

ISOLA
2004
Springer

115views Formal Methods» more ISOLA 2004»

System Architecture Evaluation Using Modular Performance Analysis - A Case Study

14 years 1 months ago

Download www.tik.ee.ethz.ch

Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...

claim paper

Read More »

click to vote

COMPSAC
2002
IEEE

140views Software Engineering» more COMPSAC 2002»

From MSC and UML to SDL

14 years 20 days ago

Download www.iml.ece.mcgill.ca

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

claim paper

Read More »

click to vote

ICFEM
2010
Springer

734views Software Engineering» more ICFEM 2010»

Dynamic Resource Reallocation between Deployment Components

13 years 6 months ago

Download heim.ifi.uio.no

Abstract. Today’s software systems are becoming increasingly conﬁgurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...

claim paper

Read More »

click to vote

ICECCS
2009
IEEE

108views Hardware» more ICECCS 2009»

Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors

14 years 2 months ago

Download www.hydramiddleware.eu

Weishan Zhang, Klaus Marius Hansen, João Fe...

claim paper

Read More »