Matches in SemOpenAlex for { <https://semopenalex.org/work/W74600019> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W74600019 endingPage "79" @default.
- W74600019 startingPage "67" @default.
- W74600019 abstract "In this paper we present two formal languages for the development of realtime systems' software. First a system specification and description language called EDE (Embedded System Description Environment) is described, which is used to state requirements to realtime systems in a formal way. The semantics of this language is based on High Level Petri Nets and λ-calculus. In the second part we give a short overview of CEMs (Concurrently Executable Module), which are based on algebraic specified abstract data types and allow to develop software for systems which incorporate concurrency and timing as well. We also present initial ideas to combine both approaches in order to apply formal methods throughout and early as possible in a software development project." @default.
- W74600019 created "2016-06-24" @default.
- W74600019 creator A5083798751 @default.
- W74600019 date "1986-05-01" @default.
- W74600019 modified "2023-10-16" @default.
- W74600019 title "Development of Realtime Systems: Specifying Functional and Parallel Behaviour Formally" @default.
- W74600019 cites W1997422892 @default.
- W74600019 cites W2091479943 @default.
- W74600019 cites W2123985997 @default.
- W74600019 doi "https://doi.org/10.1016/b978-0-08-034347-1.50013-9" @default.
- W74600019 hasPublicationYear "1986" @default.
- W74600019 type Work @default.
- W74600019 sameAs 74600019 @default.
- W74600019 citedByCount "0" @default.
- W74600019 crossrefType "journal-article" @default.
- W74600019 hasAuthorship W74600019A5083798751 @default.
- W74600019 hasBestOaLocation W746000191 @default.
- W74600019 hasConcept C111498074 @default.
- W74600019 hasConcept C115903868 @default.
- W74600019 hasConcept C116253237 @default.
- W74600019 hasConcept C146499914 @default.
- W74600019 hasConcept C160145156 @default.
- W74600019 hasConcept C184337299 @default.
- W74600019 hasConcept C193702766 @default.
- W74600019 hasConcept C199360897 @default.
- W74600019 hasConcept C201677973 @default.
- W74600019 hasConcept C2777904410 @default.
- W74600019 hasConcept C38677869 @default.
- W74600019 hasConcept C41008148 @default.
- W74600019 hasConcept C529173508 @default.
- W74600019 hasConcept C75606506 @default.
- W74600019 hasConceptScore W74600019C111498074 @default.
- W74600019 hasConceptScore W74600019C115903868 @default.
- W74600019 hasConceptScore W74600019C116253237 @default.
- W74600019 hasConceptScore W74600019C146499914 @default.
- W74600019 hasConceptScore W74600019C160145156 @default.
- W74600019 hasConceptScore W74600019C184337299 @default.
- W74600019 hasConceptScore W74600019C193702766 @default.
- W74600019 hasConceptScore W74600019C199360897 @default.
- W74600019 hasConceptScore W74600019C201677973 @default.
- W74600019 hasConceptScore W74600019C2777904410 @default.
- W74600019 hasConceptScore W74600019C38677869 @default.
- W74600019 hasConceptScore W74600019C41008148 @default.
- W74600019 hasConceptScore W74600019C529173508 @default.
- W74600019 hasConceptScore W74600019C75606506 @default.
- W74600019 hasIssue "7" @default.
- W74600019 hasLocation W746000191 @default.
- W74600019 hasOpenAccess W74600019 @default.
- W74600019 hasPrimaryLocation W746000191 @default.
- W74600019 hasRelatedWork W2105399249 @default.
- W74600019 hasRelatedWork W2107316249 @default.
- W74600019 hasRelatedWork W2156223462 @default.
- W74600019 hasRelatedWork W27605384 @default.
- W74600019 hasRelatedWork W2795742902 @default.
- W74600019 hasRelatedWork W2807707818 @default.
- W74600019 hasRelatedWork W2808050154 @default.
- W74600019 hasRelatedWork W80124474 @default.
- W74600019 hasRelatedWork W212588424 @default.
- W74600019 hasRelatedWork W2804226765 @default.
- W74600019 hasVolume "19" @default.
- W74600019 isParatext "false" @default.
- W74600019 isRetracted "false" @default.
- W74600019 magId "74600019" @default.
- W74600019 workType "article" @default.