3045 search results - page 144 / 609 » Formal Approaches to Software Architecture |
FMCO
2005
Springer
15 years 4 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
116
click to vote
SEKE
1995
Springer
15 years 2 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
100
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
CSMR
2004
IEEE
15 years 2 months ago
2004
IEEE
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...