Methods for Software Specification Jan Kožusznik. Dept. of Computer Science Technical University of Ostrava [email protected] .