Results 11 to 20 of about 1,494,052 (317)
A manifesto for applicable formal methods [PDF]
Software and Systems Modeling, 2023 AbstractRecently, formal methods have been used in large industrial organisations (including AWS, Facebook/Meta, and Microsoft) and have proved to be an effective part of a software engineering process finding important bugs. Perhaps because of that, practitioners are interested in using them more often.
Mario Gleirscher +2 more
openaire +3 more sources
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire +5 more sources
ACM Computing Surveys, 2009 Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design.
Woodcock J +3 more
openaire +4 more sources
Is CADP an Applicable Formal Method? [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
Garavel, Hubert +3 more
openaire +4 more sources
A generic user interface for energy management in smart homes
Energy Informatics, 2018 Building operating systems play an important role in monitoring energy consumption of devices and improving energy efficiency in household buildings.
Huiwen Xu +3 more
doaj +1 more source
An Abstraction Technique for Verifying Shared-Memory Concurrency
Applied Sciences, 2020 Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn +2 more
doaj +1 more source
DevFemOps: enhancing maintainability based on microservices using formal engineering methods
Connection Science, 2022 How can we make software services evolve safely and be long-lived? By designing on the premise of microservices, the services become loosely coupled, which can localise the changes in the system and accelerate the changes. However, from a medium- to long-
Tetsuo Fukuzaki +2 more
doaj +1 more source
Improving Diagnostics with Deep Forest Applied to Electronic Health Records
Sensors, 2023 An electronic health record (EHR) is a vital high-dimensional part of medical concepts. Discovering implicit correlations in the information of this data set and the research and informative aspects can improve the treatment and management process.
Atieh Khodadadi +5 more
doaj +1 more source
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Software, 2022 Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature
ter Beek MH, Ferrari A
openaire +4 more sources
BMC Bioinformatics, 2020 Background The alignment of protein-protein interaction networks was recently formulated as an integer quadratic programming problem, along with a linearization that can be solved by integer linear programming software tools.
Mercè Llabrés +3 more
doaj +1 more source