ProB2-UI: A Java-Based User Interface for ProB

被引：0
|
作者：
Bendisposto, Jens [1 ]
Geleßus, David [1 ]
Jansing, Yumiko [1 ]
Leuschel, Michael [1 ]
Pütz, Antonia [1 ]
Vu, Fabian [1 ]
Werth, Michelle [1 ]
机构：
[1] Institut für Informatik, Universität Düsseldorf, Universitätsstr. 1, Düsseldorf,40225, Germany
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2021年 / 12863 LNCS卷
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 722.2 Computer Peripheral Equipment - 723.1.1 Computer Programming Languages;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
User interfaces
引用
收藏
页码：193 / 201
相关论文
共 50 条
  • [1] PRoB2-UI: A Java']Java-Based User Interface for ProB
    Bendisposto, Jens
    Gelessus, David
    Jansing, Yumiko
    Leuschel, Michael
    Puetz, Antonia
    Vu, Fabian
    Werth, Michelle
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 193 - 201
  • [2] An astronomical data archive system with a Java']Java-based user interface
    Horaguchi, T
    Nishihara, E
    Yoshida, M
    Aoki, K
    Ito, T
    Watanabe, M
    Ichikawa, S
    Takata, T
    Yoshida, S
    Hamabe, M
    PUBLICATIONS OF THE ASTRONOMICAL SOCIETY OF JAPAN, 1999, 51 (05) : 693 - 701
  • [3] Java']Java-based graphical user interface for the MRUI quantitation package
    Naressi, A
    Couturier, C
    Devos, JM
    Janssen, M
    Mangeat, C
    de Beer, R
    Graveron-Demilly, D
    MAGNETIC RESONANCE MATERIALS IN PHYSICS BIOLOGY AND MEDICINE, 2001, 12 (2-3) : 141 - 152
  • [4] Java-based graphical user interface for the MRUI quantitation package
    A. Naressi
    C. Couturier
    J. M. Devos
    M. Janssen
    C. Mangeat
    R. de Beer
    D. Graveron-Demilly
    Magnetic Resonance Materials in Physics, Biology and Medicine, 2001, 12 : 141 - 152
  • [5] Glotaran: A Java']Java-Based Graphical User Interface for the R Package TIMP
    Snellenburg, Joris J.
    Laptenok, Sergey P.
    Seger, Ralf
    Mullen, Katharine M.
    van Stokkum, Ivo H. M.
    JOURNAL OF STATISTICAL SOFTWARE, 2012, 49 (03): : 1 - 22
  • [6] Java']Java implementation platform for the integrated state- and event-based specification in PROB
    Yang, L.
    Poppleton, M. R.
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2010, 22 (08): : 1007 - 1022
  • [7] JAVA']JAVA-based heterogeneous database interface
    ElRefai, MY
    Chang, DJ
    Elmaghraby, AS
    COMPUTERS AND THEIR APPLICATIONS: PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE, 1997, : 266 - 270
  • [8] The JAVA']JAVA-based DICOM query interface DicoSE
    Prinz, M
    Fischer, G
    Schuster, E
    INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2005, 74 (2-4) : 325 - 333
  • [9] XBI: A Java']Java-based interface to FPGA hardware
    Guccione, SA
    Levi, D
    CONFIGURABLE COMPUTING: TECHNOLOGY AND APPLICATIONS, 1998, 3526 : 97 - 102
  • [10] Java']Java-based visual interface to network simulator
    He, TS
    PROCEEDINGS OF THE APPLIED TELECOMMUNICATIONS SYMPOSIUM (ATS'99), 1999, 31 (04): : 100 - 104
12345