scientific article; zbMATH DE number 108421

zbMATH Open0813.68008MaRDI QIDQ4023879FDOQ4023879

Authors: James A. Kowal 

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

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

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)

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)