Keyword : behavior modeling

Non-Regenerative Stochastic Petri Nets: Modeling and Analysis
Qun JIN Yoneo YANO Yoshio SUGASAWA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11 ; pp. 1781-1790
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
stochastic Petri nets, behavior modeling, reliability analysis, fault tolerance, Markov renewal process, 
 Summary | Full Text:PDF
A Method for Contract Design and Delegation in Object Behavior Modeling
Hirotaka SAKAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/06/25
Vol. E76-D  No. 6 ; pp. 646-655
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
data and object modeling, behavior modeling, integrity constraints, software system, object-oriented software design, 
 Summary | Full Text:PDF