Sciweavers

3514 search results - page 8 / 703
» Evolving Specification Engineering
Sort
View
RV
2010
Springer
119views Hardware» more  RV 2010»
14 years 7 months ago
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Djihed Afifi, David E. Rydeheard, Howard Barringer
AOSE
2007
Springer
15 years 1 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
15 years 3 months ago
Agree or Change! Making Services Evolve
Paolo Traverso, Marco Pistore
SCAM
2006
IEEE
15 years 3 months ago
Evolving TXL
Adrian D. Thurston, James R. Cordy