Formalization of UML diagrams and their consistency verification

Author(s):  
Sabnam Sengupta ◽  
Swapan Bhattacharya
Author(s):  
Salilthip Phuklang ◽  
Tomoyuki Yokogawa ◽  
Pattara Leelaprute ◽  
Kazutami Arimoto

Author(s):  
Tomoyuki Yokogawa ◽  
Sousuke Amasaki ◽  
Keisuke Okazaki ◽  
Yoichiro Sato ◽  
Kazutami Arimoto ◽  
...  

2020 ◽  
Vol 5 (1) ◽  
pp. 78
Author(s):  
Ade Sumaedi ◽  
Makhsun Makhsun ◽  
Achmad Hindasyah

PT. Duta Nichirindo Pratama is a company engaged in the field of Autoparts Manufacture. Barcode is the identity of an item / product on the package. Barcode technology has been used as the identity of goods in a production. Barcodes are used to facilitate the identification of goods produced. Paste the barcode on the packaging of packaging results at PT. Duta Nichirindo Pratama is done manually, but there are often errors attached to the barcode on a similar packaging. This research will design and create a system based on Visual Basic.Net and Arduino to select barcode attachment errors that have the potential to be sent to consumers. The system is designed using Unified Modeling Language (UML) diagrams, database design and interface menu design. The system created will then be tested to detect the black box test. With a computing-based design system that functions to detect barcodes on the packaging automatically, the problem of sticking barcodes on the packaging can be detected.


2011 ◽  
Vol 1 (9) ◽  
pp. 37-38
Author(s):  
Lavleen Kambow ◽  
Keyword(s):  

2017 ◽  
Vol 4 (2) ◽  
pp. 99-104
Author(s):  
Agus Nursikuwagus

Information system at community health center is an information system that has several activities, such as registration, medical record, health care, and reporting.  Day to day operation, community health service, is using process manually. It is cause the stack of service. Sometime, the patient has to wait within several times. For Further, the patient did not know that the queuing is full. In order to help the problem, this paper wants to show about E-Health as service software. The research is completed by conveying the model like UML diagram. The UML diagrams are consisting such as usecase, class, activity, and component. The sequence of system construct is using Prototype Paradigm. The result is the software which has ability to service patient start from registration, medical check, medical prescription, until reporting. As an impact for Community health service is the service more efficiency. The system is able to control the medicine and reporting on day to day operation.   REFERENCES[1] Susanto, Gunawan,” Sistem Informasi Rekam Medis PadaRumah Sakit Umum Daerah (RSUD) Pacitan Berbasis WebBase”. Pacitan. 2012.[2] B, Nugroho, S.H. Fitriasih, B. Widada, “Sistem InformasiRekam Medis Di Puskesmas Masaran I Sragen”. JournalTIKomSiN, vol.5, no.1, p.49-56, 2017.[3] G.G.S. Bagja,” Membangun Sistem Informasi KesehatanPuskesmas Cibaregbeg”, Univ. Komp. Indonesia, 2010.[4] A.M. Herdy, Aulia, M. Amran, D. Novita, “PerancanganSistem Informasi Pelayanan Medis Di Puskesmas SungaiDua”, STMIK MDP. 2014.[5] J. Sundari, “Sistem Informasi Pelayanan Puskesmas BerbasisWeb”, Int.Journal.on Soft.Eng, vol.2, no.1, p.57-62, 2016.[6] R.S. Pressman, Software Engineering A PractitionersApproach. Nineth Edition, Addsion Wesley, 2011.[7] G. Booch, J. Rumbaugh, I. Jacobson, Unified ModelingLanguage User Guide, Addison-Wesley, 1999.[8] I, Daqiqil. (2011, August 2). Framework CodeIgnite. [Online].Available: http://koder.web.id/buku-codeigniter-gratis/


2019 ◽  
Vol 942 (12) ◽  
pp. 41-49
Author(s):  
A.M. Portnov

Using unified principles of formation and maintenance of register/cadaster with information about spatial data of landscape objects as the informational and technological basis for updating the public topographic maps and modernization of state cartographic system is proposed. The problems of informational relevancy of unified electronical cartographic basis and capacity of its renovation in case of public cadaster map data. The need to modernize the system of classification and coding of cartographic information, the use of unified standards for the coordinate description of register objects for their topological consistency, verification and updating is emphasized. Implementing such solutions is determined by economical expediency as well as necessity of providing a variety of real thematic data for wide range of consumers in the field of urban planning, territories development and completing the tasks of Governmental program “Digital economy of the Russian Federation”.


Proceedings ◽  
2021 ◽  
Vol 74 (1) ◽  
pp. 13
Author(s):  
Hatice Koç ◽  
Ali Mert Erdoğan ◽  
Yousef Barjakly ◽  
Serhat Peker

Software engineering is a discipline utilizing Unified Modelling Language (UML) diagrams, which are accepted as a standard to depict object-oriented design models. UML diagrams make it easier to identify the requirements and scopes of systems and applications by providing visual models. In this manner, this study aims to systematically review the literature on UML diagram utilization in software engineering research. A comprehensive review was conducted over the last two decades, spanning from 2000 to 2019. Among several papers, 128 were selected and examined. The main findings showed that UML diagrams were mostly used for the purpose of design and modeling, and class diagrams were the most commonly used ones.


2012 ◽  
Vol 37 (5) ◽  
pp. 1-8 ◽  
Author(s):  
Mahesh Shirole ◽  
Rajeev Kumar
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document