Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Tse:1989:TFF, author = "T. H. Tse and L. Pong", title = "Towards a formal foundation for {DeMarco} data flow diagrams", journal = j-COMP-J, volume = "32", number = "1", pages = "1--12", month = feb, year = "1989", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/32.1.1", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:26 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/32/1.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/", URL = "http://comjnl.oxfordjournals.org/content/32/1/1.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/1.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/10.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/11.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/12.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/2.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/3.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/4.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/5.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/6.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/7.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/8.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_01/tiff/9.tif", acknowledgement = ack-nhfb, affiliation = "Dept. of Comput. Sci., Hong Kong Univ., Shatin", affiliationaddress = "Hong Kong", classcodes = "C6110 (Systems analysis and programming)", classification = "723; C6110 (Systems analysis and programming)", corpsource = "Dept. of Comput. Sci., Hong Kong Univ., Shatin, Hong Kong", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "Computer Programming Languages; consistency; Consistency; Consistency Analysis; DeMarco data flow diagrams; extended Petri nets; Extended Petri Nets; Extended Petri nets; flowcharting; Formal Data Flow Diagrams; formal foundation; Formal foundation; formal specification; Petri nets; requirements specifications; Requirements specifications, Computer Programming; Specification Languages; structured analysis; Structured analysis; structured design; Structured design", thesaurus = "Flowcharting; Formal specification; Petri nets", treatment = "P Practical", }