Modeling reactive systems and aspect-orientation

被引：0
|
作者：
Mahoney, M [1 ]
机构：
[1] IIT, Chicago, IL 60616 USA
来源：
SATELLITE EVENTS AT THE MODELS 2005 CONFERENCE | 2006年 / 3844卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：345 / 346
页数：2
相关论文
共 50 条
  • [41] Modeling and verification of reactive systems using Rebeca
    Sirjani, M
    Movaghar, A
    Shali, A
    de Boer, FS
    FUNDAMENTA INFORMATICAE, 2004, 63 (04) : 385 - 410
  • [42] A Fresh Look At Modeling Distributed Reactive Systems
    Moser, Roland
    Dustdar, Schahram
    Gutleber, Johannes
    Orsini, Luciano
    2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 494 - 501
  • [43] Visual modeling and verification of distributed reactive systems
    Iqbal, A
    Bhattacharjee, AK
    Dhodapkar, SD
    Ramesh, S
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2003, 2788 : 22 - 34
  • [44] Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
    Altisen, K.
    Maraninchi, F.
    Stauch, D.
    SCIENCE OF COMPUTER PROGRAMMING, 2006, 63 (03) : 297 - 320
  • [45] Is Object-Orientation Optimal for Modeling Information Systems?
    Spurrier, Gary
    Topi, Heikki
    AMCIS 2017 PROCEEDINGS, 2017,
  • [46] Influence of substrate orientation on wetting kinetics in reactive metal/ceramic systems
    Drevet, B
    Landry, K
    Vikner, P
    Eustathopoulos, N
    SCRIPTA MATERIALIA, 1996, 35 (11) : 1265 - 1270
  • [47] Modeling data-intensive reactive systems with relational transition systems
    Tuzhilin, A
    Kedem, ZM
    ACTA INFORMATICA, 1996, 33 (03) : 203 - 231
  • [48] Local liveness for compositional modeling of fair reactive systems
    Alur, R
    Henzinger, TA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 166 - 179
  • [49] Molecular Modeling Coupled To Reactive Separation Systems Design
    Perdomo, F. A.
    Gil-Villegas, A.
    Martinez, A.
    Coutino, P.
    ICHEAP-9: 9TH INTERNATIONAL CONFERENCE ON CHEMICAL AND PROCESS ENGINEERING, PTS 1-3, 2009, 17 : 1317 - 1322
  • [50] Modeling purity in bulk reactive gas distribution systems
    Verma, N
    Athalye, A
    Anderson, N
    INSTITUTE OF ENVIRONMENTAL SCIENCES, 1997 PROCEEDINGS - CONTAMINATION CONTROL, 1997, : 351 - 359
12345