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 条
  • [21] Personalized Graphical User Interface Based on Java']Java
    Xiao, Ning
    Wang, Xiaojun
    Han, Yaming
    ADVANCES IN COMPUTER SCIENCE AND EDUCATION APPLICATIONS, PT II, 2011, 202 : 308 - 313
  • [22] dart2java']java: Running Dart in Java']Java-based Environments
    Springer, Matthias
    Krieger, Andrew
    Manilov, Stanislav
    Masuhara, Hidehiko
    PROCEEDINGS OF THE 12TH WORKSHOP ON IMPLEMENTATION, COMPILATION AND OPTIMIZATION OF OBJECT-ORIENTED LANGUAGES, PROGRAMS AND SYSTEMS (ICOOOLPS'17), 2017,
  • [23] An User Interface Dialog Control Model Based on UI Patterns
    Yu, Kai
    Hua, QingYi
    Wang, ShaSha
    Li, NanNan
    Zhang, YuChen
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 702 - 705
  • [24] Personalized graphical user interface based on Java
    Shanxi University of Finance and Economics, No.108, Jinyang Street, Taiyuan, Shanxi, China
    Commun. Comput. Info. Sci., 1865, PART 2 (308-313):
  • [25] Multi-user Spectrum Analyzer using Java']Java-based Client-Server Application
    Iswari, Ni Made Satvika
    Kistijantoro, Achmad Imam
    2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA), 2014, : 81 - 86
  • [26] Java']Java-Based Diabetes Type 2 Prediction Tool for Better Diagnosis
    Shankaracharya
    Odedra, Devang
    Mallick, Medhavi
    Shukla, Prateek
    Samanta, Subir
    Vidyarthi, Ambarish S.
    DIABETES TECHNOLOGY & THERAPEUTICS, 2012, 14 (03) : 251 - 256
  • [27] PDB Editor: a user-friendly Java']Java-based Protein Data Bank file editor with a GUI
    Lee, Jonas
    Kim, Sung-Hou
    ACTA CRYSTALLOGRAPHICA SECTION D-STRUCTURAL BIOLOGY, 2009, 65 : 399 - 402
  • [28] Reusing UI elements with Model-Based User Interface Development
    Delgado, A.
    Estepa, A.
    Troyano, J. A.
    Estepa, R.
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2016, 86 : 48 - 62
  • [29] Accessing MCIDAS programs through a Java']Java™ based graphical user interface
    Murray, D
    14TH INTERNATIONAL CONFERENCE ON INTERACTIVE INFORMATION AND PROCESSING SYSTEM (IIPS) FOR METEOROLOGY, OCEANOGRAPHY, AND HYDROLOGY, 1998, : 185 - 185
  • [30] Mobile-UI-Repair: a deep learning based UI smell detection technique for mobile user interface
    Ali, Asif
    Xia, Yuanqing
    Navid, Qamar
    Khan, Zohaib Ahmad
    Khan, Javed Ali
    Aldakheel, Eman Abdullah
    Khafaga, Doaa
    PEERJ COMPUTER SCIENCE, 2024, 10
12345