Sciweavers

205 search results - page 14 / 41
» Architecting families of software systems with process algeb...
Sort
View
ICSE
2003
IEEE-ACM
14 years 7 months ago
Experiences from the Architectural Change Process
A good software architecture is becoming recognized as a major factor for successful products. There has been much research on the technical aspects of software architecture and i...
Josef Nedstam, Even-André Karlsson, Martin ...
ICSM
2002
IEEE
14 years 13 days ago
Architecture Analysis Tools to Support Evolution of Large Industrial Systems
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
Tobias Rötschke, René L. Krikhaar
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 2 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
SEKE
2005
Springer
14 years 29 days ago
Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
Chung-Horng Lung, Marzia Zaman
AMAST
1995
Springer
13 years 11 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki