Matches in SemOpenAlex for { <https://semopenalex.org/work/W764324760> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W764324760 abstract "ENCOMPASS is an example integrated software engineering environment being constructed by the SAGA project. ENCOMPASS supports the specification, design, construction and maintenance of efficient, validated, and verified programs in a modular programming language. The life cycle paradigm, schema of software configurations, and hierarchical library structure used by ENCOMPASS is presented. In ENCOMPASS, the software life cycle is viewed as a sequence of developments, each of which reuses components from the previous ones. Each development proceeds through the phases planning, requirements definition, validation, design, implementation, and system integration. The components in a software system are modeled as entities which have relationships between them. An entity may have different versions and different views of the same project are allowed. The simple entities supported by ENCOMPASS may be combined into modules which may be collected into projects. ENCOMPASS supports multiple programmers and projects using a hierarchical library system containing a workspace for each programmer; a project library for each project, and a global library common to all projects." @default.
- W764324760 created "2016-06-24" @default.
- W764324760 creator A5058841575 @default.
- W764324760 creator A5065622216 @default.
- W764324760 date "1985-01-01" @default.
- W764324760 modified "2023-09-23" @default.
- W764324760 title "ENCOMPASS: A SAGA based environment for the compositon of programs and specifications, appendix A" @default.
- W764324760 cites W1587166076 @default.
- W764324760 cites W1607905993 @default.
- W764324760 cites W1969250424 @default.
- W764324760 cites W2054198706 @default.
- W764324760 cites W2057602126 @default.
- W764324760 cites W2112136855 @default.
- W764324760 cites W2115937516 @default.
- W764324760 cites W2162661340 @default.
- W764324760 cites W3010856131 @default.
- W764324760 hasPublicationYear "1985" @default.
- W764324760 type Work @default.
- W764324760 sameAs 764324760 @default.
- W764324760 citedByCount "0" @default.
- W764324760 crossrefType "journal-article" @default.
- W764324760 hasAuthorship W764324760A5058841575 @default.
- W764324760 hasAuthorship W764324760A5065622216 @default.
- W764324760 hasConcept C101468663 @default.
- W764324760 hasConcept C115903868 @default.
- W764324760 hasConcept C127413603 @default.
- W764324760 hasConcept C199360897 @default.
- W764324760 hasConcept C201995342 @default.
- W764324760 hasConcept C2777904410 @default.
- W764324760 hasConcept C2778514511 @default.
- W764324760 hasConcept C41008148 @default.
- W764324760 hasConcept C529173508 @default.
- W764324760 hasConceptScore W764324760C101468663 @default.
- W764324760 hasConceptScore W764324760C115903868 @default.
- W764324760 hasConceptScore W764324760C127413603 @default.
- W764324760 hasConceptScore W764324760C199360897 @default.
- W764324760 hasConceptScore W764324760C201995342 @default.
- W764324760 hasConceptScore W764324760C2777904410 @default.
- W764324760 hasConceptScore W764324760C2778514511 @default.
- W764324760 hasConceptScore W764324760C41008148 @default.
- W764324760 hasConceptScore W764324760C529173508 @default.
- W764324760 hasOpenAccess W764324760 @default.
- W764324760 hasRelatedWork W1578083761 @default.
- W764324760 hasRelatedWork W1881748612 @default.
- W764324760 hasRelatedWork W1943060512 @default.
- W764324760 hasRelatedWork W1974645478 @default.
- W764324760 hasRelatedWork W1974846847 @default.
- W764324760 hasRelatedWork W1996486194 @default.
- W764324760 hasRelatedWork W2022733993 @default.
- W764324760 hasRelatedWork W2082110329 @default.
- W764324760 hasRelatedWork W2105996437 @default.
- W764324760 hasRelatedWork W2114945533 @default.
- W764324760 hasRelatedWork W2115241120 @default.
- W764324760 hasRelatedWork W2120784265 @default.
- W764324760 hasRelatedWork W2125304802 @default.
- W764324760 hasRelatedWork W2126793385 @default.
- W764324760 hasRelatedWork W2132234187 @default.
- W764324760 hasRelatedWork W2141372018 @default.
- W764324760 hasRelatedWork W2151496388 @default.
- W764324760 hasRelatedWork W2154325595 @default.
- W764324760 hasRelatedWork W2165579333 @default.
- W764324760 hasRelatedWork W215629550 @default.
- W764324760 isParatext "false" @default.
- W764324760 isRetracted "false" @default.
- W764324760 magId "764324760" @default.
- W764324760 workType "article" @default.