A vital task of software development is to test the correct implementation of functional requirements. Use cases are widely used artefacts that define the functionality of a software system in early stages of the development process. This paper exposes the lack of automatism in existing approaches that deal with the derivation of test cases, and introduces a new approach and tool to derive syst...

1.1. General Introduction Plesiosaurs are a group of secondarily aquatic diapsid reptiles belonging to the clade Sauropterygia (Carroll, 1988). Diapsids (subclass Diapsida) are a monophyletic group supported by both morphological and molecular data (Lee, 2001) including lizards, snakes, crocodiles and birds, and represent a major sub-group of the amniote vertebrates, i.e. vertebrate organisms w...

Adequate concepts, professionalism and ethics are identified as the goals in properly educating systems engineers for professional life. Criteria and concepts appropriate to design feasible solutions must be based on fully understanding the peculiarities of the environments where embedded systems are employed. Bad practices of the computing profession need to be overcome to foster professionali...