research
∙
11/24/2022
Towards computer vision technologies: Semi-automated reading of automated utility meters
In this report we analysed a possibility of using computer vision techni...
share
research
∙
11/22/2022
Application of property-based testing tools for metamorphic testing
Metamorphic testing (MT) is a general approach for the testing of a spec...
research
∙
11/22/2022
Web-based Search: How Do Animated User Interface Elements Affect Autistic and Non-Autistic Users?
Many websites and other user interfaces include animated elements, parti...
research
∙
10/22/2019
Easy Mobile Meter Reading for Non-Smart Meters: Comparison of AWS Rekognition and Google Cloud Vision Approaches
Electricity and gas meter reading is a time consuming task, which is don...
research
∙
10/22/2019
Towards Automated Management and Analysis of Heterogeneous Data Within Cannabinoids Domain
Cannabinoid research requires the cooperation of experts from various fi...
research
∙
10/11/2019
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects
In this paper we present a formal framework for analysis and optimisatio...
research
∙
10/11/2019
Towards Readability Aspects of Probabilistic Mode Automata
This paper presents a new approach and design model targeting hybrid des...
research
∙
12/14/2018
Monitoring Informed Testing for IoT
Internet of Things (IoT) systems continuously collect a large amount of ...
research
∙
11/20/2018
Formal FocusST Specification of CAN
This paper presents a formal specification of the Controller Area Networ...
research
∙
07/05/2018
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia
Software development requires intensive communication between the requir...
research
∙
07/05/2018
FocusST Solution for Analysis of Cryptographic Properties
To analyse cryptographic properties of distributed systems in a systemat...
research
∙
07/05/2018
Towards Classification of Lightweight Formal Methods
The use of lightweight formal methods (LFM) for the development of indus...
research
∙
12/22/2017
Towards Software Development For Social Robotics Systems
In this paper we introduce the core results of the project on software d...
research
∙
12/14/2017
Formal specification of the FlexRay protocol using FocusST
FlexRay is a communication protocol developed by the FlexRay Consortium....
research
∙
12/13/2017
Software Engineering Solutions To Support Vertical Transportation
In this paper we introduce the core results of the project on visualisat...
research
∙
11/22/2017