932 search results - page 112 / 187 » Improving Requirements Engineering by Quality Modelling - A ... |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
AADEBUG
1997
Springer
14 years 1 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
TACS
1997
Springer
14 years 17 days ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...