Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021106089> ?p ?o ?g. }
- W2021106089 abstract "In recent years, many notations and methods in real-time software engineering have been proposed. However, thorough experimentation to evaluate these notations and methods has not been carried out. This paper focuses on real-time software engineering specification languages: Unified Modeling Language (UML), Real-Time Object-Oriented Modeling Language (ROOM), Modecharts, statecharts, Mealy and Moore machines, finite state machines, classical logic, Z, ASTRAL, temporal logic, FNLOG, linear logic, Timed Communicating Sequential Processes (TCSP), Temporal Calculus of Communicating Systems (TCCS), ρ1, and Multilevel Specification. The basis for evaluating these software engineering specification languages is by using the Turing machines and Interaction machines. We classify them based on their computational capabilities." @default.
- W2021106089 created "2016-06-24" @default.
- W2021106089 creator A5007210215 @default.
- W2021106089 date "2002-11-01" @default.
- W2021106089 modified "2023-09-26" @default.
- W2021106089 title "Evaluating real-time software specification languages" @default.
- W2021106089 cites W147093031 @default.
- W2021106089 cites W1490661246 @default.
- W2021106089 cites W1498170831 @default.
- W2021106089 cites W1500110201 @default.
- W2021106089 cites W1503973138 @default.
- W2021106089 cites W1506588809 @default.
- W2021106089 cites W1554376394 @default.
- W2021106089 cites W1559986400 @default.
- W2021106089 cites W1566733033 @default.
- W2021106089 cites W1582068322 @default.
- W2021106089 cites W1590029082 @default.
- W2021106089 cites W1592890020 @default.
- W2021106089 cites W1603484428 @default.
- W2021106089 cites W1604959559 @default.
- W2021106089 cites W1615716068 @default.
- W2021106089 cites W1720140439 @default.
- W2021106089 cites W174292380 @default.
- W2021106089 cites W1885037678 @default.
- W2021106089 cites W1919452699 @default.
- W2021106089 cites W1948802341 @default.
- W2021106089 cites W1968947022 @default.
- W2021106089 cites W1972306345 @default.
- W2021106089 cites W1974810468 @default.
- W2021106089 cites W1976503857 @default.
- W2021106089 cites W1985660652 @default.
- W2021106089 cites W1988422114 @default.
- W2021106089 cites W1990100773 @default.
- W2021106089 cites W2002089154 @default.
- W2021106089 cites W2018507204 @default.
- W2021106089 cites W2026629052 @default.
- W2021106089 cites W2050887876 @default.
- W2021106089 cites W2058860174 @default.
- W2021106089 cites W2064650227 @default.
- W2021106089 cites W2065968974 @default.
- W2021106089 cites W2066381570 @default.
- W2021106089 cites W2083496258 @default.
- W2021106089 cites W2092346245 @default.
- W2021106089 cites W2095436832 @default.
- W2021106089 cites W2099529102 @default.
- W2021106089 cites W2104057616 @default.
- W2021106089 cites W2105663859 @default.
- W2021106089 cites W2121011432 @default.
- W2021106089 cites W2121163444 @default.
- W2021106089 cites W2126160338 @default.
- W2021106089 cites W2130521512 @default.
- W2021106089 cites W2138537116 @default.
- W2021106089 cites W2141321742 @default.
- W2021106089 cites W2141955344 @default.
- W2021106089 cites W2144973245 @default.
- W2021106089 cites W2154069078 @default.
- W2021106089 cites W2157974687 @default.
- W2021106089 cites W2159765281 @default.
- W2021106089 cites W2486003373 @default.
- W2021106089 cites W2911865844 @default.
- W2021106089 cites W3144368627 @default.
- W2021106089 cites W34078801 @default.
- W2021106089 cites W5415634 @default.
- W2021106089 cites W131848711 @default.
- W2021106089 doi "https://doi.org/10.1016/s0920-5489(02)00066-1" @default.
- W2021106089 hasPublicationYear "2002" @default.
- W2021106089 type Work @default.
- W2021106089 sameAs 2021106089 @default.
- W2021106089 citedByCount "4" @default.
- W2021106089 crossrefType "journal-article" @default.
- W2021106089 hasAuthorship W2021106089A5007210215 @default.
- W2021106089 hasConcept C115903868 @default.
- W2021106089 hasConcept C145644426 @default.
- W2021106089 hasConcept C167822520 @default.
- W2021106089 hasConcept C199360897 @default.
- W2021106089 hasConcept C201677973 @default.
- W2021106089 hasConcept C25016198 @default.
- W2021106089 hasConcept C2777904410 @default.
- W2021106089 hasConcept C33923547 @default.
- W2021106089 hasConcept C41008148 @default.
- W2021106089 hasConcept C45357846 @default.
- W2021106089 hasConcept C80444323 @default.
- W2021106089 hasConcept C94375191 @default.
- W2021106089 hasConceptScore W2021106089C115903868 @default.
- W2021106089 hasConceptScore W2021106089C145644426 @default.
- W2021106089 hasConceptScore W2021106089C167822520 @default.
- W2021106089 hasConceptScore W2021106089C199360897 @default.
- W2021106089 hasConceptScore W2021106089C201677973 @default.
- W2021106089 hasConceptScore W2021106089C25016198 @default.
- W2021106089 hasConceptScore W2021106089C2777904410 @default.
- W2021106089 hasConceptScore W2021106089C33923547 @default.
- W2021106089 hasConceptScore W2021106089C41008148 @default.
- W2021106089 hasConceptScore W2021106089C45357846 @default.
- W2021106089 hasConceptScore W2021106089C80444323 @default.
- W2021106089 hasConceptScore W2021106089C94375191 @default.
- W2021106089 hasLocation W20211060891 @default.
- W2021106089 hasOpenAccess W2021106089 @default.
- W2021106089 hasPrimaryLocation W20211060891 @default.
- W2021106089 hasRelatedWork W1532058475 @default.
- W2021106089 hasRelatedWork W1652311832 @default.