In modern Industry 4.0 environments, real-time scheduling presents a complex challenge requiring both formal correctness guarantees and optimal performance. Background: Traditional approaches fail to provide an optimal integration between formal correctness guaranteeing and optimization, and...

This book provides a practical view of how to use requirements effectively. It contains several complete examples and practical material, and this way ideally complements Bertrand Meyer’s “Handbook of Requirements and Business Analysis”. It includes implementations of the important ideas...

The main purpose of this analytical research paper was to distinguish the importance/the contribution of development methods – formal/non-formal, the analysis of different programs framed on one of these, but also, the correlation of these development methods with the research population...

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in...