Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,094,030 papers from all fields of science
Search
Sign In
Create Free Account
Formal methods
Known as:
Formal techniques
, Formal
, Formal development
Expand
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ALGOL 58
APCB
Abstract data type
Abstraction (software engineering)
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs
Marina Zaharieva-Stojanovski
2015
Corpus ID: 51543429
If software code is developed by humans, can we as users rely on its absolute correctness? Today's software is large, complex…
Expand
2008
2008
Efficient Tiny Hardware Cipher under Verilog
I. Damaj
2008
Corpus ID: 17925075
Embedded hardware security has been an increasingly important need for many modern general and specific purposes electronic…
Expand
2007
2007
New YAWL: specifying a workflow reference language using coloured petri nets
N. Russell
,
A. T. ter Hofstede
,
Wil M.P. van der Aalst
2007
Corpus ID: 6413053
newYAWL is a business process modelling language founded on the workflow patterns. It radically extends the YAWL offering to…
Expand
2006
2006
An analysis of some mistakes, miracles and myths in supplier selection
Boer de Luitzen
,
M. Linthorst
,
F. Schotanus
,
J. Telgen
2006
Corpus ID: 57731380
In an air conditioner, at least one up-down wind direction board rotates in an up-down direction around almost horizontal…
Expand
Review
2003
Review
2003
FACTORS INFLUENCING THE FRONT END OF THE INNOVATION PROCESS : A COMPREHENSIVE REVIEW OF SELECTED EMPIRICAL NPD AND EXPLORATIVE FFE STUDIES
S. Husig
,
S. Kohn
2003
Corpus ID: 14913121
In this paper we construct and propose an empirical-based research framework for the so-called “Fuzzy Front End” (FFE) of the…
Expand
2002
2002
SIMULATION AS A TOOL TO DEVELOP STATISTICAL UNDERSTANDING
Gail Burrill
2002
Corpus ID: 16866760
Statistical reasoning is often presented through a variety of statistical “tests” – usually leaving many students bewildered. A…
Expand
2001
2001
APPLICATIONS OF BAN-LOGIC
J. Wessels
2001
Corpus ID: 62563087
2001
2001
© Copyright Hewlett-Packard Company 2001An Optimal Dynamic Programming Model for Algorithm Design in Simultaneous Auctions.
2001
Corpus ID: 16946866
1993
1993
Dancing through history
J. Cass
1993
Corpus ID: 190375889
This volume traces the activity of dance from its earliest beginnings to its current form on the stages of the modern western…
Expand
1973
1973
Symbolic analysis for computer-aided circuit design-The interpolative approach
J. Fidler
,
J. Sewell
1973
Corpus ID: 62327737
Symbolic analysis using direct matrix and interpolationformula methods are discussed. The techniques accommodate passive networks…
Expand