Ing. Martin Komárek

The book topics are based on a survey, which of the current areas in the software testing are considered as the most challenging and problematic. The book is covering the following questions: How to estimate and plan software testing process realistically? What to ensure to manage the tests efficiently? How to measure efficiency of testing process to improve it continuously? How to ensure a stabile testing environment and testing data of adequate quality? How to involve the investor and future users of the ICT system to the testing process efficiently? How to solve operational issues during the testing process?

Iteration-based software development is a popular and widely used software development approach. Therefore students have to get familiar with it; however it is difficult for them to work iteratively. We designed new courses aimed at software development in a way in which students are forced to use incremental and iterative development instead of the waterfall model. The new project-oriented courses focus on project management (regular planning and reporting) and emphasize students\' motivation toward project success.

The goal of this article is to provide and discuss examples of practical methods for improving soft skills. All of the methods have been developed and tested in undergraduate software engineering courses. From 2005 to 2009, more than 2000 students participated in these courses. These methods are based on the experiential learning style.

Teaching courses with hundreds of students has special attributes. The main attribute are the great number of exercises, which are out of scope of the lecturer. This paper deals with methods and possibilities, how to minimize such teaching load. The paper deals with possibilities, how to minimize the teaching load without loose of quality. We discuss methods called "colloquiums", "atelierization" , and "team works". The paper makes an attempt to indicate possible solutions of problems of exhaustive teaching load in the huge courses. The presented principles are the outcome of experiments with the teaching of software engineering courses at the Faculty of Electrical Engineering of Czech Technical University in Prague.

Unified modeling language, the currently leading specification and modeling technique used in industry, still has not widely accepted formal representation that might decrease the costs of application of formal methods, which opens the door for intensive utilization of formal methods in workaday development of systems. Nevertheless, this seems to be a less serious problem in the case of critical systems where reliability is a very important property of the system and the portion of overall costs spent on demonstration of system's correctness is significant. The use of specialized formal specification languages and verification techniques can often bring satisfying results, and thus combination of various formal representations and verification techniques is useful.

Automatic train route settings is coming to be standard function in the new generation interlocking systems. This article present advantages of systems with automatic route settings and mention unsolved problem connected with implementation in Czech Republic.