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 条
  • [11] Java']Java-based Graphical User Interface Framework for In-Vehicle Infotainment Units with WebGL Support
    Ostojic, Radivoje
    Pesic, Jasmina
    Bjelica, Milan Z.
    Stupar, Goran
    2016 IEEE 6TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2016,
  • [12] Java']Java-based interface for radiation monitoring system RadMon
    Grabka, A.
    Makowski, D.
    Swiercz, B.
    Mukherjee, B.
    Napieralski, A.
    MIXDES 2008: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2008, : 127 - +
  • [13] Data Interface Design for Java']Java-Based Mysql Database
    Liu, Hongxia
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015, 6 : 498 - 502
  • [14] Using OpenOffice as a portable interface to JAVA']JAVA-based applications
    Comeau, T
    Garrett, B
    Richon, J
    Romelfanger, F
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XIII, 2004, 314 : 701 - 703
  • [15] U-Net/SLE: A Java-based user-customizable virtual network interface
    Welsh, Matt
    Oppenheimer, David
    Culler, David
    Scientific Programming, 1999, 7 (02): : 147 - 156
  • [16] A Java']Java-Based Approach for Consistent User Assistance in Distributed Heterogeneous Environments
    Weber, Johannes
    Rehkopf, Andreas
    INTELLIGENT INTERACTIVE ASSISTANCE AND MOBILE MULTIMEDIA COMPUTING, 2009, 53 : 61 - 71
  • [17] Design and development of a Java']Java-based graphical user interface to monitor/control a meteorological real-time forecasting system
    Gomez, Igor
    Jose Estrela, Maria
    COMPUTERS & GEOSCIENCES, 2010, 36 (10) : 1345 - 1354
  • [18] Java']Java-based graphical user interface for MRUI, a software package for quantitation of in vivo/medical magnetic resonance spectroscopy signals
    Naressi, A
    Couturier, C
    Castang, I
    de Beer, R
    Graveron-Demilly, D
    COMPUTERS IN BIOLOGY AND MEDICINE, 2001, 31 (04) : 269 - 286
  • [19] A Java']Java-based interface for medical research project classification using metaphrase
    Liu, Q
    Buntrock, JD
    Crowson, DL
    Tuttle, MS
    Elkin, PL
    Chute, CG
    JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 1998, : 1037 - 1037
  • [20] Performance evaluation of a Java']Java-based networking Application Programming Interface (API)
    Zeadally, S
    INFORMATION PROCESSING LETTERS, 2000, 75 (05) : 199 - 209
12345