Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992023283> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W1992023283 endingPage "123" @default.
- W1992023283 startingPage "115" @default.
- W1992023283 abstract "Abstract The Lightweight Specification System (LSS) toolkit assists in the development of logic programs, using a variety of high level specification methods. Many other high level specification systems impose a single, uniform view of how specification should proceed. In practice, there is normally no single understanding of how to describe specifications – there are instead a variety of different forms of description which have evolved from the work practices of various domains. Any attempt to disturb these work practices in a radical way will, naturally, meet with resistance unless those who must be educated in new methods can see clearly that they will benefit (soon) from their efforts. LSS addresses this problem by providing a collection of comparatively simple independent tools, each of which is directed at a particular community of users who might reasonably be expected to adjust to the tool without excessive effort. In this sense, LSS is lightweight – it is intended to be easy to pick up. Communication between LSS tools is achieved by using Horn Clause logic as a standard language, although users of some of the tools are buffered from the logical details by interfaces targeted at the appropriate group of users. This allows the products of specification from some of the tools to be used as the basis for more detailed specification (perhaps by other people) using other tools. This paper summarises the current LSS system and describes the results of an experiment in applying it to a substantial software engineering task: the specification of one of its own tools." @default.
- W1992023283 created "2016-06-24" @default.
- W1992023283 creator A5003060939 @default.
- W1992023283 date "1998-08-01" @default.
- W1992023283 modified "2023-09-25" @default.
- W1992023283 title "An empirical study of the LSS specification toolkit in use" @default.
- W1992023283 cites W1480303598 @default.
- W1992023283 cites W1483757404 @default.
- W1992023283 cites W1855360529 @default.
- W1992023283 cites W1928649470 @default.
- W1992023283 cites W1988161832 @default.
- W1992023283 cites W2098549844 @default.
- W1992023283 cites W2983415214 @default.
- W1992023283 doi "https://doi.org/10.1016/s0164-1212(98)10003-1" @default.
- W1992023283 hasPublicationYear "1998" @default.
- W1992023283 type Work @default.
- W1992023283 sameAs 1992023283 @default.
- W1992023283 citedByCount "1" @default.
- W1992023283 crossrefType "journal-article" @default.
- W1992023283 hasAuthorship W1992023283A5003060939 @default.
- W1992023283 hasConcept C115903868 @default.
- W1992023283 hasConcept C199360897 @default.
- W1992023283 hasConcept C41008148 @default.
- W1992023283 hasConceptScore W1992023283C115903868 @default.
- W1992023283 hasConceptScore W1992023283C199360897 @default.
- W1992023283 hasConceptScore W1992023283C41008148 @default.
- W1992023283 hasIssue "2" @default.
- W1992023283 hasLocation W19920232831 @default.
- W1992023283 hasOpenAccess W1992023283 @default.
- W1992023283 hasPrimaryLocation W19920232831 @default.
- W1992023283 hasRelatedWork W1527862632 @default.
- W1992023283 hasRelatedWork W2109507516 @default.
- W1992023283 hasRelatedWork W2112962394 @default.
- W1992023283 hasRelatedWork W2118300983 @default.
- W1992023283 hasRelatedWork W2135396778 @default.
- W1992023283 hasRelatedWork W2382501300 @default.
- W1992023283 hasRelatedWork W2740990710 @default.
- W1992023283 hasRelatedWork W3137189469 @default.
- W1992023283 hasRelatedWork W4235530921 @default.
- W1992023283 hasRelatedWork W4243252198 @default.
- W1992023283 hasVolume "42" @default.
- W1992023283 isParatext "false" @default.
- W1992023283 isRetracted "false" @default.
- W1992023283 magId "1992023283" @default.
- W1992023283 workType "article" @default.