Author-V.simko on D3S https://d3s.mff.cuni.cz/tags/author-v.simko/ Recent content in Author-V.simko on D3S Hugo en FOAM: A Lightweight Method for Verification of Use-Cases https://d3s.mff.cuni.cz/publications/simko_foam_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_foam_2012/ Formal Veriļ¬cation of Annotated Use Cases https://d3s.mff.cuni.cz/publications/simko_formal_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/simko_formal_report_2012/ Requirement Specifications Using Natural Languages https://d3s.mff.cuni.cz/publications/bures_requirement_report_2012/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/bures_requirement_report_2012/