Sciweavers

2118 search results - page 107 / 424
» Execution of A Requirement Model in Software Development
Sort
View
143
Voted
ECRA
2002
129views more  ECRA 2002»
15 years 4 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
WETICE
2003
IEEE
15 years 10 months ago
Developing Adaptive and Context-aware Applications in Dynamic Networks
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
Marco Mamei, Franco Zambonelli, Letizia Leonardi
QOSA
2010
Springer
15 years 8 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...
FMOODS
2003
15 years 6 months ago
Managing the Evolution of .NET Programs
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
Susan Eisenbach, Vladimir Jurisic, Chris Sadler
OOPSLA
2005
Springer
15 years 10 months ago
AutAT: an eclipse plugin for automatic acceptance testing of web applications
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
Christian Schwarz, Stein Kåre Skytteren, Tro...