scholarly journals MODEL CHECKING EARLY REQUIREMENTS SPECIFICATIONS IN ALLOY

2018 ◽  
Vol 54 (3A) ◽  
pp. 163
Author(s):  
Ton Long Phuoc
Keyword(s):  
Software Engineering ◽  
Model Checking ◽  
Source Code ◽  
Specification Language ◽  
Specification Languages ◽  
Architectural Pattern ◽  
Mvc Model ◽  
Requirements Specifications ◽  
Model View Controller ◽  
Model View

Automation generated source code and verifying are essential sector for software engineering. There are many ways to generate source code and verify from the specification languages. In this paper, we propose an approach that automatically generated code from a specification language Alloy. From this specification language, we will describe how to translate from one language to the Java source. An application in this paper is a gardening game program. Applied after the findings will be organized according to the MVC (Model-View-Controller) architectural pattern. Besides, we will also verify the identity of the structure of the application and the content of the Alloy specification. We built an tool as GmDSL, we have verified the aplication in GmDSL. The application was created from the tool also shows the correctness of the early constraints. Simultaneously, we also compares be verified through the GmDSL tool with NuSVM tool.

Analysis and Implementation of ASP.Net and PHP Frameworks Based on MVC Architecture

2013 ◽  
Vol 798-799 ◽  
pp. 749-752
Author(s):  
Xiao Kang Liu ◽  
Geng Guo Cheng
Keyword(s):  
User Interface ◽  
Information Transmission ◽  
Robustness Analysis ◽  
Analysis Method ◽  
Network Access ◽  
Business Logic ◽  
Mvc Model ◽  
Model View Controller ◽  
Model View ◽  
Better Than

Information transmission in the network is more and more accepted due to the fast and convenient of the network access. The MVC (Model-View-Controller) could be a very good solution to solve the problems as separating between user interface logic and business logic that developers found. We describe and explore ASP (Active Server Pages), PHP (Hypertext Preprocessor) and robustness analysis method, and we implement MVC architecture in ASP.Net framework and PHP framework respectively. With the comparison between ASP.Net framework and PHP framework, in this study, our findings show that PHP framework is more difficult than ASP.Net framework to implement MVC architecture, and the ASP.Net framework is better than PHP framework under the same environment.

scholarly journals System Development for Learning Process Monitoring in Private Lesson Institution Using Codeigniter Framework

2021 ◽  
Vol 4 (1) ◽  
pp. 10-16
Author(s):  
Arief Herdiansah ◽  
Keyword(s):  
Information System ◽  
System Development ◽  
Analysis And Design ◽  
Mvc Model ◽  
Teacher Student ◽  
Private Lesson ◽  
Model View Controller ◽  
Teacher Data ◽  
Model View ◽  
Monitoring Information

The monitoring information system is one of the main functions in managing student data in Generasi Cerdas private lesson. This study provides the results of an analysis and design of a monitoring information system that can be used to facilitate services to students in monitoring including grades and student absence. This application developed using UML Design and PHP Programming with CodeIgniter Framework and use MySQL Database. CodeIgniter is an open source framework in the form of a PHP framework with an MVC model (Model, View, Controller) for building dynamic websites. The resulting application has been able to provide information of teacher, student, student value and student absence data to assist in processing student and teacher data in the Generasi Cerdas private lesson, so that the institution has a faster, more efficient monitoring information system and easier to use.

scholarly journals SISTEM INFORMASI PENGELOLAAN PRODUK DAN JASA BERBASIS WEB PADA UNIVERSITAS NEGERI PADANG

2018 ◽  
Vol 11 (1) ◽  
pp. 57-68
Author(s):  
Mutiara Pertiwi ◽  
Deny Kurniadi ◽  
Yeka Hendriyani
Keyword(s):  
Management System ◽  
Database Management ◽  
Unified Modeling Language ◽  
Database Management System ◽  
Modeling Language ◽  
Unified Modeling ◽  
Mvc Model ◽  
Model View Controller ◽  
Cascading Style Sheets ◽  
Model View

Penelitian ini bertujuan untuk mengembangkan sistem informasi yang dapat mengakomodir manajemen aset Universitas Negeri Padang, baik dalam bentuk produk / hasil kerja dari civitas dan layanan yang diselenggarakan secara internal maupun dari pihak luar yang bekerjasama dengan Universitas Negeri Padang.. Sistem ini diharapkan dapat memfasilitasi civitas academica dalam pengembangan bisnis dan untuk mempromosikan produk dan layanan berdasarkan kategori mereka. Desain produk dan layanan sistem informasi manajemen dibangun menggunakan model waterfall dan pola desain e-commerce dengan pemodelan UML (Unified Modeling Language). Bahasa pemrograman utama yang digunakan PHP (PHP Hypertext Preprocessor), serta CSS (Cascading Style Sheets) dan Javascript sebagai bahasa tambahan dengan MySQL sebagai Database Management System (DBMS). Sistem ini dibangun menggunakan framework codeigniter dengan arsitektur MVC (Model View Controller). Hasil dari sistem dapat digunakan untuk pengelolaan produk dan layanan, manajemen pemesanan sewa, kerjasama pemangku kepentingan, pengelolaan kualitas pengujian, hingga pengelolaan transaksi. Seluruh aktivitas yang terjadi pada sistem dapat didokumentasikan sesuai dengan kebutuhan pengguna.

scholarly journals SISTEM INFORMASI PEMBAYARAN UANG SEKOLAH DENGAN MODEL MVC DAN MENGGUNAKAN NOTIFIKASI SMS GATEWAY

2021 ◽  
Vol 4 (2) ◽  
pp. 185-200
Author(s):  
Dwi Cita Septia Candra ◽  
Lutfi Syarifullah ◽  
Muhammad Nur Faiz
Keyword(s):  
Programming Languages ◽  
System Development ◽  
Mvc Model ◽  
Existing Problems ◽  
Development Life Cycle ◽  
Model View Controller ◽  
Waterfall Model ◽  
To Come ◽  
Development Methods ◽  
Model View

The Tuition Payment Information System was designed because at this time the payment of tuition at SMP Islam Cilacap still uses the general ledger, causing inaccuracies in payment data by employees (administrative). The purpose of this research is to help solve problems in the processing of tuition payment data, making payment data reports, searching payment data, knowing payment data information, and knowing the school money payment report. The system is designed using MVC (Model-View-Controller) architecture and SMS Gateway notifications as well as system development methods using System Development Life Cycle (SDLC) with Waterfall model. In addition, the system design uses PHP and HTML programming languages, database management is MySQL and uses the Laravel framework. Based on the results of the system test and the results of the questionnaire by 10 respondents that 14% stated enough, 44% stated well and 42% stated very well calculated by the calculation of the Likert scale of 86% entered the excellent qualification which means successful. So it can be concluded that this system can solve existing problems by facilitating the processing of payment data, assisting in the creation of school money payment reports, helping in speeding up the search for payment data, knowing the payment information of tuition without having to come to school, and knowing the payment data report quickly without having to go through a long recap process.

scholarly journals Pengembangan Aplikasi Web Pemetaan Perkembangan Koperasi di Indonesia Berbasis Web Modeling Language

KOMTEKINFO ◽  
2018 ◽  
Vol 5 (2) ◽  
pp. 1-10
Author(s):  
Yaddarabullah Yaddarabullah ◽  
Lestari Agusalim ◽  
Muhamad Karim
Keyword(s):  
Modeling Language ◽  
Mvc Model ◽  
Model View Controller ◽  
Language Modelling ◽  
Model View

Perkembangan dan pertumbuhan Koperasi di Indonesia mengalami peningkatan dalam sepuluh tahun (2000-2015) dengan tingkat kenaikan sebesar 68,93 persen. Data tersebut tersebar dari seluruh provinsi di Indonesia. Data tersebut yang telah diolah tersebut diperoleh dari Kementrian Koperasi dan UMKM. Untuk memperoleh data yang baru saat ini harus menunggu rilis terbaru dari Kementrian Koperasi dan UMKM. Saat ini belum tersedia sistem informasi untuk mengetahui perkembangan dan pertumbuhan Koperasi yang dapat diakses secara umum oleh publik secara realtime. Pada penelitian ini akan dikembangkan sistem informasi yang dapat memberikan informasi mengenai perkembangan dan pertumbuhan Koperasi di Indonesia. Sistem yang dibangun akan memetakan Koperasi berdasarkan wilayah provinsi. Pengembangan sistem ini berbasis pendekatan metode Web Language Modelling (WebML). Penulisan kode program menggunakan pemrograman PHP konsep MVC (Model-View-Controller) dengan framework Codeigniter dan sistem pemetaan digital menggunakan Openstreetmap. Hasil dari penelitian ini dapat digunakan oleh Koperasi untuk memperbaharui data perkembangan dan pertumbuhan. Sedangkan untuk Pemerintah dan masyarakat akan dimudahkan dalam melihat data tersebut secara realtime.

scholarly journals PENGEMBANGAN APLIKASIKONVERSI MATA KULIAH MENGGUNAKAN FRAMEWORKCODEIGNITER DAN BOOTSTRAP (Studi Kasus : Sekolah Tinggi Ilmu Komunikasi Profesi Indonesia)

2018 ◽  
Vol 4 (2) ◽  
pp. 44-50
Author(s):  
Abu Sopian
Keyword(s):  
High School ◽  
Software Development ◽  
System Design ◽  
High School Graduates ◽  
Source Code ◽  
Bachelor Degree ◽  
Model Based ◽  
Model View Controller ◽  
Waterfall Model ◽  
Model View

Students who enroll in the Sekolah Tinggi Ilmu Komunikasi Profesi Indonesia are not only from High School Graduates or from the same level. But students who enroll are also available from Bachelor Degree (D3) or called Level Transfer. For that, it is necessary to do equalization or conversion of courses from Bachelor Degree (D3). Currently the conversion of subjects in still done manually. Forthat, it is necessary to develop an application that can help in converting for subject. In this study the development of course conversion applications is used Software Development Life Sycle (SDLC) method with the waterfall model. Based on the analysis of the system design above, it can be concluded that the Model View Controller (MVC) architecture can be applied to the codeigniter framework and MVCarchitecturemaking it easier to repair changes to the source code without changing the entire logic and fungtion properly and meet the objectives the beginning of the development of this subject conversion application.

scholarly journals Development of a Web Based Inventory Information System

2021 ◽  
Vol 1 (2) ◽  
pp. 24-31
Author(s):  
Johni S Pasaribu
Keyword(s):  
Inventory Management ◽  
Web Application ◽  
Web Based ◽  
Mvc Model ◽  
Model View Controller ◽  
Waterfall Model ◽  
Product Inventory ◽  
A Company ◽  
Model View ◽  
Reporting Data

CV. T. Kardin Pisau Indonesia is a company engaged in the manufacture of knives, having its address at Jl. Hegarmanah No.46 Bandung. As a manufacturing company, CV. T. Kardin Pisau Indonesia needs to take advantage of information technology in warehouse inventory management, no longer in manual management, namely recording in paper media, which will be vulnerable to data mismatches. Web application here is defined as an inventory application, through displays which include items to be stored in the warehouse and incoming and outgoing product transactions. The research method used here is Research and Development (R&D). Making software is done with a waterfall model which consists of stages: needs analysis, design, implementation, and testing. In object orientation paradigm modeling system with visual UML. The results of this study produce web-based software using the YII Framework with the MVC (Model View Controller) method. Through a web application that provides direct contact, it is hoped that the service process to consumers can be clear and fast. This inventory application can be used as material for product inventory in warehouse stock which includes recording, processing, and reporting data on warehouse inventory. Another benefit is that with this web-based application, the head office can know the inventory in the warehouse by itself so that it can quickly take action to fill the warehouse inventory.

scholarly journals Rancang Bangun Sistem Jejaring Klaster Berbasis Web Menggunakan Metode Model View Controller

CCIT Journal ◽  
2013 ◽  
Vol 6 (3) ◽  
pp. 308-331
Author(s):  
Suprihadi Suprihadi ◽  
Rini Kartika Hudiono ◽  
Lina Sinatra Wijaya
Keyword(s):  
Web Application ◽  
System Development ◽  
Prototype Model ◽  
Mvc Model ◽  
Model Method ◽  
Central Java ◽  
Model View Controller ◽  
The Media ◽  
Model View ◽  
Product Promotion

Cluster in Indonesia particularly in the area of Central Java in 2010 totaled 150. Based on the results of the survey in Demak, Wonosobo and Pemalang, most Clusters does not yet have a website as a media product promotion and Cluster communication. Some Cluster already leverages media Blog and facebook but the media still do not meet the expected needs because media Blog and Facebook are not a media for product promotion. This is because the limitations of cost and the scarcity of skilled human resources information technology owned by the Cluster. Therefore, this research was conducted on the design and implementation of a web application that serves as a Networking System Cluster. System development method’s using the Prototype Model. Method of MVC (Model View Controller) is used in the implementation of the system, while technology programming using CodeIgniter Framework. As a result, the system is capable of providing the website for each Cluster are listed, so it can be used as a promotional media, publications and communication between Cluster members.

scholarly journals Point of Sale Framework-Based Code Igniter and Model View Controller Using Lighthouse Testing

2021 ◽  
Vol 3 (2) ◽  
pp. 202-212
Author(s):  
Muhammad Syaifudin ◽  
Fauziah Fauziah ◽  
Ben Rahman
Keyword(s):  
Web Application ◽  
Manufacturing Industry ◽  
Point Of Sale ◽  
Mvc Model ◽  
Web Testing ◽  
Data Graphics ◽  
Model View Controller ◽  
Visualization Of Data ◽  
Model View

The success of companies engaged in the field of distributors is not only from good and smart human resources, but how ready the company's way to provide tools or programs supporting the work of employees. Some of the problems are the administration system between the company's internal divisions, so there are restrictions on the processing of input data, processes, outputs that are still manual. Web Application is made to facilitate employees to conduct administrative activities with the access role of each user admin division, for example inventory data, creation of sales invoices, road letters, procurement forms and bookkeeping. In addition, The Web View application is already responsive in this sense can adjust the device PC / Tablet / Mobile, then for visualization of data calculation already using cart / data graphics in real time, and there is also a feature preview, download and print JPEG, PNG, PDF, Barcode and QR code. Web Testing This application with black box method and shows it is running well and no error method, so it can be declared passed. Web Creation This application involves the LTE 2.0 Admin Template with bootstrap CSS, for programmer frameworks using MVC model view controllers that exist in the Code Igniter 3.0 framework so that it is faster and easier to implement or developed in other field companies or in the manufacturing industry. Tests using lighthouse for perform by 94% showed that the application designed to have a good performance for display results, and its access value of 60%, indicating that the process related to responsiveness between users is appropriate both using PC / Tablet / Mobile

Sign in / Sign up

Export Citation Format

Share Document