Cognitive processes and formal specifications

Article View: comp.specification.z

Article #79

Back to comp.specification.z Previous Next

#79

From: Thomas Werthmann-Auzinger
Date: Wed, 07 Oct 1992 22:06

29 lines
1521 bytes

I plan to do an experiment on using formal specifications between 
requirements and design. It will be a simple thinking aloud protocol of some
subjects performing a design task. One group will take an informal, the other
one a formal approach. The question I'd like to answer is whether formal
specifications can reduce design errors, and build a model that explains why
this is so.

My question is:

Has there any research been done on the cognitive basis of formal
specifications? (I'm already familiar with the work of Guindon, Krasner
and
Curtis and of Civello. Jeffries and Atwood are also on my literature list)

Are there any open questions about the psychological foundations of formal
methods that are worth answering and would fit into such an experiment?

Thanks,

Thomas Werthmann-Auzinger

Master of Software Engineering Program
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213

twa@mse.cmu.edu

Technical Details

Message-ID: <4eowzEu00WBM49v0wY@andrew.cmu.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!andrew.cmu.edu!tw1y+

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!andrew.cmu.edu!tw1y+
From: tw1y+@andrew.cmu.edu (Thomas Werthmann-Auzinger)
Newsgroups: comp.specification.z
Subject: Cognitive processes and formal specifications
Message-ID: <4eowzEu00WBM49v0wY@andrew.cmu.edu>
Date: 7 Oct 92 22:06:08 GMT
Article-I.D.: andrew.4eowzEu00WBM49v0wY
Organization: Masters student, Software Engineering, Carnegie Mellon, Pittsburgh, PA
Lines: 29