Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079847066> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2079847066 endingPage "302" @default.
- W2079847066 startingPage "291" @default.
- W2079847066 abstract "Synthesis of pragmatic systems from high-level specifications requires representation and application of both functional requirements and constraints. This work presents a language for representing requirements and constraints in VHDL design representations and a prototype care-based synthesis system. VSPEC is an annotation language for VHDL developed to support axiomatic representation of requirements for system synthesis. VSPEC descriptions serve as synthesis goals and verification criteria. A prototype case-based synthesis system is also presented that uses VSPEC requirements as goal statements and descriptions of potential solutions. This prototype system demonstrates how synthesis can be performed at the systems level and how constraints can be used to implement a simple concurrent engineering process." @default.
- W2079847066 created "2016-06-24" @default.
- W2079847066 creator A5005487588 @default.
- W2079847066 creator A5010231317 @default.
- W2079847066 creator A5042452819 @default.
- W2079847066 date "1994-12-01" @default.
- W2079847066 modified "2023-10-14" @default.
- W2079847066 title "Using Declarative Specifications and Case-based Planning for System Synthesis" @default.
- W2079847066 cites W1583095677 @default.
- W2079847066 cites W2045323411 @default.
- W2079847066 cites W2129466151 @default.
- W2079847066 cites W2169343294 @default.
- W2079847066 cites W2170325853 @default.
- W2079847066 cites W2177760151 @default.
- W2079847066 cites W4299484218 @default.
- W2079847066 doi "https://doi.org/10.1177/1063293x9400200405" @default.
- W2079847066 hasPublicationYear "1994" @default.
- W2079847066 type Work @default.
- W2079847066 sameAs 2079847066 @default.
- W2079847066 citedByCount "2" @default.
- W2079847066 crossrefType "journal-article" @default.
- W2079847066 hasAuthorship W2079847066A5005487588 @default.
- W2079847066 hasAuthorship W2079847066A5010231317 @default.
- W2079847066 hasAuthorship W2079847066A5042452819 @default.
- W2079847066 hasConcept C115903868 @default.
- W2079847066 hasConcept C116253237 @default.
- W2079847066 hasConcept C127413603 @default.
- W2079847066 hasConcept C149635348 @default.
- W2079847066 hasConcept C167729594 @default.
- W2079847066 hasConcept C17744445 @default.
- W2079847066 hasConcept C199360897 @default.
- W2079847066 hasConcept C199539241 @default.
- W2079847066 hasConcept C201677973 @default.
- W2079847066 hasConcept C201995342 @default.
- W2079847066 hasConcept C2524010 @default.
- W2079847066 hasConcept C2776359362 @default.
- W2079847066 hasConcept C33923547 @default.
- W2079847066 hasConcept C36941000 @default.
- W2079847066 hasConcept C41008148 @default.
- W2079847066 hasConcept C42935608 @default.
- W2079847066 hasConcept C84651959 @default.
- W2079847066 hasConcept C94625758 @default.
- W2079847066 hasConcept C98045186 @default.
- W2079847066 hasConceptScore W2079847066C115903868 @default.
- W2079847066 hasConceptScore W2079847066C116253237 @default.
- W2079847066 hasConceptScore W2079847066C127413603 @default.
- W2079847066 hasConceptScore W2079847066C149635348 @default.
- W2079847066 hasConceptScore W2079847066C167729594 @default.
- W2079847066 hasConceptScore W2079847066C17744445 @default.
- W2079847066 hasConceptScore W2079847066C199360897 @default.
- W2079847066 hasConceptScore W2079847066C199539241 @default.
- W2079847066 hasConceptScore W2079847066C201677973 @default.
- W2079847066 hasConceptScore W2079847066C201995342 @default.
- W2079847066 hasConceptScore W2079847066C2524010 @default.
- W2079847066 hasConceptScore W2079847066C2776359362 @default.
- W2079847066 hasConceptScore W2079847066C33923547 @default.
- W2079847066 hasConceptScore W2079847066C36941000 @default.
- W2079847066 hasConceptScore W2079847066C41008148 @default.
- W2079847066 hasConceptScore W2079847066C42935608 @default.
- W2079847066 hasConceptScore W2079847066C84651959 @default.
- W2079847066 hasConceptScore W2079847066C94625758 @default.
- W2079847066 hasConceptScore W2079847066C98045186 @default.
- W2079847066 hasIssue "4" @default.
- W2079847066 hasLocation W20798470661 @default.
- W2079847066 hasOpenAccess W2079847066 @default.
- W2079847066 hasPrimaryLocation W20798470661 @default.
- W2079847066 hasRelatedWork W1483609345 @default.
- W2079847066 hasRelatedWork W1868626603 @default.
- W2079847066 hasRelatedWork W2047524021 @default.
- W2079847066 hasRelatedWork W2112029416 @default.
- W2079847066 hasRelatedWork W2116505413 @default.
- W2079847066 hasRelatedWork W2164119794 @default.
- W2079847066 hasRelatedWork W2347845734 @default.
- W2079847066 hasRelatedWork W2592399342 @default.
- W2079847066 hasRelatedWork W2898425611 @default.
- W2079847066 hasRelatedWork W9205283 @default.
- W2079847066 hasVolume "2" @default.
- W2079847066 isParatext "false" @default.
- W2079847066 isRetracted "false" @default.
- W2079847066 magId "2079847066" @default.
- W2079847066 workType "article" @default.