Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,167,422 papers from all fields of science
Search
Sign In
Create Free Account
Formal specification
Known as:
Formal
, Specification (computing)
, Software specification
Expand
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ACM Transactions on Programming Languages and Systems
Abstract state machines
Agile software development
Algebraic specification
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
A Method to Estimate the Timestamp Accuracy of Measurement Hardware and Software Tools
P. Arlos
,
M. Fiedler
Passive and Active Network Measurement Conference
2007
Corpus ID: 34723932
Due to the complex diversity of contemporary Internet applications, computer network measurements have gained considerable…
Expand
Review
2004
Review
2004
Agent-Oriented Abstraction
J. Calmet
2004
Corpus ID: 15162654
We define an agent-oriented abstraction formalism devoted to generalized theories of abstraction that have been proposed in…
Expand
2001
2001
Components as coalgebras
L. Barbosa
2001
Corpus ID: 142746674
PRAXIS XXI - Projecto LOGCAMP; POO11/IC-PME/II/S -Projecto KARMA; Fundacao para a Ciencia e Tecnologia; ALGORITMI Research Center…
Expand
1997
1997
The Formal Specification of Oberon
P. Kutter
,
A. Pierantonio
Journal of universal computer science (Online)
1997
Corpus ID: 46385721
This paper presents the formal speciication of the programming language Oberon. Using Montages we give a description of syntax…
Expand
1996
1996
Connectors in configuration programming languages: are they necessary?
J. Bishop
,
Roberto Faria
Proceedings of International Conference on…
1996
Corpus ID: 14682037
Configuration programming is the process whereby components written in any conventional programming language can be bound…
Expand
1994
1994
Evaluation of a Predicate-Based Software Testing Strategy
Kuo-Chung Tai
,
M. Vouk
,
A. Paradkar
,
Peng Lu
IBM Systems Journal
1994
Corpus ID: 9011465
In this paper, we report the results of four empirical studies for evaluating a predicate-based software testing strategy, called…
Expand
1993
1993
An introduction to discrete mathematics, formal system specification, and Z
D. Ince
,
D. Ince
1993
Corpus ID: 59346852
From the Publisher: This textbook is an introduction to both the theory and practice of formal specification, and this new…
Expand
1989
1989
Proceedings of the 5th international workshop on Software specification and design
S. Greenspan
1989
Corpus ID: 265771748
Highly Cited
1988
Highly Cited
1988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
J. Billington
,
G. Wheeler
,
M. Wilbur-Ham
IEEE Trans. Software Eng.
1988
Corpus ID: 46428233
The PROTEAN protocol emulation and analysis computer aid is presented. It is based on a formal specification technique called…
Expand
1977
1977
A Summary of the PSI Program Synthesis System
C. Green
International Joint Conference on Artificial…
1977
Corpus ID: 26263841
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…
Expand