Matches in SemOpenAlex for { <https://semopenalex.org/work/W172446> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W172446 abstract "The ITEA Project DESS (Software Development Process for Real-Time Embedded Software Systems) aims at defining a methodology for the development of real-time software. The authors of this position paper are involved in the definition of methods for the specification and analysis phases. Our goal is to allow analysts to model real-time systems using an extension of UML, which can support the translation of models into formal notations. In this way we retain the expressiveness and ease of use of UML, while gaining the power of formal methods. In this paper we employ our notation to model the proposed car speed regulator, in order to verify that such notation is able to represent the desired behavior of the system." @default.
- W172446 created "2016-06-24" @default.
- W172446 creator A5030230988 @default.
- W172446 creator A5068567905 @default.
- W172446 creator A5082885529 @default.
- W172446 date "2001-01-01" @default.
- W172446 modified "2023-09-26" @default.
- W172446 title "An application of the DESS modeling approach: The Car Speed Regulator" @default.
- W172446 cites W1582068322 @default.
- W172446 cites W181692423 @default.
- W172446 cites W2023499821 @default.
- W172446 cites W2066381570 @default.
- W172446 cites W50331344 @default.
- W172446 hasPublicationYear "2001" @default.
- W172446 type Work @default.
- W172446 sameAs 172446 @default.
- W172446 citedByCount "1" @default.
- W172446 countsByYear W1724462015 @default.
- W172446 crossrefType "journal-article" @default.
- W172446 hasAuthorship W172446A5030230988 @default.
- W172446 hasAuthorship W172446A5068567905 @default.
- W172446 hasAuthorship W172446A5082885529 @default.
- W172446 hasConcept C115903868 @default.
- W172446 hasConcept C116253237 @default.
- W172446 hasConcept C145644426 @default.
- W172446 hasConcept C192698709 @default.
- W172446 hasConcept C199360897 @default.
- W172446 hasConcept C2777904410 @default.
- W172446 hasConcept C33923547 @default.
- W172446 hasConcept C41008148 @default.
- W172446 hasConcept C45357846 @default.
- W172446 hasConcept C75606506 @default.
- W172446 hasConcept C94375191 @default.
- W172446 hasConcept C98045186 @default.
- W172446 hasConceptScore W172446C115903868 @default.
- W172446 hasConceptScore W172446C116253237 @default.
- W172446 hasConceptScore W172446C145644426 @default.
- W172446 hasConceptScore W172446C192698709 @default.
- W172446 hasConceptScore W172446C199360897 @default.
- W172446 hasConceptScore W172446C2777904410 @default.
- W172446 hasConceptScore W172446C33923547 @default.
- W172446 hasConceptScore W172446C41008148 @default.
- W172446 hasConceptScore W172446C45357846 @default.
- W172446 hasConceptScore W172446C75606506 @default.
- W172446 hasConceptScore W172446C94375191 @default.
- W172446 hasConceptScore W172446C98045186 @default.
- W172446 hasLocation W1724461 @default.
- W172446 hasOpenAccess W172446 @default.
- W172446 hasPrimaryLocation W1724461 @default.
- W172446 hasRelatedWork W1794833207 @default.
- W172446 hasRelatedWork W1953362409 @default.
- W172446 hasRelatedWork W1980811464 @default.
- W172446 hasRelatedWork W2056587223 @default.
- W172446 hasRelatedWork W2073464300 @default.
- W172446 hasRelatedWork W2082697897 @default.
- W172446 hasRelatedWork W2110205798 @default.
- W172446 hasRelatedWork W2113619645 @default.
- W172446 hasRelatedWork W2124371723 @default.
- W172446 hasRelatedWork W2129590702 @default.
- W172446 hasRelatedWork W2137638018 @default.
- W172446 hasRelatedWork W2146371732 @default.
- W172446 hasRelatedWork W2160245877 @default.
- W172446 hasRelatedWork W2352728608 @default.
- W172446 hasRelatedWork W2363148704 @default.
- W172446 hasRelatedWork W2508950180 @default.
- W172446 hasRelatedWork W2557960237 @default.
- W172446 hasRelatedWork W33104759 @default.
- W172446 hasRelatedWork W351366039 @default.
- W172446 hasRelatedWork W138612703 @default.
- W172446 isParatext "false" @default.
- W172446 isRetracted "false" @default.
- W172446 magId "172446" @default.
- W172446 workType "article" @default.