Author:
Štolfa Svatopluk,Kožusznik Jan
Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science;C. Atkinson,2011
2. Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer (2010)
3. Kožusznik, J., Štolfa, S.: Basic Constructions for the Definition of the Software Development Process with Formal Method Paper read at the 2011 European Simulation and Modelling Conference (ESM 2011), Guimaraes (2011)
4. Kožusznik, J., Štolfa, S.: Knowledge based approach to software development process modeling. Paper read at Digital Information Processing and Communications, Ostrava (2011)
5. Kožusznik, J., Štolfa, S., Duží, M., Košinár, M., Číhalová, M.: Know How and Know What for Software Processes. In: Maciaszek, L.A., Loucopoulos, P. (eds.) ENASE 2010. CCIS, vol. 230, pp. 178–192. Springer, Heidelberg (2011)