Sciweavers

484 search results - page 85 / 97
» Runtime software adaptation: framework, approaches, and styl...
Sort
View
WER
2004
Springer
15 years 3 months ago
Towards Requirement Traceability in TROPOS
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
Andréa Castor, Rosa Pinto, Carla T. L. L. S...
JUCS
2007
110views more  JUCS 2007»
14 years 10 months ago
Self-Evolving Petri Nets
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
Lorenzo Capra, Walter Cazzola
MIDDLEWARE
2004
Springer
15 years 3 months ago
On the benefits of decomposing policy engines into components
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
Konstantin Beznosov
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 2 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
EIS
2011
290views ECommerce» more  EIS 2011»
14 years 5 months ago
Code query by example
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
Sebastien Vaucouleur