Results 41 to 50 of about 4,975 (191)

UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC)

IEEE Access, 2018
Business processes (BPs) are often modeled to elaborate process-related business requirements (BRs). This leads to verify the complex BRs in early automation stages. Among various BP languages, event-driven process chain (EPC) is a well-known semi-formal
Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Rashid, Aamir Naeem   +5 more
doaj   +1 more source

Rancang bangun aplikasi monitoring kegiatan kuliah kerja mahasiswa berbasis android di Universitas Banten Jaya

Teknika, 2020
Kuliah kerja mahasiswa (KKM) merupakan salah satu mata kuliah wajib di Universitas Banten Jaya. Pelaksanaan KKM masih terdapat kekurangan pada monitoring kegiatan mahasiswa baik itu kegiatan harian, progress project kelompok, hingga presensi peserta KKM.
Nur Hidayanti, Widyawati Widyawati, Rizki Fatullah, Budiono Budiono   +3 more
doaj   +1 more source

The General-Purpose Modeling, Analysis, and Implementation of Software Architectures

Havacılık ve Uzay Teknolojileri Dergisi, 2020
In this paper, a new software modeling language called SAMP is proposed, which is inspired from UML and enables the general-purpose modeling of software architectures but at the same time promotes the multiple-viewpoints modeling, formal verification of ...
Mert Özkaya
doaj  

Semi-automated Modular Program Constructor for physiological modeling: Building cell and organ models [version 2; referees: 2 approved]

F1000Research, 2016
The Modular Program Constructor (MPC) is an open-source Java based modeling utility, built upon JSim's Mathematical Modeling Language (MML) (http://www.physiome.org/jsim/) that uses directives embedded in model code to construct larger, more complicated ...
Bartholomew Jardine, Gary M. Raymond, James B. Bassingthwaighte   +2 more
doaj   +1 more source

Semi-automated Modular Program Constructor for physiological modeling: Building cell and organ models [version 3; referees: 2 approved]

F1000Research, 2016
The Modular Program Constructor (MPC) is an open-source Java based modeling utility, built upon JSim's Mathematical Modeling Language (MML) ( http://www.physiome.org/jsim/) that uses directives embedded in model code to construct larger, more complicated
Bartholomew Jardine, Gary M. Raymond, James B. Bassingthwaighte   +2 more
doaj   +1 more source

Implementation of JSON Parsing in Agricultural Productive Learning Applications

Sistemasi: Jurnal Sistem Informasi, 2023
The learning process at SMK Negeri 1 Mootilango is still conventional, in other words that the teaching and learning process between students and teachers can only be carried out with the condition that there are meetings between students and teachers in
Abdul Rahman Ismail, Ifriandi Labolo, Yuni Handayani   +2 more
doaj   +1 more source

Mobile Based Application Design of the Catholic Church of the Redeemer of Sumbawa Using the Waterfall Method

JISA (Jurnal Informatika dan Sains), 2023
The church is a gathering place for Christians to carry out worship. The Sumbawa Redeemer Catholic Church is a church that originates from Sumbawa Besar Regency, West Nusa Tenggara Province. This Catholic Church is the only church in Sumbawa Regency. The
Claudio Orlando De Araujo, Muhammad Zakariyah   +1 more
doaj   +1 more source

Applying Large Language Models to Enhance the Assessment of Java Programming Assignments [PDF]

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Skyler Grandel, Douglas C. Schmidt, Kevin Leach   +2 more
openalex   +2 more sources

Diseño de un módulo de carga de pagos en entidades públicas mediante mensajería con spring framework

Industrial Data, 2012
Las entidades e instituciones públicas en el Perú proveen una gran gama de servicios a los ciudadanos, dentro de los cuales están incluidos aquellos que involucran pagos o transacciones financieras.
Félix Melchor Santos López
doaj   +1 more source

Designed an Inactive Archives Management Information System Using Visual Basic 2010 at The Department of Community Empowerment and Village West Java Province

Journal of Applied Engineering and Technological Science, 2022
In the field of archive depots, the West Java Province Village and Community Empowerment Service offers inactive archive management as one of its services.
Abdurrahman Nur Alfath, Intan Taningngsih, Edi Suharto   +2 more
doaj