Sciweavers

167 search results - page 1 / 34
» A Formal Approach to Component Adaptation and Composition
Sort
View
ACSC
2005
IEEE
13 years 10 months ago
A Formal Approach to Component Adaptation and Composition
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
David Hemer
WSC
2007
13 years 7 months ago
Exploiting web service techniques for composing simulation models
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
Mathias Röhl, Florian Marquardt, Adelinde M. ...
IWFM
2000
162views Formal Methods» more  IWFM 2000»
13 years 6 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
ENTCS
2006
135views more  ENTCS 2006»
13 years 5 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
AINA
2007
IEEE
13 years 11 months ago
A Utility-Based Adaptivity Model for Mobile Applications
Mobile environments are characterized by resource fluctuations and limitations, and variations in user preferences. Therefore mobile applications need to be adaptive to retain us...
Mourad Alia, Viktor S. Wold Eide, Nearchos Paspall...