ABSTUR(ID:8169/)

for Abstract Turing

Operational version of SPECTUR


Related languages
Turing => ABSTUR   Dialect of
References:
  • "Formal Specification in Metamorphic Programming", by David A. Penny, Richard C. Holt and Michael W. Godfrey, Proc. of the 4th International Symposium of VDM Europe , Springer-Verlag Lecture Notes in Computer Science no. 551, October 1991 view details Abstract: Formal specification methods have not been embraced wholeheartedly by the
    software development industry. We believe that a large part of industry?s reluctance is
    due to semantic gaps that are encountered when attempting to integrate formal specification
    with other stages of the software development process. Semantic gaps necessitate
    a dramatic shift in a programmer?s mode of thought, and undergoing many such
    shifts during the development of a software system is inefficient. We identify semantic
    gaps in the software development process and show how they can be minimized by an
    approach called metamorphic programming that operates in-the-large and in-the-small.
    The main contribution that metamorphic programming makes to formal specification is
    to clarify the ways in which specifications can be merged smoothly into the software
    development lifecycle.