Ikuti
Maria Spichkova
Maria Spichkova
School of Computing Technologies, RMIT University, Australia
Email yang diverifikasi di rmit.edu.au - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Sustainability requirements for eLearning systems: a systematic literature review and analysis
AD Alharthi, M Spichkova, M Hamilton
Requirements Engineering 24 (4), 523-543, 2019
1092019
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
682018
Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle
M Spichkova
Technical University Munich, Germany, 2007
612007
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
522020
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
502013
Human Factors of Formal Methods
M Spichkova
IADIS Interfaces and Human Computer Interaction 2012 (IHCI 2012), 2012
462012
Towards verified automotive software
J Botaschanjan, L Kof, C Kühnel, M Spichkova
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005
432005
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
Industry-Oriented Project-based Learning of Software Engineering
M Spichkova
24th International Conference on Engineering of Complex Computer Systems …, 2019
402019
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
37*2013
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
352015
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
352014
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
352012
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
312015
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
312008
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
312008
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
312008
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
282016
Enhancing learning experience by collaborative industrial projects
M Simic, M Spichkova, H Schmidt, I Peake
ICEER 2016, 1-8, 2016
282016
A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry System Case Study
M Feilkas, F Hölzl, C Pfaller, S Rittmann, B Schätz, W Schwitzer, W Sitou, ...
Technische Universität München, Tech. Rep., 2011
272011
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20