Abstract: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 funct… Show more
“…[6,8,12,13,15,17,19] family of wide-spectrum, executable specification languages. The basic idea behind PLEASE is to execute pre-and post-conditions using logic programming techniques.…”
“…[6,8,12,13,15,17,19] family of wide-spectrum, executable specification languages. The basic idea behind PLEASE is to execute pre-and post-conditions using logic programming techniques.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.