Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073459723> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2073459723 abstract "This paper reviews the progress that has been made towards the definition of a new generation of computer assisted problem solving tool. When we solve problems with a computer we state the solution in terms of several languages, beginning with a requirements specification language and ending with a program. Beginning with a generalization of a programming language, this paper follows steps towards the removal of control and data structure information in a problem solution. The effort discussed here would result in the requirements specification language being the final language used in problem solving." @default.
- W2073459723 created "2016-06-24" @default.
- W2073459723 creator A5032779885 @default.
- W2073459723 creator A5080609636 @default.
- W2073459723 date "1991-03-01" @default.
- W2073459723 modified "2023-09-25" @default.
- W2073459723 title "ON THE DEVELOPMENT OF A METHOD TO SYNTHESIZE PROGRAMS FROM REQUIREMENTS SPECIFICATIONS" @default.
- W2073459723 doi "https://doi.org/10.1142/s0218194091000056" @default.
- W2073459723 hasPublicationYear "1991" @default.
- W2073459723 type Work @default.
- W2073459723 sameAs 2073459723 @default.
- W2073459723 citedByCount "10" @default.
- W2073459723 crossrefType "journal-article" @default.
- W2073459723 hasAuthorship W2073459723A5032779885 @default.
- W2073459723 hasAuthorship W2073459723A5080609636 @default.
- W2073459723 hasConcept C115903868 @default.
- W2073459723 hasConcept C127413603 @default.
- W2073459723 hasConcept C134306372 @default.
- W2073459723 hasConcept C199360897 @default.
- W2073459723 hasConcept C201995342 @default.
- W2073459723 hasConcept C2776542497 @default.
- W2073459723 hasConcept C33923547 @default.
- W2073459723 hasConcept C41008148 @default.
- W2073459723 hasConcept C48103436 @default.
- W2073459723 hasConcept C539667460 @default.
- W2073459723 hasConceptScore W2073459723C115903868 @default.
- W2073459723 hasConceptScore W2073459723C127413603 @default.
- W2073459723 hasConceptScore W2073459723C134306372 @default.
- W2073459723 hasConceptScore W2073459723C199360897 @default.
- W2073459723 hasConceptScore W2073459723C201995342 @default.
- W2073459723 hasConceptScore W2073459723C2776542497 @default.
- W2073459723 hasConceptScore W2073459723C33923547 @default.
- W2073459723 hasConceptScore W2073459723C41008148 @default.
- W2073459723 hasConceptScore W2073459723C48103436 @default.
- W2073459723 hasConceptScore W2073459723C539667460 @default.
- W2073459723 hasLocation W20734597231 @default.
- W2073459723 hasOpenAccess W2073459723 @default.
- W2073459723 hasPrimaryLocation W20734597231 @default.
- W2073459723 hasRelatedWork W143064400 @default.
- W2073459723 hasRelatedWork W1559179949 @default.
- W2073459723 hasRelatedWork W1564491530 @default.
- W2073459723 hasRelatedWork W1965493889 @default.
- W2073459723 hasRelatedWork W1978852414 @default.
- W2073459723 hasRelatedWork W1980348251 @default.
- W2073459723 hasRelatedWork W1993281969 @default.
- W2073459723 hasRelatedWork W2083450574 @default.
- W2073459723 hasRelatedWork W214313373 @default.
- W2073459723 hasRelatedWork W2154142412 @default.
- W2073459723 hasRelatedWork W2247861727 @default.
- W2073459723 hasRelatedWork W2380245528 @default.
- W2073459723 hasRelatedWork W2390568732 @default.
- W2073459723 hasRelatedWork W2489967165 @default.
- W2073459723 hasRelatedWork W2753613107 @default.
- W2073459723 hasRelatedWork W2766570697 @default.
- W2073459723 hasRelatedWork W2784796851 @default.
- W2073459723 hasRelatedWork W2792082897 @default.
- W2073459723 hasRelatedWork W2796730088 @default.
- W2073459723 hasRelatedWork W3022441790 @default.
- W2073459723 isParatext "false" @default.
- W2073459723 isRetracted "false" @default.
- W2073459723 magId "2073459723" @default.
- W2073459723 workType "article" @default.