Matches in SemOpenAlex for { <https://semopenalex.org/work/W99120598> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W99120598 endingPage "87" @default.
- W99120598 startingPage "76" @default.
- W99120598 abstract "This chapter describes real-time software requirements specification and animation using extended Petri nets. Real-time software is a special class of software with some unique characteristics, the most important of which is that often the inputs are not fixed in time or foreseeable; the timing is determined by the real world and not by the programmer. The synchronization of different processors and/or different software processes on the same processor is a difficult problem; conceptual tools make the modelling of real-time process intercommunication easier to analyze and to implement. The traditional view of requirements specification is that it produces a document in natural language that acts as an interface between a customer and a supplier. An important property of Petri nets is that there exists no inherent measure of time as the nets deal with cause–consequence relations only, and firings take zero time. Petri nets do have nondeterministic properties. The use of Petri nets as a means of formally representing the software requirements specification has the benefit of offering the basis for extensive animation of the requirements." @default.
- W99120598 created "2016-06-24" @default.
- W99120598 creator A5054045353 @default.
- W99120598 date "1993-01-01" @default.
- W99120598 modified "2023-09-26" @default.
- W99120598 title "Real-time software requirements specification and animation using extended Petri nets: theory and application" @default.
- W99120598 cites W2017451766 @default.
- W99120598 cites W2024253297 @default.
- W99120598 cites W2043490323 @default.
- W99120598 cites W2684966306 @default.
- W99120598 doi "https://doi.org/10.1016/b978-0-7506-1102-2.50009-8" @default.
- W99120598 hasPublicationYear "1993" @default.
- W99120598 type Work @default.
- W99120598 sameAs 99120598 @default.
- W99120598 citedByCount "0" @default.
- W99120598 crossrefType "book-chapter" @default.
- W99120598 hasAuthorship W99120598A5054045353 @default.
- W99120598 hasConcept C102780508 @default.
- W99120598 hasConcept C115903868 @default.
- W99120598 hasConcept C116253237 @default.
- W99120598 hasConcept C120314980 @default.
- W99120598 hasConcept C121684516 @default.
- W99120598 hasConcept C176181172 @default.
- W99120598 hasConcept C186846655 @default.
- W99120598 hasConcept C199360897 @default.
- W99120598 hasConcept C2777904410 @default.
- W99120598 hasConcept C38677869 @default.
- W99120598 hasConcept C41008148 @default.
- W99120598 hasConcept C502989409 @default.
- W99120598 hasConcept C529173508 @default.
- W99120598 hasConcept C80444323 @default.
- W99120598 hasConceptScore W99120598C102780508 @default.
- W99120598 hasConceptScore W99120598C115903868 @default.
- W99120598 hasConceptScore W99120598C116253237 @default.
- W99120598 hasConceptScore W99120598C120314980 @default.
- W99120598 hasConceptScore W99120598C121684516 @default.
- W99120598 hasConceptScore W99120598C176181172 @default.
- W99120598 hasConceptScore W99120598C186846655 @default.
- W99120598 hasConceptScore W99120598C199360897 @default.
- W99120598 hasConceptScore W99120598C2777904410 @default.
- W99120598 hasConceptScore W99120598C38677869 @default.
- W99120598 hasConceptScore W99120598C41008148 @default.
- W99120598 hasConceptScore W99120598C502989409 @default.
- W99120598 hasConceptScore W99120598C529173508 @default.
- W99120598 hasConceptScore W99120598C80444323 @default.
- W99120598 hasLocation W991205981 @default.
- W99120598 hasOpenAccess W99120598 @default.
- W99120598 hasPrimaryLocation W991205981 @default.
- W99120598 hasRelatedWork W1881220596 @default.
- W99120598 hasRelatedWork W2037388128 @default.
- W99120598 hasRelatedWork W2062131540 @default.
- W99120598 hasRelatedWork W2116177699 @default.
- W99120598 hasRelatedWork W2116396384 @default.
- W99120598 hasRelatedWork W2121507724 @default.
- W99120598 hasRelatedWork W2166626779 @default.
- W99120598 hasRelatedWork W2556641378 @default.
- W99120598 hasRelatedWork W590567868 @default.
- W99120598 hasRelatedWork W629506503 @default.
- W99120598 isParatext "false" @default.
- W99120598 isRetracted "false" @default.
- W99120598 magId "99120598" @default.
- W99120598 workType "book-chapter" @default.