Program behaviour modelling with flexible logical entity abstraction
David Andrews · FedUni ResearchOnline (Federation University Australia) · 2006
"This study extends the use of abstration in program behaviour modelling, and provides a flexible abstraction technique that allows modelling in terms of the logical abstract concepts with which a program operates. This technique is called a Logical Entity Abstracted Program Behaviour Modelling (LEAPBM)."--leaf [ii]