Sciweavers

3514 search results - page 8 / 703
» Evolving Specification Engineering
Sort
View
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 5 months ago
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Djihed Afifi, David E. Rydeheard, Howard Barringer
AOSE
2007
Springer
13 years 11 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
ICSM
2007
IEEE
14 years 1 months ago
Agree or Change! Making Services Evolve
Paolo Traverso, Marco Pistore
SCAM
2006
IEEE
14 years 1 months ago
Evolving TXL
Adrian D. Thurston, James R. Cordy