Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158606799> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2158606799 abstract "S OLVE (Specificationusing an Object-based, L OTOS -defined,Visual language) is designed to allow formal requirements capture, particularly for interactive systems. The S OLVE language is object-based, and formally defined using L OTOS (Language Of Temporal Ordering Specification). S OLVE is also a set of software tools that allow direct visual animation of systems specified in this language. Communicating objects control onscreen icons that can be manipulated directly by the user. Animation is supported by translating a S OLVE specification automatically into a L OTOS specification, and then simulating this using standard L OTOS tools. A VCR (Video Cassette Recorder) clock controller is used to illustrate the S OLVE approach. A further application is embodied in the XD ILL tool that supports requirements specificationand animation of digital logic circuits. The architecture of the S OLVE toolset is described." @default.
- W2158606799 created "2016-06-24" @default.
- W2158606799 creator A5011202875 @default.
- W2158606799 creator A5053350002 @default.
- W2158606799 date "1999-01-01" @default.
- W2158606799 modified "2023-09-28" @default.
- W2158606799 title "Visual Animation of Formal Requirements" @default.
- W2158606799 cites W1500394786 @default.
- W2158606799 cites W1540356090 @default.
- W2158606799 cites W1544921324 @default.
- W2158606799 cites W1579576134 @default.
- W2158606799 cites W1582417624 @default.
- W2158606799 cites W1623065688 @default.
- W2158606799 cites W178026401 @default.
- W2158606799 cites W1987658996 @default.
- W2158606799 cites W2027657506 @default.
- W2158606799 cites W2096039823 @default.
- W2158606799 cites W2126804632 @default.
- W2158606799 cites W2155393641 @default.
- W2158606799 cites W26566394 @default.
- W2158606799 cites W2674269739 @default.
- W2158606799 hasPublicationYear "1999" @default.
- W2158606799 type Work @default.
- W2158606799 sameAs 2158606799 @default.
- W2158606799 citedByCount "0" @default.
- W2158606799 crossrefType "journal-article" @default.
- W2158606799 hasAuthorship W2158606799A5011202875 @default.
- W2158606799 hasAuthorship W2158606799A5053350002 @default.
- W2158606799 hasConcept C115903868 @default.
- W2158606799 hasConcept C116253237 @default.
- W2158606799 hasConcept C121684516 @default.
- W2158606799 hasConcept C138591656 @default.
- W2158606799 hasConcept C138885662 @default.
- W2158606799 hasConcept C154945302 @default.
- W2158606799 hasConcept C177264268 @default.
- W2158606799 hasConcept C199360897 @default.
- W2158606799 hasConcept C201677973 @default.
- W2158606799 hasConcept C2780878386 @default.
- W2158606799 hasConcept C2781238097 @default.
- W2158606799 hasConcept C41008148 @default.
- W2158606799 hasConcept C41895202 @default.
- W2158606799 hasConcept C502989409 @default.
- W2158606799 hasConcept C69369342 @default.
- W2158606799 hasConcept C84651959 @default.
- W2158606799 hasConceptScore W2158606799C115903868 @default.
- W2158606799 hasConceptScore W2158606799C116253237 @default.
- W2158606799 hasConceptScore W2158606799C121684516 @default.
- W2158606799 hasConceptScore W2158606799C138591656 @default.
- W2158606799 hasConceptScore W2158606799C138885662 @default.
- W2158606799 hasConceptScore W2158606799C154945302 @default.
- W2158606799 hasConceptScore W2158606799C177264268 @default.
- W2158606799 hasConceptScore W2158606799C199360897 @default.
- W2158606799 hasConceptScore W2158606799C201677973 @default.
- W2158606799 hasConceptScore W2158606799C2780878386 @default.
- W2158606799 hasConceptScore W2158606799C2781238097 @default.
- W2158606799 hasConceptScore W2158606799C41008148 @default.
- W2158606799 hasConceptScore W2158606799C41895202 @default.
- W2158606799 hasConceptScore W2158606799C502989409 @default.
- W2158606799 hasConceptScore W2158606799C69369342 @default.
- W2158606799 hasConceptScore W2158606799C84651959 @default.
- W2158606799 hasLocation W21586067991 @default.
- W2158606799 hasOpenAccess W2158606799 @default.
- W2158606799 hasPrimaryLocation W21586067991 @default.
- W2158606799 hasRelatedWork W1502587626 @default.
- W2158606799 hasRelatedWork W1784233930 @default.
- W2158606799 hasRelatedWork W1839344943 @default.
- W2158606799 hasRelatedWork W1898351019 @default.
- W2158606799 hasRelatedWork W2057798800 @default.
- W2158606799 hasRelatedWork W2096227301 @default.
- W2158606799 hasRelatedWork W2122460461 @default.
- W2158606799 hasRelatedWork W2123237875 @default.
- W2158606799 hasRelatedWork W2131621891 @default.
- W2158606799 hasRelatedWork W2146730927 @default.
- W2158606799 hasRelatedWork W2147487761 @default.
- W2158606799 hasRelatedWork W2154327223 @default.
- W2158606799 hasRelatedWork W2155596077 @default.
- W2158606799 hasRelatedWork W2172078448 @default.
- W2158606799 hasRelatedWork W2541525715 @default.
- W2158606799 hasRelatedWork W2569651451 @default.
- W2158606799 hasRelatedWork W270027238 @default.
- W2158606799 hasRelatedWork W2741529647 @default.
- W2158606799 hasRelatedWork W2992204965 @default.
- W2158606799 hasRelatedWork W637926427 @default.
- W2158606799 isParatext "false" @default.
- W2158606799 isRetracted "false" @default.
- W2158606799 magId "2158606799" @default.
- W2158606799 workType "article" @default.