Matches in SemOpenAlex for { <https://semopenalex.org/work/W5510441> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W5510441 startingPage "45" @default.
- W5510441 abstract "We propose an approach using models in the knowledge-base for the system design of real-time distributed systems. Our approach belongs to a logical approach and our modeling is state-based. Models in our knowledge-base are built from specifications in our specification description language. These models in the knowledge-base works greatly for (semi-)automation of system design in the upper software development processes, i.e., the verification of their system design with deadlock detection, direct execution of specifications by interpretation, and plan synthesis. We explain how our system works, using ATM system design as an example problem." @default.
- W5510441 created "2016-06-24" @default.
- W5510441 creator A5070818580 @default.
- W5510441 creator A5084821876 @default.
- W5510441 date "2005-07-14" @default.
- W5510441 modified "2023-09-23" @default.
- W5510441 title "A knowledge-based modeling approach for verification, direct execution and plan synthesis of system design" @default.
- W5510441 cites W1526993786 @default.
- W5510441 cites W1535654799 @default.
- W5510441 cites W1572969502 @default.
- W5510441 cites W1602650507 @default.
- W5510441 cites W175551733 @default.
- W5510441 cites W2102071894 @default.
- W5510441 cites W2122410182 @default.
- W5510441 cites W2164440547 @default.
- W5510441 cites W617329964 @default.
- W5510441 hasPublicationYear "2005" @default.
- W5510441 type Work @default.
- W5510441 sameAs 5510441 @default.
- W5510441 citedByCount "3" @default.
- W5510441 crossrefType "proceedings-article" @default.
- W5510441 hasAuthorship W5510441A5070818580 @default.
- W5510441 hasAuthorship W5510441A5084821876 @default.
- W5510441 hasConcept C115901376 @default.
- W5510441 hasConcept C115903868 @default.
- W5510441 hasConcept C115925183 @default.
- W5510441 hasConcept C127413603 @default.
- W5510441 hasConcept C154945302 @default.
- W5510441 hasConcept C166957645 @default.
- W5510441 hasConcept C199360897 @default.
- W5510441 hasConcept C2776505523 @default.
- W5510441 hasConcept C41008148 @default.
- W5510441 hasConcept C4554734 @default.
- W5510441 hasConcept C78519656 @default.
- W5510441 hasConcept C95457728 @default.
- W5510441 hasConceptScore W5510441C115901376 @default.
- W5510441 hasConceptScore W5510441C115903868 @default.
- W5510441 hasConceptScore W5510441C115925183 @default.
- W5510441 hasConceptScore W5510441C127413603 @default.
- W5510441 hasConceptScore W5510441C154945302 @default.
- W5510441 hasConceptScore W5510441C166957645 @default.
- W5510441 hasConceptScore W5510441C199360897 @default.
- W5510441 hasConceptScore W5510441C2776505523 @default.
- W5510441 hasConceptScore W5510441C41008148 @default.
- W5510441 hasConceptScore W5510441C4554734 @default.
- W5510441 hasConceptScore W5510441C78519656 @default.
- W5510441 hasConceptScore W5510441C95457728 @default.
- W5510441 hasLocation W55104411 @default.
- W5510441 hasOpenAccess W5510441 @default.
- W5510441 hasPrimaryLocation W55104411 @default.
- W5510441 hasRelatedWork W103786485 @default.
- W5510441 hasRelatedWork W1481911710 @default.
- W5510441 hasRelatedWork W1487536269 @default.
- W5510441 hasRelatedWork W1571823944 @default.
- W5510441 hasRelatedWork W1581526118 @default.
- W5510441 hasRelatedWork W1966346742 @default.
- W5510441 hasRelatedWork W2014865696 @default.
- W5510441 hasRelatedWork W2033050790 @default.
- W5510441 hasRelatedWork W2125588417 @default.
- W5510441 hasRelatedWork W2128513456 @default.
- W5510441 hasRelatedWork W2156303013 @default.
- W5510441 hasRelatedWork W2161878325 @default.
- W5510441 hasRelatedWork W2169895769 @default.
- W5510441 hasRelatedWork W2171025871 @default.
- W5510441 hasRelatedWork W2172028582 @default.
- W5510441 hasRelatedWork W2745949103 @default.
- W5510441 hasRelatedWork W2766781233 @default.
- W5510441 hasRelatedWork W3049745638 @default.
- W5510441 hasRelatedWork W565232785 @default.
- W5510441 hasRelatedWork W57597413 @default.
- W5510441 isParatext "false" @default.
- W5510441 isRetracted "false" @default.
- W5510441 magId "5510441" @default.
- W5510441 workType "article" @default.