|
Model-based Specification
Model-based specification is an approach to formal specification where the system specification is expressed as a system model, system state model. This state model is constructed using well-understood mathematical entities such as sets and Function (mathematics), functions. System operations are specified by defining how they affect the state of the system model. The most widely used notations for developing model-based specifications are VDM specification language, VDM and Z notation, Z (pronounced Zed, not Zee). These notations are based on typed set theory. Systems are therefore modelled using sets and relations between sets. Another well-known approach to formal specification is algebraic specification. See also * Model-based design * Model-based testing References {{Reflist Formal methods Formal specification ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are ''formal'' in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information. Motivation In each passing decade, computer systems have become increasingly more powerful and, as a result, they have become more impactful to society. Because of this, better techniques are needed to assist in the design and implementation of reliable software. Established engineering disciplines use mathematical analysis as the foundation of creating and validating product design. Formal specifications are one such way to achieve this in software engineering reliability as once predicted. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |