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?
shakyas1Asked:
Who is Participating?
 
WelkinMazeConnect With a Mentor Commented:
Hi,
See this link, I think it should help you.
http://www.stsc.hill.af.mil/crosstalk/2003/01/george.html
0
 
MilanKMConnect With a Mentor Commented:
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
Question has a verified solution.

Are you are experiencing a similar issue? Get a personalized answer when you ask a related question.

Have a better answer? Share it in a comment.

All Courses

From novice to tech pro — start learning today.