Skip to search formSkip to main contentSkip to account menu

Formal methods

Known as: Formal techniques, Formal, Formal development 
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ALGOL 58APCBAbstract data typeAbstraction (software engineering)

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study
When a x-ray image is needed during surgery, clinicians may stop the anesthesia machine ventilator while the exposure is made. If… 
2005
2005
Foundations for MDA-based Forward Engineering
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information… 
Highly Cited
2004
Highly Cited
2004
Component-Based Modelling of Thermofluid Systems for Sensor Placement and Fault Detection
Modelling of thermofluid systems is complex because of the coupling of thermal and hydraulic energies. Bond graph language is a… 
Review
2003
Review
2003
FACTORS INFLUENCING THE FRONT END OF THE INNOVATION PROCESS : A COMPREHENSIVE REVIEW OF SELECTED EMPIRICAL NPD AND EXPLORATIVE FFE STUDIES
In this paper we construct and propose an empirical-based research framework for the so-called “Fuzzy Front End” (FFE) of the… 
2001
2001
APPLICATIONS OF BAN-LOGIC
1996
1996
Predicting dependability by testing
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality… 
1995
1995
Verification of transient response of linear analog circuits
With the introduction of complex analog designs the need to verify the circuit behavior completely and efficiently cannot be… 
1991
1991
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the 'single… 
1988
1988
DONKEY PRONOUNS UNBOUND
In order to build a topos theoretical model of a meaningfulness structure the primitives must be introduced. If we operate on the… 
1963
1963
AN INVESTIGATION OF SIMILARITIES IN PARENT-CHILD TEST SCORES FOR EVIDENCE OF HEREDITARY COMPONENTS
The general hypothesis of this study states that certain psychological traits which have their scores distributed continuously… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)