Coordination contracts for Java']Java applications

被引:0
|
作者
Gouveia, J [1 ]
Koutsoukos, G [1 ]
Wermelinger, M [1 ]
Andrade, L [1 ]
Fiadeiro, JL [1 ]
机构
[1] Oblog Software SA, P-2795023 Linda A Velha, Portugal
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:714 / 714
页数:1
相关论文
共 50 条
  • [1] Mobility and coordination for distributed Java']Java applications
    Ciancarini, P
    Giovannini, A
    Rossi, D
    ADVANCES IN DISTRIBUTED SYSTEMS, 2000, 1752 : 402 - 425
  • [2] Adding contracts to Java']Java
    Newmarch, J
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 2 - 7
  • [3] Java']Java: Coordination and communication for Java']Java agents
    Ciancarini, P
    Rossi, D
    MOBILE OBJECT SYSTEMS: TOWARDS THE PROGRAMMABLE INTERNET, 1997, 1222 : 213 - 226
  • [4] Mobility and coordination for distributed java applications
    Ciancarini, Paolo
    Giovannini, Andrea
    Rossi, Davide
    2000, Springer Verlag (1752):
  • [5] Enforcing Determinism of Java']Java Smart Contracts
    Spoto, Fausto
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12063 : 568 - 583
  • [6] Implementing Java']Java Modeling Language Contracts with AspectJ
    Rebelo, Henrique
    Lima, Ricardo
    Cornelio, Marcio
    Soares, Sergio
    Ferreira, Leopoldo
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 228 - 233
  • [7] Inferring visual contracts from Java']Java programs
    Alshanqiti, Abdullah
    Heckel, Reiko
    Kehrer, Timo
    AUTOMATED SOFTWARE ENGINEERING, 2018, 25 (04) : 745 - 784
  • [8] Extracting Visual Contracts from Java']Java Programs
    Alshanqiti, Abdullah
    Heckel, Reiko
    2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, : 104 - 114
  • [9] Java']Java sensors and their applications
    Zhou, WL
    Eide, E
    PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 345 - 356
  • [10] Java']Java applications and implementations
    Steele, GL
    WORLDWIDE COMPUTING AND ITS APPLICATIONS - WWCA'98, 1998, 1368 : 18 - 31