Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051314699> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2051314699 endingPage "350" @default.
- W2051314699 startingPage "331" @default.
- W2051314699 abstract "This article is on a methodology for eliciting and verifying the correctness of domain knowledge using propositional logic. The domain knowledge is further structured and organized into subdomains of objects to facilitate an automatic and rapid development of design prototypes. The philosophy of the design paradigm is threefold: 1) focus the development of software requirements specifications on a set of objects and a set of relationships; 2) establish theorems about the interrelationships of the objects, prove the correctness of the theorems, construct software architectural models based on the transitivity of the theorems, and decompose the models into clusters of objects; and 3) employ object-oriented design techniques to generate prototypes of object classes from the resultant clusters. A prototype generator has been implemented to realize these goals. The significant contributions of this paper are: 1) limiting the contents of the specifications to objects and relationships and mapping this dual basis approach into formalisms of logic to derive and verify the abstract interdependencies of the objects; and 2) modeling, decomposing, and clustering the objects into common classes to facilitate a modular design." @default.
- W2051314699 created "2016-06-24" @default.
- W2051314699 creator A5009442985 @default.
- W2051314699 date "1991-12-01" @default.
- W2051314699 modified "2023-09-25" @default.
- W2051314699 title "AUTOMATIC, RAPID GENERATION OF DESIGN PROTOTYPES FROM LOGIC SPECIFICATIONS" @default.
- W2051314699 doi "https://doi.org/10.1142/s021819409100024x" @default.
- W2051314699 hasPublicationYear "1991" @default.
- W2051314699 type Work @default.
- W2051314699 sameAs 2051314699 @default.
- W2051314699 citedByCount "3" @default.
- W2051314699 crossrefType "journal-article" @default.
- W2051314699 hasAuthorship W2051314699A5009442985 @default.
- W2051314699 hasConcept C101468663 @default.
- W2051314699 hasConcept C115903868 @default.
- W2051314699 hasConcept C121332964 @default.
- W2051314699 hasConcept C134306372 @default.
- W2051314699 hasConcept C163258240 @default.
- W2051314699 hasConcept C171018156 @default.
- W2051314699 hasConcept C199360897 @default.
- W2051314699 hasConcept C2524010 @default.
- W2051314699 hasConcept C2777904410 @default.
- W2051314699 hasConcept C2780992000 @default.
- W2051314699 hasConcept C33923547 @default.
- W2051314699 hasConcept C36503486 @default.
- W2051314699 hasConcept C41008148 @default.
- W2051314699 hasConcept C53073257 @default.
- W2051314699 hasConcept C55439883 @default.
- W2051314699 hasConcept C62520636 @default.
- W2051314699 hasConcept C80444323 @default.
- W2051314699 hasConceptScore W2051314699C101468663 @default.
- W2051314699 hasConceptScore W2051314699C115903868 @default.
- W2051314699 hasConceptScore W2051314699C121332964 @default.
- W2051314699 hasConceptScore W2051314699C134306372 @default.
- W2051314699 hasConceptScore W2051314699C163258240 @default.
- W2051314699 hasConceptScore W2051314699C171018156 @default.
- W2051314699 hasConceptScore W2051314699C199360897 @default.
- W2051314699 hasConceptScore W2051314699C2524010 @default.
- W2051314699 hasConceptScore W2051314699C2777904410 @default.
- W2051314699 hasConceptScore W2051314699C2780992000 @default.
- W2051314699 hasConceptScore W2051314699C33923547 @default.
- W2051314699 hasConceptScore W2051314699C36503486 @default.
- W2051314699 hasConceptScore W2051314699C41008148 @default.
- W2051314699 hasConceptScore W2051314699C53073257 @default.
- W2051314699 hasConceptScore W2051314699C55439883 @default.
- W2051314699 hasConceptScore W2051314699C62520636 @default.
- W2051314699 hasConceptScore W2051314699C80444323 @default.
- W2051314699 hasIssue "04" @default.
- W2051314699 hasLocation W20513146991 @default.
- W2051314699 hasOpenAccess W2051314699 @default.
- W2051314699 hasPrimaryLocation W20513146991 @default.
- W2051314699 hasRelatedWork W1546948343 @default.
- W2051314699 hasRelatedWork W2037317228 @default.
- W2051314699 hasRelatedWork W2099269319 @default.
- W2051314699 hasRelatedWork W299389319 @default.
- W2051314699 hasRelatedWork W3099800985 @default.
- W2051314699 hasRelatedWork W4238823939 @default.
- W2051314699 hasRelatedWork W4313015671 @default.
- W2051314699 hasRelatedWork W2522372746 @default.
- W2051314699 hasRelatedWork W2610607535 @default.
- W2051314699 hasRelatedWork W2789178056 @default.
- W2051314699 hasVolume "01" @default.
- W2051314699 isParatext "false" @default.
- W2051314699 isRetracted "false" @default.
- W2051314699 magId "2051314699" @default.
- W2051314699 workType "article" @default.