BibSonomy :: author  ::

bookmarks

publications

(70)

• Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.
  Naoyasu Ubayashi and Yuki Sato and Akihiro Sakai and Tetsuo Tamai SERA 171-178 (2008)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ.
  Supasit Monpratarnchai and Tamai Tetsuo SNPD 269-276 (2008)
  to dblp by dblp on 2008-08-20 00:00:00
  | URL | BibTeX  
• An Experience on Verification of Aspect Properties
  Giovanni Denaro and Mattia Monga Proceedings of the International Workshop on Principles of Software Evolution IWPSE 184-188 (2001)
  to imported by cabird on 2008-08-15 20:29:46
  | BibTeX  
• Contract-Based Verification for Aspect-Oriented Refactoring.
  Naoyasu Ubayashi and Jinji Piao and Suguru Shinotsuka and Tetsuo Tamai ICST 180-189 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Concern management for constructing model compilers.
  Naoyasu Ubayashi and Tetsuo Tamai ACM SIGSOFT Software Engineering Notes 30 1-5 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Public intermediate goods, endogenous growth, and indeterminacy
  Toshiki Tamai Economic Modelling 24 683--689 (2007)
  to Indeterminacy by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Lightweight scalable components.
  Tetsuo Kamina and Tetsuo Tamai GPCE 145-154 (2007)
  to dblp by dblp on 2008-04-09 00:00:00
  | URL | BibTeX  
• An interface mechanism for encapsulating weaving in class-based AOP.
  Naoyasu Ubayashi and Akihiro Sakai and Tetsuo Tamai SPLAT 8 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• An aspect-oriented weaving mechanism based on component and connector architecture.
  Naoyasu Ubayashi and Akihiro Sakai and Tetsuo Tamai ASE 154-163 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Special Section on Recent Development of Electro-Mechanical Devices - Selected Papers from International Session on Electro-Mechanical Devices 2004 (IS-EMD2004) - .
  Terutaka Tamai IEICE Transactions 88-C 1531 (2005)
  to dblp by dblp on 2008-01-25 00:00:00
  | URL | BibTeX