• Status: Solved
  • Priority: Medium
  • Security: Public
  • Views: 445
  • Last Modified:

formal specification vs inforamal and semiformal specification


  Formal specification methods like Z attempt to reduce what major types of mistakes commonly found in informal and semiformal specifications?
0
shakyas1
Asked:
shakyas1
2 Solutions
 
WelkinMazeCommented:
Hi,
See this link, I think it should help you.
http://www.stsc.hill.af.mil/crosstalk/2003/01/george.html
0
 
MilanKMCommented:
With the development of information systems, informal specifications is being used through graphical modeling from very early phases. We are aware of many such of these modeling tools. Currently formal specification languages such as Z, OBJ or FOOPS and many others are developed. These formal specification techniques attempt to mathematically specify the structure, function and behavior of information business systems.

See links below, may be it will be helpful in this context

Concept Mapping: Informal to Formal
-------------------------------------------
http://pages.cpsc.ucalgary.ca/~kremer/papers/ICCS94.html

Formal Specification - A Roadmap [PDF Download]
-----------------------------------------------------------
http://www.cis.ksu.edu/santos/771-Distribution/Reading/FormalSpec-avl.pdf

The Logic Behind
--------------------
http://www.rbjones.com/rbjpub/logic/log018.htm

Thanks
MilanKM
0

Featured Post

Important Lessons on Recovering from Petya

In their most recent webinar, Skyport Systems explores ways to isolate and protect critical databases to keep the core of your company safe from harm.

Tackle projects and never again get stuck behind a technical roadblock.
Join Now