Sciweavers

1528 search results - page 153 / 306
» Object-Oriented Software Composition
Sort
View
MODELS
2007
Springer
14 years 3 months ago
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...
ISORC
2003
IEEE
14 years 2 months ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
COMPOS
1997
Springer
14 years 1 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
FORTE
2007
13 years 10 months ago
Composition of Model Programs
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
Margus Veanes, Colin Campbell, Wolfram Schulte
MKWI
2008
123views Business» more  MKWI 2008»
13 years 10 months ago
Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
Volker Kuttruff