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
2007
Highly Cited
2007
SYNTHESIS OF THINNED LINEAR ANTENNA ARRAYS WITH FIXED SIDELOBE LEVEL USING REAL-CODED GENETIC ALGORITHM
In this paper, we propose an optimization method based on real-coded genetic algorithm (GA) with elitist strategy for thinning a… 
Highly Cited
2006
Highly Cited
2006
An agent-based intelligent control platform for industrial holonic manufacturing systems
New revolutionary manufacturing paradigms, which take advantage of the newest emerging mechatronics, information, and… 
Highly Cited
2000
Highly Cited
2000
A hierarchical partition model for adaptive finite element computation
1999
1999
Visualization of formal specifications
Formal specification techniques provide precise and analyzable software specifications. However, the formal notations provided by… 
Review
1994
Review
1994
Formal specification techniques
  • M. Gaudel
  • Proceedings of 16th International Conference on…
  • 1994
  • Corpus ID: 60740848
Formal approaches to software specification and development have been a topic of active research for a long time. There now… 
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
Acknowledgements ix
  • 1990
  • Corpus ID: 204983081
Highly Cited
1988
Highly Cited
1988
Control of cognitive processes during software design: what tools are needed?
A verbal protocol study of professional software designers has revealed three design process control strategies. At least one of… 
Highly Cited
1986
Highly Cited
1986
Algorithms and Software Tools for IC Yield Optimization Based on Fundamental Fabrication Parameters
Algorithms, software tools and the relevant methodology for production yield optimization with respect to fundamental… 
Highly Cited
1982
Highly Cited
1982
Completely Non-Clausal Theorem Proving
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)