Abstract This is the second issue in new “Competitions and Challenges” (CoCha) theme of International Journal on Software Tools for Technology Transfer. The was established to support competitions challenges with an appropriate publication venue. first presented competition software testing Test-Comp 2019, which part TOOLympics 2019 event. In this TOOLympics, we present selected reports. event ...

This paper describes the lessons learned from an application of formal specification techniques in the development of a security-critical system within a UK company. The authors advocate the gradual introduction of formal methods, beginning with an appreciation of existing development processes, and discuss the rôle played by non-software professionals, executable specifications, formal proof, ...

Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. Application of formal techniques can make the speciications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing. ...

This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.