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 条
  • [41] BioPipeline Creator-a user-friendly Java']Java-based GUI for managing and customizing biological data pipelines (vol 14, Article number 16572, 2024)
    Cordeiro, Cleo Maia
    Moia, Gislenne da Silva
    de Oliveira, Monica Silva
    Silva, Lucas da Silva e
    Schneider, Maria Paula Cruz
    Costa, Savio S.
    Barauna, Rafael Azevedo
    das Gracas, Diego Assis
    Silva, Artur
    Veras, Adonney Allan de Oliveira
    SCIENTIFIC REPORTS, 2024, 14 (01):
  • [42] Graphics in embedded systems: Add HTML']HTML to Java']Java- and C-based user-interface options
    Smith, I
    EDN, 1999, 44 (04) : 95 - +
  • [43] Efficient component-based integration of a mobile J2EE application with a Java']Java-based "Legacy" system -: A best-practice example
    Höss, O
    Weisbecker, A
    Rosenthal, U
    Veit, M
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 10 - 15
  • [44] Generation of graphical user interface by metaprogramming application to Individual Based Models with Java reflection API and annotations
    Dumoulin, Nicolas
    Faure, Thierry
    Hill, David
    Int. Conf. Model. Simul. - Methodol., Tools, Softw. Appl., M S-MTSA, Part Summer Simul. Multiconference, SummerSim, (164-169):
  • [45] PRIST-2 - A GRAPHIC USER INTERFACE BASED TOOL FOR THE DEVELOPMENT OF MEDICAL SOFTWARE
    CRISTIANI, P
    PAZZI, S
    STOPPINI, A
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1992, 39 (1-2) : 27 - 34
  • [46] Evaluating Smartphone-based User Interface Designs for a 2D Psychological Questionnaire
    Ugur, Muhsin
    Shastri, Dvijesh
    Tsiamyrtzis, Panagiotis
    Dcosta, Malcolm
    Kalpakci, Allison
    Sharp, Carla
    Pavlidis, Ioannis
    PROCEEDINGS OF THE 2015 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING (UBICOMP 2015), 2015, : 275 - 282
  • [47] Matlab-based graphical user interface development for basic stamp 2 microcontroller projects
    Li, YF
    Harari, S
    Wong, H
    Kapila, V
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 3233 - 3238
  • [48] Building XML-based unified user interface system under J2EE architecture
    Yang, SJH
    Chen, I
    Chen, CC
    Chu, CH
    Shen, KHW
    Lan, CW
    ANNALS OF SOFTWARE ENGINEERING, 2001, 12 : 241 - 256
  • [49] Building a XML-Based Unified User Interface System under J2EE Architecture
    Chu, CH
    Huang, CH
    Lee, M
    INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 208 - 214
  • [50] A user-friendly, Python-based quantum mechanics/Gromacs interface: gmx2qmmm
    Götze, Jan P.
    Pi, Yuan-Wei
    Petry, Simon
    Langkabel, Fabian
    Witte, Jan Felix
    Lemke, Oliver
    International Journal of Quantum Chemistry, 2021, 121 (03)
12345