Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
RoboChart: modelling and verification of the functional behaviour of robotic applications
Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …
variety of applications, many with potential safety hazards. The work presented in this paper …
Robostar technology: A roboticist's toolbox for combined proof, simulation, and testing
Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …
machines are drawn to convey overall ideas and used as a basis to program tool-specific …
Design of formal languages and interfaces:“formal” does not mean “unreadable”
M Spichkova - Emerging Research and Trends in Interactivity and the …, 2014 - igi-global.com
This chapter provides an introduction to a work that aims to apply the achievements of
engineering psychology to the area of formal methods, focusing on the specification phase …
engineering psychology to the area of formal methods, focusing on the specification phase …
Human factors of formal methods
M Spichkova - arxiv preprint arxiv:1404.7247, 2014 - arxiv.org
HUMAN FACTORS OF FORMAL METHODS Page 1 HUMAN FACTORS OF FORMAL
METHODS Maria Spichkova Institut für Informatik, Technische Universität München …
METHODS Maria Spichkova Institut für Informatik, Technische Universität München …
Human factors in software reliability engineering
arxiv:1503.03584v1 [cs.SE] 12 Mar 2015 Page 1 Human Factors in Software Reliability
Engineering Maria Spichkova, Huai Liu, Mohsen Laali, and Heinz W. Schmidt Australia-India …
Engineering Maria Spichkova, Huai Liu, Mohsen Laali, and Heinz W. Schmidt Australia-India …
Do we really need to write documentation for a system? CASE tool add-ons: generator+ editor for a precise documentation
M Spichkova, X Zhu, D Mou - arxiv preprint arxiv:1404.7265, 2014 - arxiv.org
One of the common problems of system development projects is that the system
documentation is often outdated and does not describe the latest version of the system. The …
documentation is often outdated and does not describe the latest version of the system. The …
Teaching of formal methods for software engineering
The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and
inconsistency. The major barriers hindering the adoption of FMs in industry are the problems …
inconsistency. The major barriers hindering the adoption of FMs in industry are the problems …
Formal model for intelligent route planning
This paper presents an approach towards intelligent route planning in public transport
systems. The approach focuses on formal modelling of the semi-dynamic intelligent route …
systems. The approach focuses on formal modelling of the semi-dynamic intelligent route …
Towards classification of lightweight formal methods
The use of lightweight formal methods (LFM) for the development of industrial applications
has become a major trend. Although the term" lightweight formal methods" has been used …
has become a major trend. Although the term" lightweight formal methods" has been used …
Towards a human-centred approach in modelling and testing of cyber-physical systems
The ability to capture different levels of abstraction in a system model is especially important
for remote integration, testing/verification, and manufacturing of cyber-physical systems …
for remote integration, testing/verification, and manufacturing of cyber-physical systems …