Sciweavers

89 search results - page 1 / 18
» Towards a Dependency Constraint Language to Manage Software ...
Sort
View
ECSA
2008
Springer
13 years 6 months ago
Towards a Dependency Constraint Language to Manage Software Architectures
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...
Ricardo Terra, Marco Tulio de Oliveira Valente
EUROMICRO
2009
IEEE
13 years 11 months ago
An Architecture-Based Framework for Managing Adaptive Real-Time Applications
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blon...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
13 years 11 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
EWSA
2004
Springer
13 years 10 months ago
An Architecture Description Language for Mobile Distributed Systems
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
Volker Gruhn, Clemens Schäfer
WOSS
2004
ACM
13 years 10 months ago
Towards a knowledge-based approach to architectural adaptation management
Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
John C. Georgas, Richard N. Taylor