Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : CRIM
labStructName_s : Faculty of Electrical Engineering [Prague]
Image document

Understanding Formal Description of Pitch-Based Input

Ondřej Poláček , Zdeněk Míkovec
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩
Conference papers hal-01055204v1
Image document

From Scenarios to Test Implementations Via Promela

Andreas Ulrich , El-Hachemi Alikacem , Hesham H. Hallal , Sergiy Boroday
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.236-249, ⟨10.1007/978-3-642-16573-3_17⟩
Conference papers hal-01055249v1
Image document

Web Applications Usability Testing with Task Model Skeletons

Ivo Maly , Zdenek Mikovec
Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.158-165, ⟨10.1007/978-3-642-16488-0_13⟩
Conference papers hal-01055207v1