Sciweavers

553 search results - page 6 / 111
» A Perspective on Component Refinement
Sort
View
ICWE
2003
Springer
13 years 12 months ago
Partitioning the Navigational Model: A Component-Driven Approach
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
Stephen Kerr, Daniel M. Germán
FAC
2006
92views more  FAC 2006»
13 years 6 months ago
Action Refinement Applied to Late Decisions
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
Harald Fecher, Mila E. Majster-Cederbaum
CISSE
2009
Springer
13 years 4 months ago
Optimal Component Selection for Component-Based Systems
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...
Muhammad Ali Khan, Sajjad Mahmood
EMSOFT
2008
Springer
13 years 8 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
TSE
2002
94views more  TSE 2002»
13 years 6 months ago
Behavior Protocols for Software Components
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
Frantisek Plasil, Stanislav Visnovsky