—IMS Learning Design (LD) has emerged as one of the most significant developments in education technology recently. As focusing on learning processes and activities in E-learning...
Object-oriented legacy systems are hard to maintain because they are hard to understand. One of the main understanding problems is revealed by the so-called ”yo-yo effect” tha...
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...