Skip to search formSkip to main contentSkip to account menu

Formal specification

Known as: Formal, Specification (computing), Software specification 
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ACM Transactions on Programming Languages and SystemsAbstract state machinesAgile software developmentAlgebraic specification

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
The challenges of pervasive and mobile computing environments, which are highly dynamic and unpredictable, have motivated the… 
Highly Cited
2008
Highly Cited
2008
Geospatial Analysis: A Comprehensive Guide to Principles, Techniques, and Software Tools, Second Edition - by Michael J. de Smith, Michael F. Goodchild, and Paul A. Longley
  • J. Mills
  • Trans. GIS
  • 2008
  • Corpus ID: 40165859
Highly Cited
2006
Highly Cited
2006
Semantic foundations for generalized rewrite theories
Highly Cited
2006
Highly Cited
2006
A UML-based data warehouse design method
Highly Cited
2003
Highly Cited
2003
Cadena: an integrated development, analysis, and verification environment for component-based systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is… 
Highly Cited
2000
Highly Cited
2000
An Entrepreneurial Theory of the Firm
The role of the entrepreneur is the most fundamental issue addressed by the modern theory of the firm.Coordination, an… 
Highly Cited
1995
Highly Cited
1995
Object-Z: a specification language advocated for the description of standards
1992
1992
Formal Specification and Design
Part I. Algebraic Specification: 1. Introducing the basic concepts 2. Setting up algebraic specifications 3. Structuring… 
Highly Cited
1990
Highly Cited
1990
TRIO: A logic language for executable specifications of real-time systems
Review
1980
Review
1980
Abstract Data Type Specification in the Affirm System
This paper describes the data type definition facilities of the AFFIRM system for program specification and verification… 
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)