Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,049,160 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.
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
2004
2004
A Predicative Semantic Model for Integrating UML Models
J. Yang
,
Quan Long
,
Zhiming Liu
,
Xiaoshan Li
International Colloquium on Theoretical Aspects…
2004
Corpus ID: 6922682
This paper presents a predicative semantic model for integrating models from UML class diagrams and sequence diagrams. The…
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
Stefan Hüsig
,
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
2003
2003
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems kle
Aditya Agrawal
,
Feng Shi
,
Jonathan Sprin
2003
Corpus ID: 17425710
The rt a odel-based engineering process. As it was discussed in a previous paper [1], there are several for doing this. (1) We…
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
2001
2001
An anonymous fair exchange e-commerce protocol
I. Ray
Proceedings, International Parallel and…
2001
Corpus ID: 2759439
In this paper we propose an e-commerce protocol for trading digital products over the Internet. The novel features of our…
Expand
2001
2001
Formal Verification of Transmission Window Timing for the Time-Triggered Architecture
J. Rushby
2001
Corpus ID: 61992194
We formally verify the parameters on the timing of message windows in transmitters, receivers, and bus guardians for the Time…
Expand
1999
1999
Feature interaction as a satisfiability problem
C. Areces
,
W. Bouma
,
M. de Rijke
MASCOTS '99. Proceedings of the Seventh…
1999
Corpus ID: 15626400
We present a formal model for the specification of telephone features by means of description logics. Our framework permits the…
Expand
1995
1995
Verification of transient response of linear analog circuits
A. Balivada
,
Y. Hoskote
,
J. Abraham
Proceedings of the ... IEEE VLSI Test Symposium
1995
Corpus ID: 19433459
With the introduction of complex analog designs the need to verify the circuit behavior completely and efficiently cannot be…
Expand