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 条
  • [31] Mobile-UI-Repair: a deep learning based UI smell detection technique for mobile user interface
    Ali A.
    Xia Y.
    Navid Q.
    Khan Z.A.
    Khan J.A.
    Aldakheel E.A.
    Khafaga D.
    PeerJ Computer Science, 2024, 10
  • [32] Towards Java']Java-based HPC using the MVAPICH2 Library: Early Experiences
    Al-Attar, Kinan
    Shafi, Aamir
    Subramoni, Hari
    Panda, Dhabaleswar K.
    2022 IEEE 36TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW 2022), 2022, : 510 - 519
  • [33] μovo2πoλv:: Java']Java-Based conversion of monotonic to polytonic Greek
    Likos, J
    TEX, XML, AND DIGITAL TYPOGRAPHY, PROCEEDINGS, 2004, 3130 : 34 - 54
  • [34] JANIS-2: An improved version of the NEA Java']Java-based nuclear data information system
    Soppera, N
    Henriksson, H
    Nouri, A
    Nagel, P
    Dupont, E
    INTERNATIONAL CONFERENCE ON NUCLEAR DATA FOR SCIENCE AND TECHNOLOGY, PTS 1 AND 2, 2005, 769 : 557 - 560
  • [35] Motion UI: Motion-based User Interface for Movable Wrist-worn Devices
    Yu, Saet-Byeol
    Yoon, Hyoseok
    Park, Se-Ho
    Lee, Kyung-Taek
    2017 IEEE 7TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2017, : 265 - 266
  • [36] Pen based user interface for an ITS on WWW client handwriting character recognition with Java']Java applet
    Ito, J
    Okazaki, Y
    Watanabe, K
    Kondo, H
    Okamoto, M
    PROCEEDINGS OF ICCE'98, VOL 2 - GLOBAL EDUCATION ON THE NET, 1998, : 324 - 327
  • [37] Using a Java']Java web-based graphical user interface to access the SOHO data archive
    Scholl, I
    Girard, Y
    Bykowski, A
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS VIII, 1999, 172 : 253 - 256
  • [38] DEVELOPMENT AND EXTENSION OF A MODULAR, JAVA']JAVA-BASED, 2ND GENERATION ISO/IEEE 11073 MANAGER FRAMEWORK
    Gerbovics, F.
    Frohner, M.
    Urbauer, P.
    Bruckner, R.
    Pohn, B.
    Sauermann, S.
    Mense, A.
    EHEALTH2010 - MEDICAL INFORMATICS MEETS EHEALTH, 2010,
  • [39] Elderly users’ acceptance of mHealth user interface (UI) design-based culture: the moderator role of age
    Ahmed Alsswey
    Hosam Al-Samarraie
    Journal on Multimodal User Interfaces, 2020, 14 : 49 - 59
  • [40] Elderly users' acceptance of mHealth user interface (UI) design-based culture: the moderator role of age
    Alsswey, Ahmed
    Al-Samarraie, Hosam
    JOURNAL ON MULTIMODAL USER INTERFACES, 2020, 14 (01) : 49 - 59
12345