Keyword : labeled transition system


Deriving Framework Usages Based on Behavioral Models
Teruyoshi ZENMYO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/04/01
Vol. E93-D  No. 4 ; pp. 733-744
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Software Development Techniques
Keyword: 
frameworklabeled transition systembranch conditionsatisfiability problem
 Summary | Full Text:PDF(2.6MB)

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
Isao YAGI Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/05/01
Vol. E90-D  No. 5 ; pp. 799-807
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
labeled transition systempushdown automatonformal modelaspect-oriented programmingAspectJ
 Summary | Full Text:PDF(323.9KB)

Supporting Application Framework Selection Based on Labeled Transition Systems
Teruyoshi ZENMYO Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4 ; pp. 1378-1389
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
application frameworklabeled transition system
 Summary | Full Text:PDF(872.6KB)