Matches in SemOpenAlex for { <https://semopenalex.org/work/W752149849> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W752149849 abstract "Software Engineering is a knowledge intensive activity that involves defining, designing, developing, and maintaining software systems. In order to build effective systems to support Software Engineering activities, Artificial Intelligence techniques are needed. The application of Artificial Intelligence technology to Software Engineering is called Knowledge-based Software Engineering (KBSE). The goal of KBSE is to change the software life cycle such that software maintenance and evolution occur by modifying the specifications and then rederiving the implementation rather than by directly modifying the implementation. The use of domain knowledge in developing KBSE systems is crucial. Our work is mainly related to one area of KBSE that is called automatic specification acquisition. One example is the WATSON prototype on which our current work is based. WATSON is an automatic programming system for formalizing specifications for telephone switching software mainly restricted to POTS, i.e., plain old telephone service. Our current approach differentiates itself from other approaches in two antagonistic ways. On the one hand, we address a large and complex real-world problem instead of a 'toy domain' as in many research prototypes. On the other hand, to allow such scaling, we had to relax the ambitious goal of complete automatic programming, to the easier task of automatic testing." @default.
- W752149849 created "2016-06-24" @default.
- W752149849 creator A5020590345 @default.
- W752149849 date "1992-07-01" @default.
- W752149849 modified "2023-09-24" @default.
- W752149849 title "Domain-specific functional software testing: A progress report" @default.
- W752149849 cites W2069084711 @default.
- W752149849 cites W2079013580 @default.
- W752149849 cites W2160823258 @default.
- W752149849 cites W79411081 @default.
- W752149849 hasPublicationYear "1992" @default.
- W752149849 type Work @default.
- W752149849 sameAs 752149849 @default.
- W752149849 citedByCount "0" @default.
- W752149849 crossrefType "proceedings-article" @default.
- W752149849 hasAuthorship W752149849A5020590345 @default.
- W752149849 hasConcept C115903868 @default.
- W752149849 hasConcept C134306372 @default.
- W752149849 hasConcept C149091818 @default.
- W752149849 hasConcept C180152950 @default.
- W752149849 hasConcept C186846655 @default.
- W752149849 hasConcept C199360897 @default.
- W752149849 hasConcept C2777904410 @default.
- W752149849 hasConcept C33923547 @default.
- W752149849 hasConcept C36503486 @default.
- W752149849 hasConcept C41008148 @default.
- W752149849 hasConcept C529173508 @default.
- W752149849 hasConcept C5977032 @default.
- W752149849 hasConceptScore W752149849C115903868 @default.
- W752149849 hasConceptScore W752149849C134306372 @default.
- W752149849 hasConceptScore W752149849C149091818 @default.
- W752149849 hasConceptScore W752149849C180152950 @default.
- W752149849 hasConceptScore W752149849C186846655 @default.
- W752149849 hasConceptScore W752149849C199360897 @default.
- W752149849 hasConceptScore W752149849C2777904410 @default.
- W752149849 hasConceptScore W752149849C33923547 @default.
- W752149849 hasConceptScore W752149849C36503486 @default.
- W752149849 hasConceptScore W752149849C41008148 @default.
- W752149849 hasConceptScore W752149849C529173508 @default.
- W752149849 hasConceptScore W752149849C5977032 @default.
- W752149849 hasLocation W7521498491 @default.
- W752149849 hasOpenAccess W752149849 @default.
- W752149849 hasPrimaryLocation W7521498491 @default.
- W752149849 hasRelatedWork W1485949778 @default.
- W752149849 hasRelatedWork W1505831439 @default.
- W752149849 hasRelatedWork W1557390933 @default.
- W752149849 hasRelatedWork W1583298945 @default.
- W752149849 hasRelatedWork W2006352482 @default.
- W752149849 hasRelatedWork W2029733680 @default.
- W752149849 hasRelatedWork W2030641436 @default.
- W752149849 hasRelatedWork W2090937076 @default.
- W752149849 hasRelatedWork W2115093943 @default.
- W752149849 hasRelatedWork W2170977002 @default.
- W752149849 hasRelatedWork W2397615735 @default.
- W752149849 hasRelatedWork W2533254734 @default.
- W752149849 hasRelatedWork W2623911252 @default.
- W752149849 hasRelatedWork W592643191 @default.
- W752149849 hasRelatedWork W756687782 @default.
- W752149849 hasRelatedWork W762743808 @default.
- W752149849 hasRelatedWork W787679314 @default.
- W752149849 hasRelatedWork W794750243 @default.
- W752149849 hasRelatedWork W836850366 @default.
- W752149849 hasRelatedWork W251120172 @default.
- W752149849 isParatext "false" @default.
- W752149849 isRetracted "false" @default.
- W752149849 magId "752149849" @default.
- W752149849 workType "article" @default.