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 netsbehavior modelingreliability analysisfault toleranceMarkov 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 modelingbehavior modelingintegrity constraintssoftware systemobject-oriented software design
 Summary | Full Text:PDF