当前期刊: Journal of Computer Languages Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Lavoisier: A DSL for increasing the level of abstraction of data selection and formatting in data mining
    J. Comput. Lang. Pub Date : 2020-07-10
    Alfonso de la Vega; Diego García-Saiz; Marta Zorrilla; Pablo Sánchez

    Input data of a data mining algorithm must conform to a very specific tabular format. Data scientists arrange data into that format by creating long and complex scripts, where different low-level operations are performed, and which can be a time-consuming and error-prone process. To alleviate this situation, we present Lavoisier, a declarative language for data selection and formatting in a data mining

    更新日期:2020-07-14
  • PathPair2Vec: An AST path pair-based code representation method for defect prediction
    J. Comput. Lang. Pub Date : 2020-05-28
    Ke Shi; Yang Lu; Jingfei Chang; Zhen Wei

    Software project defect prediction (SDP) can predict the bug probability of software by their features and allocate their testing efforts. The existing software defect prediction methods can be divided into two categories: methods based on traditional handcrafted features and methods based on automatically made abstract features, especially those made by deep learning. The current research indicates

    更新日期:2020-05-28
  • Applications of model-driven engineering in cyber-physical systems: A systematic mapping study
    J. Comput. Lang. Pub Date : 2020-05-22
    Mustafa Abshir Mohamed; Moharram Challenger; Geylani Kardas

    Engineers face significant challenges in developing cyber-physical systems (CPS) due to their heterogeneous nature, i.e. the need for knowledge and skills from a wide range of academic and industrial disciplines, the integration of the artifacts of these disciplines and fields, and the difficulty of maintaining such heterogeneous artifacts should be taken into account. The development of CPS mostly

    更新日期:2020-05-22
  • Visual Programming Environments for End-User Development of Intelligent and Social Robots, a Systematic Review
    J. Comput. Lang. Pub Date : 2020-05-20
    Enrique Coronado; Fulvio Mastrogiovanni; Bipin Indurkhya; Gentiane Venture

    Robots are becoming interactive and robust enough to be adopted outside laboratories and in industrial scenarios as well as interacting with humans in social activities. However, the design of engaging robot-based applications requires the availability of usable, flexible and accessible development frameworks, which can be adopted and mastered by researchers and practitioners in social sciences and

    更新日期:2020-05-20
  • Technical debt in procedural model transformation languages
    J. Comput. Lang. Pub Date : 2020-05-19
    Shekoufeh Kolahdouz-Rahimi; Kevin Lano; Meysam Karimi

    Model transformations (MT) are a significant element of model-based and model-driven engineering approaches. Hence their quality is important for their effectiveness for use in such developments. The concept of technical debt (TD) estimates the impact of quality flaws on the maintenance costs of software artefacts. In this paper we define a quality model for model transformation languages, and define

    更新日期:2020-05-19
  • Parametric Modeling and Generation of Mandala Thangka Patterns
    J. Comput. Lang. Pub Date : 2020-05-06
    Jiajing Zhang; Kang Zhang; Ren Peng; Jinhui Yu

    The mandala thangka, as a religious art in Tibetan Buddhism, is an invaluable cultural and artistic heritage. However, drawing a mandala pattern of thangka style is both time- and effort-consuming and requires mastery due to intricate details. Retaining and digitizing this heritage is an unresolved research challenge to date. In this paper, we propose a parametric approach to model and generate mandala

    更新日期:2020-05-06
  • Graph-Related Properties for Comparing Dynamic Call Graphs
    J. Comput. Lang. Pub Date : 2020-04-29
    Michael Burch

    Software systems produce long sequences of call graphs, in particular, if the graphs are generated during runtime and not revision by revision. Visualizing, analyzing, and interacting with such long dynamic graphs with respect to different properties is a challenging task. In this article we describe an interactive visualization technique for dynamic call graphs that supports the observation of the

    更新日期:2020-04-29
  • Authoring logically sequenced visual data stories with Gravity
    J. Comput. Lang. Pub Date : 2020-03-31
    Humphrey O. Obie; Caslon Chua; Iman Avazpour; Mohamed Abdelrazek; John Grundy; Tomasz Bednarz

    Visual data stories have been shown to significantly aid the comprehension and short-term memorability of statistical facts and value messages. Hence, they are a promising medium for communicating complex information to a target audience, fulfilling the communicative goal of information visualisation. However, creating visual data stories often requires a plethora of tools to execute the visual data

    更新日期:2020-04-23
  • Understanding Practitioners’ Challenges on Software Modeling: A Survey
    J. Comput. Lang. Pub Date : 2020-04-06
    Mert Ozkaya; Ferhat Erata

    Software modeling is considered as the high-level design technique for describing abstract statements about software systems. While some practitioners create models for the early analysis of their design decisions and generating code from their models, some practitioners create models for the eased communication among stakeholders. There also exist practitioners who ignore modeling and directly proceed

    更新日期:2020-04-23
  • Multi-view routing visualization for the identification of BGP issues
    J. Comput. Lang. Pub Date : 2020-04-14
    Massimo Candela; Giuseppe Di Battista; Luca Marzialetti

    The Internet is constantly evolving and changing over time. Outages, attacks, upgrades, censorships, and policy changes modify the routing very frequently everywhere in the world. To give the possibility to the Internet Service Providers and to the network operators of monitoring such an evolving scenario, many organizations collect information on the routing changes and give free access to them. We

    更新日期:2020-04-23
  • Incremental correct-by-construction of distributed systems
    J. Comput. Lang. Pub Date : 2020-02-11
    Sarah Benyagoub; Meriem Ouederni; Yamine Aït Ameur

    Although today’s software systems are distributed by necessity, their design verification and validation is still an open issue due to their ever-increasing complexity. This paper proposes a stepwise development method allowing a designer to build correct-by-construction distributed systems. System correctness is handled w.r.t.a realizability property. We assume a top-down approach where systems are

    更新日期:2020-04-23
  • APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools
    J. Comput. Lang. Pub Date : 2019-11-06
    Alireza Khalilian; Ahmad Baraani-Dastjerdi; Bahman Zamani

    During the last decade, we are witnessing the advent of a proliferation of techniques and associated tools for automatic program repair (APR). The current techniques and tools provide rich sources of knowledge that should be taken into consideration for future research. An overview of the current APR techniques and tools can serve the research community as a knowledge accumulator. However, APR techniques

    更新日期:2020-04-23
  • Deriving overloaded success type schemes in Erlang
    J. Comput. Lang. Pub Date : 2020-04-19
    Francisco J. López-Fraguas; Manuel Montenegro; Gorka Suárez-García

    Erlang is a programming language which brings together the features of functional programming and actor-based concurrency. Although it is a dynamically-typed language, there exists a tool (Dialyzer) that analyses Erlang programs in order to detect type discrepancies at compile-time. This tool is based on the notion of success types, which are overapproximations to the actual semantics of expressions

    更新日期:2020-04-19
  • An end-to-end model-based approach to support big data analytics development
    J. Comput. Lang. Pub Date : 2020-04-07
    Hourieh Khalajzadeh; Andrew J. Simmons; Mohamed Abdelrazek; John Grundy; John Hosking; Qiang He

    We present BiDaML 2.0, an integrated suite of visual languages and supporting tool to help multidisciplinary teams with the design of big data analytics solutions. BiDaML tool support provides a platform for efficiently producing BiDaML diagrams and facilitating their design, creation, report and code generation. We evaluated BiDaML using two types of evaluations, a theoretical analysis using the “physics

    更新日期:2020-04-07
  • Purely functional GLL parsing
    J. Comput. Lang. Pub Date : 2020-02-10
    L. Thomas van Binsbergen; Elizabeth Scott; Adrian Johnstone

    Generalised parsing has become increasingly important in the context of software language design and several compiler generators and language workbenches have adopted generalised parsing algorithms such as GLR and GLL. The original GLL parsing algorithms are described in low-level pseudo-code as the output of a parser generator. This paper explains GLL parsing differently, defining the FUN-GLL algorithm

    更新日期:2020-02-10
  • Geovisualizing attribute uncertainty of interval and ratio variables: a framework and an implementation for vector data.
    J. Comput. Lang. Pub Date : 2018-03-06
    Hyeongmo Koo,Yongwan Chun,Daniel A Griffith

    Geovisualization of attribute uncertainty helps users to recognize underlying processes of spatial data. However, it still lacks an availability of uncertainty visualization tools in a standard GIS environment. This paper proposes a framework for attribute uncertainty visualization by extending bivariate mapping techniques. Specifically, this framework utilizes two cartographic techniques, choropleth

    更新日期:2019-11-01
  • 3D Modeling of Branching Structures for Anatomical Instruction.
    J. Comput. Lang. Pub Date : 2016-04-19
    William A Mattingly,Julia H Chariker,Richard Paris,Dar-Jen Chang,John R Pani

    Branching tubular structures are prevalent in many different organic and synthetic settings. From trees and vegetation in nature, to vascular structures throughout human and animal biology, these structures are always candidates for new methods of graphical and visual expression. We present a modeling tool for the creation and interactive modification of these structures. Parameters such as thickness

    更新日期:2019-11-01
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
欢迎访问IOP中国网站
自然职场线上招聘会
GIANT
产业、创新与基础设施
自然科研线上培训服务
材料学研究精选
胸腔和胸部成像专题
屿渡论文,编辑服务
何川
苏昭铭
陈刚
姜涛
李闯创
李刚
北大
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
上海纽约大学
张健
陈芬儿
厦门大学
李祥
吉林大学
卓春祥
张昊
杨中悦
试剂库存
天合科研
down
wechat
bug