Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,843,886 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.
2013
2013
A Comparative Study on Architectures and Implementation Methodologies of Internet of Things
Chen Hai
2013
Corpus ID: 64524812
It is a vitally important problem to form a unified approach to design and implement Internet of Things(IoT).Architecture is the…
Expand
2008
2008
Linear FDI-Techniques and Software Tools
A. Varga
2008
Corpus ID: 61417514
We describe linear fault detection techniques and associated software tools which are available in the current version of the…
Expand
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
1994
1994
Evaluation of a Predicate-Based Software Testing Strategy
K. 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
1993
1993
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities
Patrice Brémond-Grégoire
,
Insup Lee
,
R. Gerber
International Conference on Concurrency Theory
1993
Corpus ID: 6038658
This paper describes a timed process algebra called ACSR. ACSR supports synchronous timed actions and asynchronous instantaneous…
Expand
1989
1989
Proceedings of the 5th international workshop on Software specification and design
S. Greenspan
1989
Corpus ID: 265771748
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