Matches in SemOpenAlex for { <https://semopenalex.org/work/W1516832540> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1516832540 endingPage "761" @default.
- W1516832540 startingPage "752" @default.
- W1516832540 abstract "PARSE is a staged object-based design methodology for parallel and distributed software systems. In the highest stage, a graphical notation is used to describe the system components (objects) and their interconnections. In the subsequent stage, the designer introduces the behaviour of the objects, by means of a textual notation. This paper shows a mechanical transformation of the textual representation of a PARSE design into a complete Petri net model. This supports the integration of formal analysis techniques into the early stage of the software development process, and provides a formal semantics for the design notation." @default.
- W1516832540 created "2016-06-24" @default.
- W1516832540 creator A5002197803 @default.
- W1516832540 creator A5050643818 @default.
- W1516832540 creator A5087981411 @default.
- W1516832540 creator A5089224483 @default.
- W1516832540 date "1996-01-01" @default.
- W1516832540 modified "2023-10-14" @default.
- W1516832540 title "Petri net modelling of PARSE designs" @default.
- W1516832540 cites W1996109622 @default.
- W1516832540 cites W2166083194 @default.
- W1516832540 doi "https://doi.org/10.1007/3-540-61626-8_98" @default.
- W1516832540 hasPublicationYear "1996" @default.
- W1516832540 type Work @default.
- W1516832540 sameAs 1516832540 @default.
- W1516832540 citedByCount "2" @default.
- W1516832540 crossrefType "book-chapter" @default.
- W1516832540 hasAuthorship W1516832540A5002197803 @default.
- W1516832540 hasAuthorship W1516832540A5050643818 @default.
- W1516832540 hasAuthorship W1516832540A5087981411 @default.
- W1516832540 hasAuthorship W1516832540A5089224483 @default.
- W1516832540 hasBestOaLocation W15168325401 @default.
- W1516832540 hasConcept C104317684 @default.
- W1516832540 hasConcept C115903868 @default.
- W1516832540 hasConcept C138885662 @default.
- W1516832540 hasConcept C17744445 @default.
- W1516832540 hasConcept C185592680 @default.
- W1516832540 hasConcept C186644900 @default.
- W1516832540 hasConcept C199360897 @default.
- W1516832540 hasConcept C199539241 @default.
- W1516832540 hasConcept C204241405 @default.
- W1516832540 hasConcept C2776359362 @default.
- W1516832540 hasConcept C38677869 @default.
- W1516832540 hasConcept C41008148 @default.
- W1516832540 hasConcept C41895202 @default.
- W1516832540 hasConcept C45357846 @default.
- W1516832540 hasConcept C55493867 @default.
- W1516832540 hasConcept C94625758 @default.
- W1516832540 hasConceptScore W1516832540C104317684 @default.
- W1516832540 hasConceptScore W1516832540C115903868 @default.
- W1516832540 hasConceptScore W1516832540C138885662 @default.
- W1516832540 hasConceptScore W1516832540C17744445 @default.
- W1516832540 hasConceptScore W1516832540C185592680 @default.
- W1516832540 hasConceptScore W1516832540C186644900 @default.
- W1516832540 hasConceptScore W1516832540C199360897 @default.
- W1516832540 hasConceptScore W1516832540C199539241 @default.
- W1516832540 hasConceptScore W1516832540C204241405 @default.
- W1516832540 hasConceptScore W1516832540C2776359362 @default.
- W1516832540 hasConceptScore W1516832540C38677869 @default.
- W1516832540 hasConceptScore W1516832540C41008148 @default.
- W1516832540 hasConceptScore W1516832540C41895202 @default.
- W1516832540 hasConceptScore W1516832540C45357846 @default.
- W1516832540 hasConceptScore W1516832540C55493867 @default.
- W1516832540 hasConceptScore W1516832540C94625758 @default.
- W1516832540 hasLocation W15168325401 @default.
- W1516832540 hasOpenAccess W1516832540 @default.
- W1516832540 hasPrimaryLocation W15168325401 @default.
- W1516832540 hasRelatedWork W1512248002 @default.
- W1516832540 hasRelatedWork W1998962249 @default.
- W1516832540 hasRelatedWork W2026046761 @default.
- W1516832540 hasRelatedWork W2049360920 @default.
- W1516832540 hasRelatedWork W2070147537 @default.
- W1516832540 hasRelatedWork W2132843347 @default.
- W1516832540 hasRelatedWork W2368553372 @default.
- W1516832540 hasRelatedWork W4235735989 @default.
- W1516832540 hasRelatedWork W2467097043 @default.
- W1516832540 hasRelatedWork W2474495446 @default.
- W1516832540 isParatext "false" @default.
- W1516832540 isRetracted "false" @default.
- W1516832540 magId "1516832540" @default.
- W1516832540 workType "book-chapter" @default.