TY - GEN
T1 - Please
T2 - 1986 ACM 14th Annual Conference on Computer Science, CSC 1986
AU - Terwilliger, Robert B.
AU - Campbell, Roy H.
N1 - Publisher Copyright:
© 1986 ACM.
PY - 1986/2/1
Y1 - 1986/2/1
N2 - PLEASE is an executable specification language which supports program development by incremental refinement. Software components are first specified using a combination of conventional programming languages and mathematics. These abstract components are then incrementally refined into components ill an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specilieations. PLEASE allows a procedure or function to be specified using pre- And post-conditions written in predicate logic and all abstract data type to have a type invariant. PLEASE specifications may be used in proofs of correctness, and may also be transformed into prototypes which use Prolog to "execute" pre- And post-conditions. The early production of executable prototypes for experimentation and evaluation may enhance the development process.
AB - PLEASE is an executable specification language which supports program development by incremental refinement. Software components are first specified using a combination of conventional programming languages and mathematics. These abstract components are then incrementally refined into components ill an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specilieations. PLEASE allows a procedure or function to be specified using pre- And post-conditions written in predicate logic and all abstract data type to have a type invariant. PLEASE specifications may be used in proofs of correctness, and may also be transformed into prototypes which use Prolog to "execute" pre- And post-conditions. The early production of executable prototypes for experimentation and evaluation may enhance the development process.
UR - http://www.scopus.com/inward/record.url?scp=84915319214&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84915319214&partnerID=8YFLogxK
U2 - 10.1145/324634.325268
DO - 10.1145/324634.325268
M3 - Conference contribution
AN - SCOPUS:84915319214
T3 - Proceedings of the 1986 ACM 14th Annual Conference on Computer Science, CSC 1986
SP - 349
EP - 358
BT - Proceedings of the 1986 ACM 14th Annual Conference on Computer Science, CSC 1986
PB - Association for Computing Machinery, Inc
Y2 - 4 February 1986 through 6 February 1986
ER -