Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Adaptation and personalization services of the information offered to the users in open e-learning environments are considered to be the turning point of recent research efforts. ...
Abstract. Modern Web applications are full-fledged, complex software systems. Therefore, the development of Web applications requires a methodologically sound engineering approach ...