Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007059425> ?p ?o ?g. }
- W2007059425 endingPage "112" @default.
- W2007059425 startingPage "97" @default.
- W2007059425 abstract "PLEASE is an executable specification language that supports software development by incremental refinement. PLEASE is part of the ENCOMPASS environment that provides automated support for all aspects of the development process. In ENCOMPASS, software components are first specified using a combination of conventional programming languages and predicate logic. These abstract components are then incrementally redefined into components in an implementation language. Each refinement is verified before another is applied; therefore, the final components produced by the development satisfy the original specifications. PLEASE allows a procedure or function to be specified using pre- and post-conditions, a data type to have an invariant, and an implementation to be completely annotated. PLEASE specifications may be used in proofs of correctness; they may also be transformed into prototypes which use Prolog to “execute” pre- and post-conditions. We believe the early production of executable prototypes will enhance the development process." @default.
- W2007059425 created "2016-06-24" @default.
- W2007059425 creator A5058841575 @default.
- W2007059425 date "1989-09-01" @default.
- W2007059425 modified "2023-10-14" @default.
- W2007059425 title "PLEASE: Executable specifications for incremental software development" @default.
- W2007059425 cites W1969250424 @default.
- W2007059425 cites W1986683298 @default.
- W2007059425 cites W1989160441 @default.
- W2007059425 cites W1989177109 @default.
- W2007059425 cites W2001847301 @default.
- W2007059425 cites W2005973420 @default.
- W2007059425 cites W2008395018 @default.
- W2007059425 cites W2012436850 @default.
- W2007059425 cites W2012637410 @default.
- W2007059425 cites W2012852585 @default.
- W2007059425 cites W2013492611 @default.
- W2007059425 cites W2013668092 @default.
- W2007059425 cites W2015874281 @default.
- W2007059425 cites W2019712414 @default.
- W2007059425 cites W2021790140 @default.
- W2007059425 cites W2034034435 @default.
- W2007059425 cites W2034589735 @default.
- W2007059425 cites W2036526565 @default.
- W2007059425 cites W2037848873 @default.
- W2007059425 cites W2038371182 @default.
- W2007059425 cites W2038754076 @default.
- W2007059425 cites W2041423244 @default.
- W2007059425 cites W2051113166 @default.
- W2007059425 cites W2051437144 @default.
- W2007059425 cites W2055099198 @default.
- W2007059425 cites W2056168527 @default.
- W2007059425 cites W2057602126 @default.
- W2007059425 cites W2060872161 @default.
- W2007059425 cites W2069592207 @default.
- W2007059425 cites W2074039638 @default.
- W2007059425 cites W2074864682 @default.
- W2007059425 cites W2077271799 @default.
- W2007059425 cites W2079783106 @default.
- W2007059425 cites W2081814494 @default.
- W2007059425 cites W2089158314 @default.
- W2007059425 cites W2090551028 @default.
- W2007059425 cites W2095035996 @default.
- W2007059425 cites W2095491013 @default.
- W2007059425 cites W2096536569 @default.
- W2007059425 cites W2115937516 @default.
- W2007059425 cites W2120852971 @default.
- W2007059425 cites W2124212956 @default.
- W2007059425 cites W2126259958 @default.
- W2007059425 cites W2133518331 @default.
- W2007059425 cites W2134338128 @default.
- W2007059425 cites W2144967511 @default.
- W2007059425 cites W2154069078 @default.
- W2007059425 cites W2162661340 @default.
- W2007059425 cites W2165875645 @default.
- W2007059425 cites W2168296859 @default.
- W2007059425 cites W2168468191 @default.
- W2007059425 cites W2913268470 @default.
- W2007059425 cites W2987907651 @default.
- W2007059425 cites W3023216518 @default.
- W2007059425 cites W4239702739 @default.
- W2007059425 doi "https://doi.org/10.1016/0164-1212(89)90022-8" @default.
- W2007059425 hasPublicationYear "1989" @default.
- W2007059425 type Work @default.
- W2007059425 sameAs 2007059425 @default.
- W2007059425 citedByCount "25" @default.
- W2007059425 countsByYear W20070594252013 @default.
- W2007059425 countsByYear W20070594252021 @default.
- W2007059425 countsByYear W20070594252022 @default.
- W2007059425 crossrefType "journal-article" @default.
- W2007059425 hasAuthorship W2007059425A5058841575 @default.
- W2007059425 hasConcept C115903868 @default.
- W2007059425 hasConcept C160145156 @default.
- W2007059425 hasConcept C180152950 @default.
- W2007059425 hasConcept C199360897 @default.
- W2007059425 hasConcept C2777904410 @default.
- W2007059425 hasConcept C41008148 @default.
- W2007059425 hasConcept C529173508 @default.
- W2007059425 hasConcept C55439883 @default.
- W2007059425 hasConcept C81721847 @default.
- W2007059425 hasConceptScore W2007059425C115903868 @default.
- W2007059425 hasConceptScore W2007059425C160145156 @default.
- W2007059425 hasConceptScore W2007059425C180152950 @default.
- W2007059425 hasConceptScore W2007059425C199360897 @default.
- W2007059425 hasConceptScore W2007059425C2777904410 @default.
- W2007059425 hasConceptScore W2007059425C41008148 @default.
- W2007059425 hasConceptScore W2007059425C529173508 @default.
- W2007059425 hasConceptScore W2007059425C55439883 @default.
- W2007059425 hasConceptScore W2007059425C81721847 @default.
- W2007059425 hasIssue "2" @default.
- W2007059425 hasLocation W20070594251 @default.
- W2007059425 hasOpenAccess W2007059425 @default.
- W2007059425 hasPrimaryLocation W20070594251 @default.
- W2007059425 hasRelatedWork W1516279750 @default.
- W2007059425 hasRelatedWork W1966978306 @default.
- W2007059425 hasRelatedWork W2007059425 @default.
- W2007059425 hasRelatedWork W2014484893 @default.
- W2007059425 hasRelatedWork W2034731048 @default.