Search
Search Results
-
Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models
The field of software modeling has gained significant popularity in the last decades. By capturing the static aspects of the software requirements,...
-
“We [teachers] first require basic technical [skills] training”: Investigating formal professional development pathways and knowledge needs of teachers for technology integration
Internationally and in Ghana, formal professional development is cited in many education policies as a focal lever for transforming pedagogy and...
-
Formal Methods for Industrial Critical Systems
To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal...
-
Formal Techniques for Development and Auto-tuning of Parallel Programs
The paper presents formal algebra-algorithmic models for parallel program design and auto-tuning aimed to achieve the highest degree of computation...
-
Linking Formal Methods in Software Development
The method of refinement of object-oriented and component-based systems (rCOS) has been developed based on the Unifying Theories of Programming (UTP)... -
Automated requirement contradiction detection through formal logic and LLMs
This paper introduces ALICE (Automated Logic for Identifying Contradictions in Engineering), a novel automated contradiction detection system...
-
A manifesto for applicable formal methods
Recently, formal methods have been used in large industrial organisations (including AWS, Facebook/Meta, and Microsoft) and have proved to be an...
-
A formal model-based approach to design failure-aware Internet of Things architectures
The Internet of Things (IoT) is expanding its application domains and deployments due to its rapid development. Within such architectures, ensuring...
-
A Formal Approach for Traceability Preservation in Software Development Process
Traceability is the ability to trace the usage of artifacts during the software lifecycle process. Though the benefits of establishing a traceability... -
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
Within microservice architecture-based systems, some microservices are integrated to build the software. The integration of these services may be...
-
A user study for evaluation of formal verification results and their explanation at Bosch
ContextEnsuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for...
-
Reusable formal models for concurrency and communication in custom real-time operating systems
In embedded systems, the execution semantics of the real-time operating system (RTOS), which is responsible for scheduling and timely execution of...
-
A formal component model for UML based on CSP aiming at compositional verification
Model-based engineering emerged as an approach to tackle the complexity of current system development. In particular, compositional strategies assume...
-
Security requirements specification by formal methods: a research metadata analysis
In recent years, the field of security requirements specification by formal methods has changed radically. The security requirement specification is...
-
A Formal Theory of Choreographic Programming
Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which...
-
System-Object Determinant Analysis. Partitive Сlassification Using a Formal-Semantic Normative System
Abstract —This paper considers the construction of a partitive classification for conducting a system-object determinant analysis in a formal-semantic...
-
Formal Aspects of Component Software
The International Symposium on Formal Aspects of Component Software (FACS) was inaugurated two decades ago in response to the major software... -
Formalstyler: GPT-Based Model for Formal Style Transfer with Meaning Preservation
Style transfer is a natural language processing generation task, it consists of substituting one given writing style for another one. In this work,...
-
Formal Languages
As underlined by Dutilh Novaes [19, pp. 11–28], when we refer to formal languages, formality corresponds to mainly two properties: asemanticity (in... -
Origins and Development of Formal Methods
This chapter offers an historical perspective on the development of Formal Methods for software engineering. It surveys some of the problems and...