Follow
Maria Spichkova
Maria Spichkova
School of Computing Technologies, RMIT University, Australia
Verified email at rmit.edu.au - Homepage
Title
Cited by
Cited by
Year
Sustainability requirements for eLearning systems: a systematic literature review and analysis
AD Alharthi, M Spichkova, M Hamilton
Requirements Engineering 24 (4), 523-543, 2019
932019
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle
M Spichkova
Technical University Munich, Germany, 2007
602007
Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry
OAH Jones, M Spichkova, MJS Spencer
Journal of Chemical Education 95 (7), 1216-1220, 2018
582018
Design of formal languages and interfaces: “Formal” does not mean “unreadable”
M Spichkova
Emerging Research and Trends in Interactivity and the Human-Computer Interface, 2013
472013
Human Factors of Formal Methods
M Spichkova
IADIS Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012
452012
A top-down methodology for the development of automotive software
M Feilkas, A Fleischmann, F Hölzl, C Pfaller, K Scheidemann, ...
Technische Universität München, Tech. Rep. 902, 2009
422009
Towards verified automotive software
J Botaschanjan, L Kof, C Kühnel, M Spichkova
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005
422005
Cultural influence on requirements engineering activities: a systematic literature review and analysis
T Alsanoosy, M Spichkova, J Harland
Requirements Engineering 25 (3), 339-362, 2020
352020
Verified System Development with the AutoFocus Tool Chain
M Spichkova, F Hölzl, D Trachtenherz
2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012 …, 2012
342012
Human Factors in Software Reliability Engineering
M Spichkova, H Liu, M Laali, HW Schmidt
Workshop on Applications of Human Error Research to Improve Software …, 2015
332015
Cyber-Virtual Systems: Simulation, Validation & Visualization
JO Blech, M Spichkova, I Peake, H Schmidt
9th International Conference on Evaluation of Novel Approaches to Software …, 2014
332014
Do we really need to write documentation for a system
M Spichkova, X Zhu, D Mou
International Conference on Model-Driven Engineering and Software …, 2013
31*2013
On the correctness of upper layers of automotive systems
J Botaschanjan, M Broy, A Gruler, A Harhurin, S Knapp, L Kof, W Paul, ...
Formal aspects of computing 20 (6), 637-662, 2008
302008
Service-oriented modeling of CoCoME with Focus and AutoFocus
M Broy, J Fox, F Hölzl, D Koss, M Kuhrmann, M Meisinger, ...
The Common Component Modeling Example: Comparing Software Component Models …, 2008
302008
Service-oriented modeling of CoCoME with Focus and AutoFocus
M Broy, J Fox, F Hölzl, D Koss, M Kuhrmann, M Meisinger, ...
The Common Component Modeling Example, 177-206, 2008
302008
Industry-Oriented Project-based Learning of Software Engineering
M Spichkova
24th International Conference on Engineering of Complex Computer Systems …, 2019
292019
Chiminey: Reliable Computing and Data Management Platform in the Cloud
II Yusuf, IE Thomas, M Spichkova, S Androulakis, GR Meyer, DW Drumm, ...
37th International Conference on Software Engineering (ICSE 2015), 2015
282015
Test Case Prioritization Using Online Fault Detection Information
M Laali, H Liu, M Hamilton, M Spichkova, HW Schmidt
Reliable Software Technologies–Ada-Europe 2016, 78-93, 2016
272016
Towards modularized verification of distributed time-triggered systems
J Botaschanjan, A Gruler, A Harhurin, L Kof, M Spichkova, D Trachtenherz
International Symposium on Formal Methods, 163-178, 2006
272006
Enhancing learning experience by collaborative industrial projects
M Simic, M Spichkova, H Schmidt, I Peake
ICEER 2016, 1-8, 2016
262016
The system can't perform the operation now. Try again later.
Articles 1–20