Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107131448> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2107131448 abstract "Real-time Descartes is a formal language for specifying real-time software, which is an extension of the executable Descartes specification language. Many formal specification techniques have been proposed to conceptualize real-world semantics of the inherently complex nature of real-time systems. Descartes as one of the specification languages based on the functional model has the advantages of easy constructibility and comprehensibility. Real-time Descartes makes effective use of the advantages of the finite state machine (FSM) model, the assertional model, and the process model while overcoming the disadvantages of the functional model. Easy constructibility and comprehensibility of Real-time Descartes will lessen the burden from software developers and reduce the understanding gap among participants. >" @default.
- W2107131448 created "2016-06-24" @default.
- W2107131448 creator A5031987868 @default.
- W2107131448 creator A5089099167 @default.
- W2107131448 date "2003-01-02" @default.
- W2107131448 modified "2023-09-28" @default.
- W2107131448 title "Real-time Descartes: a real-time specification language" @default.
- W2107131448 cites W2015688007 @default.
- W2107131448 cites W2294152890 @default.
- W2107131448 doi "https://doi.org/10.1109/ftdcs.1992.217511" @default.
- W2107131448 hasPublicationYear "2003" @default.
- W2107131448 type Work @default.
- W2107131448 sameAs 2107131448 @default.
- W2107131448 citedByCount "7" @default.
- W2107131448 countsByYear W21071314482012 @default.
- W2107131448 countsByYear W21071314482016 @default.
- W2107131448 crossrefType "proceedings-article" @default.
- W2107131448 hasAuthorship W2107131448A5031987868 @default.
- W2107131448 hasAuthorship W2107131448A5089099167 @default.
- W2107131448 hasConcept C116253237 @default.
- W2107131448 hasConcept C160145156 @default.
- W2107131448 hasConcept C167822520 @default.
- W2107131448 hasConcept C184337299 @default.
- W2107131448 hasConcept C199360897 @default.
- W2107131448 hasConcept C201677973 @default.
- W2107131448 hasConcept C2778029271 @default.
- W2107131448 hasConcept C41008148 @default.
- W2107131448 hasConcept C75606506 @default.
- W2107131448 hasConcept C80444323 @default.
- W2107131448 hasConcept C90069079 @default.
- W2107131448 hasConcept C98045186 @default.
- W2107131448 hasConceptScore W2107131448C116253237 @default.
- W2107131448 hasConceptScore W2107131448C160145156 @default.
- W2107131448 hasConceptScore W2107131448C167822520 @default.
- W2107131448 hasConceptScore W2107131448C184337299 @default.
- W2107131448 hasConceptScore W2107131448C199360897 @default.
- W2107131448 hasConceptScore W2107131448C201677973 @default.
- W2107131448 hasConceptScore W2107131448C2778029271 @default.
- W2107131448 hasConceptScore W2107131448C41008148 @default.
- W2107131448 hasConceptScore W2107131448C75606506 @default.
- W2107131448 hasConceptScore W2107131448C80444323 @default.
- W2107131448 hasConceptScore W2107131448C90069079 @default.
- W2107131448 hasConceptScore W2107131448C98045186 @default.
- W2107131448 hasLocation W21071314481 @default.
- W2107131448 hasOpenAccess W2107131448 @default.
- W2107131448 hasPrimaryLocation W21071314481 @default.
- W2107131448 hasRelatedWork W1492953877 @default.
- W2107131448 hasRelatedWork W1539553861 @default.
- W2107131448 hasRelatedWork W1545904676 @default.
- W2107131448 hasRelatedWork W1550058170 @default.
- W2107131448 hasRelatedWork W1983346515 @default.
- W2107131448 hasRelatedWork W2025936548 @default.
- W2107131448 hasRelatedWork W2055044918 @default.
- W2107131448 hasRelatedWork W2068163470 @default.
- W2107131448 hasRelatedWork W2071793557 @default.
- W2107131448 hasRelatedWork W2115475187 @default.
- W2107131448 hasRelatedWork W2118793464 @default.
- W2107131448 hasRelatedWork W2130617267 @default.
- W2107131448 hasRelatedWork W2161876832 @default.
- W2107131448 hasRelatedWork W2164781408 @default.
- W2107131448 hasRelatedWork W2170100470 @default.
- W2107131448 hasRelatedWork W2347363247 @default.
- W2107131448 hasRelatedWork W38760930 @default.
- W2107131448 hasRelatedWork W398989406 @default.
- W2107131448 hasRelatedWork W212588424 @default.
- W2107131448 hasRelatedWork W330209457 @default.
- W2107131448 isParatext "false" @default.
- W2107131448 isRetracted "false" @default.
- W2107131448 magId "2107131448" @default.
- W2107131448 workType "article" @default.