Notions of Equivalence in Software Design

Details Notions of Equivalence in Software Design Notions of Equivalence in Software Design

2004-06-16

arxiv.org/abs/cs/0406023v1

Proceedings 9e colloque de l'AIM, Evry, France, May 2004

Computer Science

Software Engineering

8 pages

Scientific paper

Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages. This distinction is not simply a matter of convenience. Natural languages are not the same as formal languages; in particular, natural languages do not follow the notions of equivalence used by formal languages. In this paper, we show both the existence and coexistence of different notions of equivalence by extending the no-tion of oracles used in formal languages. This allows distinctions to be made between the trustworthy oracles assumed by formal languages and the untrust-worthy oracles used by natural languages. By examin-ing the notion of equivalence, we hope to encourage designers of software to rethink the place of ambiguity in software design.

Affiliated with

Also associated with

No associations

Rating

Notions of Equivalence in Software Design does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Notions of Equivalence in Software Design, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Notions of Equivalence in Software Design will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-219232