scientific article; zbMATH DE number 108421

MaRDI QIDQ4023879zbMATH OpenFDO

Authors James A. Kowal

Publication date 23 January 1993

zbMATH Keywords

system analysisentityobects

Mathematics Subject Classification ID

Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)

Recommendations

• Behavior Modeling During Software Design
• Modeling software behavior: A craftsman's approach.
• The requirements model and behaviour in specification of requirements
• On modelling user observations in the UTP
• Task modeling in systems design

Cited in

(1)

• Model-checking user behaviour using interacting components

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023879)