File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Towards a Formal Foundation for DeMarco Data Flow Diagrams

TitleTowards a Formal Foundation for DeMarco Data Flow Diagrams
Authors
Tse, THPong, L
KeywordsData flow diagrams
Petri nets
Structured analysis
Structured design
Issue Date1989
PublisherOxford University Press. The Journal's web site is located at http://comjnl.oxfordjournals.org/
Citation
Computer Journal, 1989, v. 32 n. 1, p. 1-12 How to Cite?
DOI: http://dx.doi.org/10.1093/comjnl/32.1.1
AbstractWe describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.
Persistent Identifierhttp://hdl.handle.net/10722/43689
ISSN
0010-4620
2023 Impact Factor: 1.5
2023 SCImago Journal Rankings: 0.520
ISI Accession Number ID
WOS:A1989T378500001

 

DC FieldValueLanguage
dc.contributor.authorTse, THen_HK
dc.contributor.authorPong, Len_HK
dc.date.accessioned2007-03-23T04:52:29Z-
dc.date.available2007-03-23T04:52:29Z-
dc.date.issued1989en_HK
dc.identifier.citationComputer Journal, 1989, v. 32 n. 1, p. 1-12en_HK
dc.identifier.issn0010-4620en_HK
dc.identifier.urihttp://hdl.handle.net/10722/43689-
dc.description.abstractWe describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.en_HK
dc.format.extent4602917 bytes-
dc.format.extent161620 bytes-
dc.format.mimetypeapplication/pdf-
dc.format.mimetypeapplication/pdf-
dc.languageengen_HK
dc.publisherOxford University Press. The Journal's web site is located at http://comjnl.oxfordjournals.org/en_HK
dc.relation.ispartofComputer Journalen_HK
dc.subjectData flow diagramsen_HK
dc.subjectPetri netsen_HK
dc.subjectStructured analysisen_HK
dc.subjectStructured designen_HK
dc.titleTowards a Formal Foundation for DeMarco Data Flow Diagramsen_HK
dc.typeArticleen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0010-4620&volume=32&issue=1&spage=1&epage=12&date=1989&atitle=Towards+a+formal+foundation+for+DeMarco+data+flow+diagramsen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepostprinten_HK
dc.identifier.doi10.1093/comjnl/32.1.1en_HK
dc.identifier.scopuseid_2-s2.0-0024611701en_HK
dc.identifier.volume32en_HK
dc.identifier.issue1en_HK
dc.identifier.spage1en_HK
dc.identifier.epage12en_HK
dc.identifier.isiWOS:A1989T378500001-
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.scopusauthoridPong, L=6602555433en_HK
dc.identifier.issnl0010-4620-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats