中文
相关论文

相关论文: A High-Level Modeling Language for the Efficient D…

200 篇论文

The main aim of the proposed system is to assist the software development team to estimate the cost, effort and maintenance of the project under development. Android-based platform, namely MIT App Inventor is used for the development of…

计算机与社会 · 计算机科学 2016-05-11 Muhammad Zubair Asghar , Ammara Habib , Anam Habib , Syeda Rabail Zahra , Sadia Ismail

Large Language Models (LLMs) have showcased impressive capabilities in handling straightforward programming tasks. However, their performance tends to falter when confronted with more challenging programming problems. We observe that…

机器学习 · 计算机科学 2025-04-01 Jingyao Li , Pengguang Chen , Bin Xia , Hong Xu , Jiaya Jia

During last ten years, the number of smartphones and mobile applications has been constantly growing. Android, iOS and Windows Mobile are three mobile platforms that cover almost all smartphones in the world in 2017. Developing a mobile app…

软件工程 · 计算机科学 2017-03-03 Matias Martinez , Sylvain Lecomte

We present HornDroid, a new tool for the static analysis of information flow properties in Android applications. The core idea underlying HornDroid is to use Horn clauses for soundly abstracting the semantics of Android applications and to…

密码学与安全 · 计算机科学 2017-07-26 Stefano Calzavara , Ilya Grishchenko , Matteo Maffei

Catroid is a free and open source visual programming language, programming environment, image manipulation program, and website. Catroid allows casual and first-time users starting from age eight to develop their own animations and games…

编程语言 · 计算机科学 2012-05-01 Wolfgang Slany

Mobile apps are now ubiquitous. Before developing a new app, the development team usually endeavors painstaking efforts to review many existing apps with similar purposes. The review process is crucial in the sense that it reduces market…

软件工程 · 计算机科学 2019-02-18 Sen Chen , Lingling Fan , Chunyang Chen , Ting Su , Wenhe Li , Yang Liu , Lihua Xu

Software testing is an important phase in the software development life-cycle because it helps in identifying bugs in a software system before it is shipped into the hand of its end users. There are numerous studies on how developers test…

软件工程 · 计算机科学 2019-02-15 Luis Cruz , Rui Abreu , David Lo

The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give…

软件工程 · 计算机科学 2016-11-17 Robert France , Bernhard Rumpe

Mobile applications, often simply called "apps", are increasingly widespread, and we use them daily to perform a number of activities. Like all software, apps must be adequately tested to gain confidence that they behave correctly.…

软件工程 · 计算机科学 2015-04-01 Shauvik Roy Choudhary , Alessandra Gorla , Alessandro Orso

Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They have to manage a huge…

软件工程 · 计算机科学 2015-05-04 Tony Clark , Paul Sammut , James Willans

Moldable development supports decision-making by making software systems explainable. This is done by making it cheap to add numerous custom tools to your software, turning it into a live, explorable domain model. Based on several years of…

软件工程 · 计算机科学 2024-09-30 Oscar Nierstrasz , Tudor Gîrba

Automatic testing of mobile applications has been a well-researched area in recent years. However, testing in industry is still a very manual practice, as research results have not been fully transferred and adopted. Considering mobile…

软件工程 · 计算机科学 2020-08-21 Stefan Karlsson , Adnan Čaušević , Daniel Sundmark , Mårten Larsson

Model driven development is an effective method due to its benefits such as code transformation, increasing productivity and reducing human based error possibilities. Meanwhile, agile software development increases the software flexibility…

软件工程 · 计算机科学 2017-01-03 Gürkan Alpaslan , Oya Kalıpsız

Mutation testing has been widely used to assess the fault-detection effectiveness of a test suite, as well as to guide test case generation or prioritization. Empirical studies have shown that, while mutants are generally representative of…

This paper introduces Aptly, a platform designed to democratize mobile app development, particularly for young learners. Aptly integrates a Large Language Model (LLM) with App Inventor, enabling users to create apps using their natural…

With the increasing prevalence of fraudulent Android applications such as fake and malicious applications, it is crucial to detect them with high accuracy and adaptability. We present AgentDroid, a novel tool for Android fraudulent…

软件工程 · 计算机科学 2025-10-09 Ruwei Pan , Hongyu Zhang , Zhonghao Jiang , Ran Hou

Multimodality can make (especially mobile) device interaction more efficient. Sensors and communication capabilities of modern smartphones and tablets lay the technical basis for its implementation. Still, mobile platforms do not make…

人机交互 · 计算机科学 2014-06-13 Andreas Möller , Stefan Diewald , Luis Roalter , Matthias Kranz

It is common practice for developers of user-facing software to transform a mock-up of a graphical user interface (GUI) into code. This process takes place both at an application's inception and in an evolutionary context as GUI changes…

软件工程 · 计算机科学 2018-07-30 Kevin Moran , Carlos Bernal-Cárdenas , Michael Curcio , Richard Bonett , Denys Poshyvanyk

With the rapid advancement of large language models (LLMs), mobile agents have emerged as promising tools for phone automation, simulating human interactions on screens to accomplish complex tasks. However, these agents often suffer from…

人机交互 · 计算机科学 2026-04-21 Shiquan Zhang , Tianyi Zhang , Le Fang , Simon D'Alfonso , Hong Jia , Vassilis Kostakos

Software development for service robotics is inherently complex. Even a single robot requires the composition of several sensors, actuators, and software modules. The systems are usually developed by groups of domain experts, rarely…

软件工程 · 计算机科学 2014-08-26 Jan Oliver Ringert , Bernhard Rumpe , Andreas Wortmann