Matches in SemOpenAlex for { <https://semopenalex.org/work/W776088507> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W776088507 abstract "Our interest in automating software design has come out of our research in automated reasoning, inductive inference, learnability, and algebraic machine theory. We have investigated these areas extensively, in connection with specific problems of language representation, acquisition, processing, and design. In the case of formal context-free (CF) languages we established existence of finite learnable models ('behavioral realizations') and procedures for constructing them effectively. We also determined techniques for automatic construction of the models, inductively inferring them from finite examples of how they should 'behave'. These results were obtainable due to appropriate representation of domain knowledge, and constraints on the domain that the representation defined. It was when we sought to generalize our results, and adapt or apply them, that we began investigating the possibility of determining similar procedures for constructing correct software. Discussions with other researchers led us to examine testing and verification processes, as they are related to inference, and due to their considerable importance in correct software design. Motivating papers by other researchers, led us to examine these processes in some depth. Here we present our approach to those software design issues raised by other researchers, within our own theoretical context. We describe our results, relative to those of the other researchers, and conclude that they do not compare unfavorably." @default.
- W776088507 created "2016-06-24" @default.
- W776088507 creator A5085816903 @default.
- W776088507 date "1992-07-01" @default.
- W776088507 modified "2023-09-25" @default.
- W776088507 title "Software design as a problem in learning theory (a research overview)" @default.
- W776088507 hasPublicationYear "1992" @default.
- W776088507 type Work @default.
- W776088507 sameAs 776088507 @default.
- W776088507 citedByCount "0" @default.
- W776088507 crossrefType "proceedings-article" @default.
- W776088507 hasAuthorship W776088507A5085816903 @default.
- W776088507 hasConcept C115903868 @default.
- W776088507 hasConcept C134306372 @default.
- W776088507 hasConcept C151730666 @default.
- W776088507 hasConcept C154945302 @default.
- W776088507 hasConcept C17744445 @default.
- W776088507 hasConcept C199360897 @default.
- W776088507 hasConcept C199539241 @default.
- W776088507 hasConcept C21563000 @default.
- W776088507 hasConcept C2776214188 @default.
- W776088507 hasConcept C2776359362 @default.
- W776088507 hasConcept C2777723229 @default.
- W776088507 hasConcept C2777904410 @default.
- W776088507 hasConcept C2779343474 @default.
- W776088507 hasConcept C33923547 @default.
- W776088507 hasConcept C36503486 @default.
- W776088507 hasConcept C41008148 @default.
- W776088507 hasConcept C52913732 @default.
- W776088507 hasConcept C529173508 @default.
- W776088507 hasConcept C80444323 @default.
- W776088507 hasConcept C86803240 @default.
- W776088507 hasConcept C94625758 @default.
- W776088507 hasConceptScore W776088507C115903868 @default.
- W776088507 hasConceptScore W776088507C134306372 @default.
- W776088507 hasConceptScore W776088507C151730666 @default.
- W776088507 hasConceptScore W776088507C154945302 @default.
- W776088507 hasConceptScore W776088507C17744445 @default.
- W776088507 hasConceptScore W776088507C199360897 @default.
- W776088507 hasConceptScore W776088507C199539241 @default.
- W776088507 hasConceptScore W776088507C21563000 @default.
- W776088507 hasConceptScore W776088507C2776214188 @default.
- W776088507 hasConceptScore W776088507C2776359362 @default.
- W776088507 hasConceptScore W776088507C2777723229 @default.
- W776088507 hasConceptScore W776088507C2777904410 @default.
- W776088507 hasConceptScore W776088507C2779343474 @default.
- W776088507 hasConceptScore W776088507C33923547 @default.
- W776088507 hasConceptScore W776088507C36503486 @default.
- W776088507 hasConceptScore W776088507C41008148 @default.
- W776088507 hasConceptScore W776088507C52913732 @default.
- W776088507 hasConceptScore W776088507C529173508 @default.
- W776088507 hasConceptScore W776088507C80444323 @default.
- W776088507 hasConceptScore W776088507C86803240 @default.
- W776088507 hasConceptScore W776088507C94625758 @default.
- W776088507 hasLocation W7760885071 @default.
- W776088507 hasOpenAccess W776088507 @default.
- W776088507 hasPrimaryLocation W7760885071 @default.
- W776088507 hasRelatedWork W1024151587 @default.
- W776088507 hasRelatedWork W1606360774 @default.
- W776088507 hasRelatedWork W1959666806 @default.
- W776088507 hasRelatedWork W2113354702 @default.
- W776088507 hasRelatedWork W2295416637 @default.
- W776088507 hasRelatedWork W2407044401 @default.
- W776088507 hasRelatedWork W2490211961 @default.
- W776088507 hasRelatedWork W2797075385 @default.
- W776088507 hasRelatedWork W2801589704 @default.
- W776088507 hasRelatedWork W2913883075 @default.
- W776088507 hasRelatedWork W295622601 @default.
- W776088507 hasRelatedWork W2990123659 @default.
- W776088507 hasRelatedWork W3006564246 @default.
- W776088507 hasRelatedWork W3036298912 @default.
- W776088507 hasRelatedWork W3096681020 @default.
- W776088507 hasRelatedWork W3108265796 @default.
- W776088507 hasRelatedWork W3138528187 @default.
- W776088507 hasRelatedWork W3151494349 @default.
- W776088507 hasRelatedWork W3194283804 @default.
- W776088507 hasRelatedWork W3207582106 @default.
- W776088507 isParatext "false" @default.
- W776088507 isRetracted "false" @default.
- W776088507 magId "776088507" @default.
- W776088507 workType "article" @default.