Sciweavers

5228 search results - page 266 / 1046
» Case Studies for Software Engineers
Sort
View
B
2007
Springer
16 years 27 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
ICSE
2003
IEEE-ACM
16 years 6 months ago
The Deployer's Problem: Configuring Application Servers for Performance and Reliability
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
Mukund Raghavachari, Darrell Reimer, Robert D. Joh...
VAMOS
2008
Springer
15 years 8 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
FOSSACS
2005
Springer
16 years 7 days ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
SAC
2009
ACM
16 years 1 months ago
Eliciting required characteristics for usable requirements engineering approaches
It has been reported that many software companies do not use existing requirements engineering approaches. This indicates that there is room and opportunity for improving the usab...
Kristina Winbladh, Hadar Ziv, Debra J. Richardson