Matches in SemOpenAlex for { <https://semopenalex.org/work/W2313940791> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2313940791 abstract "Higher order software (HOS) is a formal methodology for reliable systems specification and development. HOS is concerned only with computable functions and their relationships for any given system. Questions of methodology are considered, taking into account aspects of formulation meta-language principles, and HOS analyzers. Details of system design are discussed, giving attention to aspects of immediate self-control and indirect self-control. A description is given of the approaches used for software management." @default.
- W2313940791 created "2016-06-24" @default.
- W2313940791 creator A5022547615 @default.
- W2313940791 creator A5041448473 @default.
- W2313940791 date "1975-04-02" @default.
- W2313940791 modified "2023-09-28" @default.
- W2313940791 title "High order software - A methodology for defining software" @default.
- W2313940791 cites W1971599559 @default.
- W2313940791 cites W1989814156 @default.
- W2313940791 doi "https://doi.org/10.2514/6.1975-593" @default.
- W2313940791 hasPublicationYear "1975" @default.
- W2313940791 type Work @default.
- W2313940791 sameAs 2313940791 @default.
- W2313940791 citedByCount "1" @default.
- W2313940791 crossrefType "proceedings-article" @default.
- W2313940791 hasAuthorship W2313940791A5022547615 @default.
- W2313940791 hasAuthorship W2313940791A5041448473 @default.
- W2313940791 hasConcept C115903868 @default.
- W2313940791 hasConcept C127413603 @default.
- W2313940791 hasConcept C149091818 @default.
- W2313940791 hasConcept C199360897 @default.
- W2313940791 hasConcept C21547014 @default.
- W2313940791 hasConcept C2777904410 @default.
- W2313940791 hasConcept C41008148 @default.
- W2313940791 hasConcept C48002344 @default.
- W2313940791 hasConcept C529173508 @default.
- W2313940791 hasConceptScore W2313940791C115903868 @default.
- W2313940791 hasConceptScore W2313940791C127413603 @default.
- W2313940791 hasConceptScore W2313940791C149091818 @default.
- W2313940791 hasConceptScore W2313940791C199360897 @default.
- W2313940791 hasConceptScore W2313940791C21547014 @default.
- W2313940791 hasConceptScore W2313940791C2777904410 @default.
- W2313940791 hasConceptScore W2313940791C41008148 @default.
- W2313940791 hasConceptScore W2313940791C48002344 @default.
- W2313940791 hasConceptScore W2313940791C529173508 @default.
- W2313940791 hasLocation W23139407911 @default.
- W2313940791 hasOpenAccess W2313940791 @default.
- W2313940791 hasPrimaryLocation W23139407911 @default.
- W2313940791 hasRelatedWork W149077242 @default.
- W2313940791 hasRelatedWork W1933045908 @default.
- W2313940791 hasRelatedWork W1980718229 @default.
- W2313940791 hasRelatedWork W1983202109 @default.
- W2313940791 hasRelatedWork W1990635260 @default.
- W2313940791 hasRelatedWork W1995143551 @default.
- W2313940791 hasRelatedWork W2052755390 @default.
- W2313940791 hasRelatedWork W2160066247 @default.
- W2313940791 hasRelatedWork W2314205856 @default.
- W2313940791 hasRelatedWork W2333260944 @default.
- W2313940791 hasRelatedWork W2341047786 @default.
- W2313940791 hasRelatedWork W2400790671 @default.
- W2313940791 hasRelatedWork W248317785 @default.
- W2313940791 hasRelatedWork W2618038833 @default.
- W2313940791 hasRelatedWork W2739556977 @default.
- W2313940791 hasRelatedWork W2740404034 @default.
- W2313940791 hasRelatedWork W2953604727 @default.
- W2313940791 hasRelatedWork W46298157 @default.
- W2313940791 hasRelatedWork W54580083 @default.
- W2313940791 hasRelatedWork W85910488 @default.
- W2313940791 isParatext "false" @default.
- W2313940791 isRetracted "false" @default.
- W2313940791 magId "2313940791" @default.
- W2313940791 workType "article" @default.