Structured analysis using hierarchical predicate transition nets

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 1992, Pages 212-217

  He, Xudong ^a   Yang, Cheng Hong ^a  

^a NORTH DAKOTA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DATA FLOW GRAPHS; FORMAL METHODS; PETRI NETS; SYSTEMS ANALYSIS;

ANALYZING SYSTEM; DATA FLOW DIAGRAMS; HIGH-LEVEL PETRI NETS; LIBRARY SYSTEMS; NEW APPROACHES; SMALL SCALE; STRUCTURED ANALYSIS; TRANSITION NETS;

HIERARCHICAL SYSTEMS;

EID: 84882554856     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CMPSAC.1992.217566     Document Type: Conference Paper

References (6)

1. X. He and J. A. N. Lee, "A Methodology for Constructing Predicate Transition Net Specifications", Software - Practice & Experience, vol. 21, no. 8, 1991, 845-875.
2. E. Yourdon, Modern Structured Analysis, Yourdon Press (1990).
3. D. Harel, "On visual formalisms", Communications of the ACM, vol. 31, 514-530 (1988).
4. R. A. Kemmerer, "Testing Formal Specifications to Detect Design Errors", IEEE Transaction on Software Engineering, vol. 11, no. 1, 1985, 32-43.
5. X. He and J. A. N. Lee, "Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems", Formal Aspects of Computing, vol. 2, no. 3, 226-246 (1990).
6. G. Winskel, "Petri Nets, Algebras, Morphisms, and Compositionality", Information and Computation, vol. 72, 1987, 197-238.