Norman W.
Paton
Norman W. Paton-rekin lankidetzan egindako argitalpenak (2)
1998
-
Formalizing and validating behavioral models through the event calculus
Information Systems, Vol. 23, Núm. 3-4, pp. 179-196
1997
-
Stimuli and business policies as modelling constructs: their definition and validation through the event calculus
Advanced information systems engineering: 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, june 16-20, 1997 : proceedings