Neural software analysis

Developer tools that use a neural machine learning model to make predictions about previously unseen code.

Studying human-to-computer bias transference

It is generally agreed that one origin of machine bias is resulting from characteristics within the dataset on which the algorithms are trained, i.e., the data does not warrant a generalized inference. We, however, hypothesize that a different ‘mechanism’ may also be responsible for machine bias, namely that biases may originate from (i) the programmers’ cultural background, including education or line of work, or (ii) the contextual programming environment, including software requirements or developer tools. Combining an experimental and comparative design, we study the effects of cultural and contextual metaphors, and test whether each of these are ‘transferred’ from the programmer to the program, thus constituting a machine bias. Our results show that (i) cultural metaphors influence the programmer’s choices and (ii) contextual metaphors induced through priming can be used to moderate or exacerbate the effects of the cultural metaphors. Our studies are purposely performed with users of varying educational backgrounds and programming skills stretching from novice to proficient.

Toward the Formalization of Business Process Model and Notation

Due to its versatility and wide variety of constructs, BPMN (Business Process Model and Notation) is today the leading standard notation for creating visual models of business or organizational processes. It is a rich and expressive graphical language specially designed to provide a notation that is easily understood by all members of a company. Sometimes, however, this large number of controls and action nodes available can become a weakness since a given semantics can be represented in many ways, causing some ambiguity and raising the question of bisimilarity between two models. Today, it is universally recognized that formal methods are useful for the specification, design and verification of almost all systems, and essential for the most critical ones. On the other hand, the Business Process Execution Language for Web Services (BPEL) is an executable language structured in blocks, supported by many execution platforms, making it possible to specify the actions in the business processes with Web services. Since BPMN and BPEL share almost the same level of abstraction, we present in this article a formalization of the BPMN language through a mapping to BPEL, aiming to remove its ambiguities, to solve the complex modeling and interaction problems and open the door to many formal analysis such as model checking. We first formalize the BPEL language using the K framework, we then map the BPMN language to this formalized version of BPEL. The K Framework is a rewriting/reachability based framework enabling language developers to formally define all programming languages. Once a language is formally specified in the K framework, the framework automatically outputs a range of formal verification tool sets, compilers, debuggers and other developer tools for it.

Human-Centered Approach to Static-Analysis-Driven Developer Tools

Complex and opaque systems do not scale easily. A human-centered approach for evolving tools and practices is essential to ensuring that software is scaled safely and securely. Static analysis can unveil information about program behavior, but the goal of deriving this information should not be to accumulate hairsplitting detail. HCI can help direct static-analysis techniques into developer-facing systems that structure information and embody relationships in representations that closely mirror a programmer's thought. The survival of great software depends on programming languages that support, rather than inhibit, communicating, reasoning, and abstract thinking.

Direction and Speed Control of DC Motor Using Raspberry PI and Python-Based GUI

This paper presents the design and implementation of control strategy for both the speed and direction of a direct current (DC) motor using Android-based application in smart phone. The Raspberry Pi 3 with a motor driver controller has been used to implement the control action via Python-based user-defined programming. The Android application has been developed using Android Developer Tools (ADT) in Java platform. The Android apps work like a client and communicates with Raspberry Pi through wi-fi connectivity. Finally, a small graphical user interface (GUI) has been created in Python in order to interface and control the motor with buttons in GUI. The advantages of GUI are that it is attractive, user friendly, and even a layman can work with the application developed in GUI.

HTTP-Request Classification in Automatic Web Application Crawling

The problem of automatic requests classification, as well as the problem of determining the routing rules for the requests on the server side, is directly connected with analysis of the user interface of dynamic web pages. This problem can be solved at the browser level, since it contains complete information about possible requests arising from interaction interaction between the user and the web application. In this paper, in order to extract the classification features, using data from the request execution context in the web client is suggested. A request context or a request trace is a collection of additional identification data that can be obtained by observing the web page JavaScript code execution or the user interface elements changes as a result of the interface elements activation. Such data, for example, include the position and the style of the element that caused the client request, the JavaScript function call stack, and the changes in the page's DOM tree after the request was initialized. In this study the implementation of the Chrome Developer Tools Protocol is used to solve the problem at the browser level and to automate the request trace selection.

AN EFFECTIVE PROCUREMENT AND INVENTORY MANAGEMENT SYSTEM FOR ABC TEXTILE SHOP

ABC is a retail textile shop is situated in a suburb area of Anuradhapura, Sri Lanka. They have a routine of daily sales and weekly purchases and have a monthly expense of utility and salary payment for workers who work on sales. For the moment they are running a filebased system like Excel sheet for inventory keeping, purchasing, maintaining vendors’ details and workers details, daily sales and profit margins including number of items on each variety with a custom variety code. Since there is poor network coverage in the area, they are unable to use an open source online inventory system. So, it was decided to implement an inventory management system for them. By developing, “Procurement and Inventory Management System”, they can reduce their time for entering, updating, calculating and retrieving data. Not only that but also, they can avoid data redundancy, data consistency, high data security, privacy, and easy recovery. They can enter memos or special notes and they can filter and search related data. And, they can export grid view data to Microsoft excel sheet. The system built has been able to have a positive and beneficial impact on both organization and consumers. To develop the system, it was used agile software development methodology, the SQL Server 2014 was used as the database, Visual Studio 2010 as developer tools and C# is used as the programming language. The results of this study to get a system that has been developed that can make transactions which generate transaction reports, and which update database and remind notes for consumers thus greatly supporting the activities at the ABC shop.

Penerapan Metode Haversine Formula Untuk Penentuan Titik Kumpul pada Aplikasi Tanggap Bencana

Kota Bontang terletak di Provinsi Kalimantan Timur Indonesia merupakan salah satu kota yang paling rawan terjadinya bencana. Saat ini belum ada media khusus dalam proses penyampaian informasi mengenai kejadian bencana dan informasi titik kumpul, banyaknya berita atau informasi yang tidak dapat dipercaya sumbernya dan lambatnya penanganan kebencanaan karena harus mengecek keakuratan informasi kejadian bencana terlebih dahulu. Tujuan dari penelitian ini adalah membuat aplikasi yang dapat memberikan informasi bencana dan mencari titik kumpul dengan jarak terdekat menggunakan metode Haversine Formula serta teknologi Google Maps. Haversine Formula merupakan sebuah persamaan dalam navigasi dengan cara memberikan jarak radius (lingkaran besar) antara dua titik pada permukaan bola (bumi) berdasarkan lintang dan bujur. Pembuatan aplikasi ini dibangun dengan Android Developer Tools dengan bahasa pemrograman Java. Metodologi pengembangan sistem yang digunakan adalah GRAPPLE (Guidelines for Rapid APPlication Enggineering). Metode Grapple terdiri dari 5 tahap yaitu Requirement Gathering, Analysis, Design, Development, dan Deployment. Penelitian ini hanya sampai tahap Development. Halaman web disusun dengan menggunakan bahasa pemrograman PHP Native dan MySQL sebagai database dari aplikasi ini. Dari hasil penelitian ini, tercipta aplikasi informasi bencana dan titik kumpul untuk menetukan jarak terdekat dengan lokasi pengguna. Berdasarkan dari pengujian kelayakan aplikasi dari 10 responden menyatakan aplikasi ini layak digunakan dan dipublikasikan ke masyarakat. Kata kunci : Android, Bencana, Grapple, Haversine Formula