 |
Dr.
Maria Spichkova
Dipl.-Inf., M.C.Sc.
|
 Chapter Design of formal languages and interfaces: “Formal” does not mean “unreadable” accepted for inclusion in the book Emerging Research and Trends in Interactivity and the Human-Computer Interface (Eds.: K. Blashki, P. Isaías)
Paper Do we really need to write documentation for a system? accepted to the MODELSWARD'13
Web
page for the FOCUS framework
|
|
Fields of
interest :
- Software
and Systems Engineering
- Formal
Methods and human aspects thereof
- Verification-Oriented Requirements
Engineering
- Specification and Verification of
Real-Time and Embedded Systems
- Theory of
Refinement and Abstraction
- Logic, Theoretical Computer Science
|
|
|
| E-mail:
|
 |
|
