309 search results - page 55 / 62 » The Evolution Tree: A Maintenance-Oriented Software Developm... |
ECIS
2003
14 years 11 months ago
2003
Researches that have recently investigated the impact of developments in Information Technologies (IT) on human capital in the banking industry analysed only marginally the evolut...
MEDES
2009
ACM
15 years 4 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
PPPJ
2003
ACM
15 years 3 months ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...