UML-F: A Modeling Language for Object-Oriented Frameworks [PDF]
, 2014 The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points.
Fontoura, Marcus +2 more
core +1 more source
Using formal metamodels to check consistency of functional views in information systems specification [PDF]
, 2008 UML notations require adaptation for applications such as Information Systems (IS). Thus we have defined IS-UML. The purpose of this article is twofold. First, we propose an extension to this language to deal with functional aspects of IS.
Laleau, Regine, Polack, Fiona
core +2 more sources
Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
, 2014 Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.
Júnior, Valdivino Alexandre de Santiago +2 more
core +2 more sources
Incremental UML for Agile development: embedding UML class models in source code [PDF]
, 2017 Agile methods favor "working software over comprehensive documentation." The latter presumably includes Unified Modeling Language. UML is expensive to maintain, and it lacks good drill-down mechanisms, however, UML affords very useful visualizations ...
Braude, Eric J.
core +1 more source
Perancangan Sistem Informasi Perpustakaan Berbasis Desktop Pada Kantor Pengadilan Agama Palopo
Patria Artha Technological Journal, 2022 The Palopo Religious Court is one of the agencies located in the city of Palopo that is of a special judicial nature, which is authorized in certain types of islamic civil cases, only for people who are Muslims. The Palopo Religious Court, which is based
Hardiana Hardiana, Akramunisa Akramunisa
doaj +1 more source
A Combined Component-Based Approach for the Design of Distributed Software Systems [PDF]
, 2001 Component-based software development enables the construction of software artefacts by assembling binary units of production, distribution and deployment, the so-called components.
Ferreira Pires, L. +3 more
core +3 more sources
TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
APLIKASI PEMBELAJARAN CLASS DIAGRAM BERBASIS WEB UNTUK PENDIDIKAN REKAYASA PERANGKAT LUNAK
Simetris: Jurnal Teknik Mesin, Elektro dan Ilmu Komputer, 2020 Tahapan pembangunan perangkat lunak atau lebih dikenal dengan istilah SDLC (Software Development Life Cycle) memiliki beberapa tahapan termasuk tahapan analisis.
Egia Rosi Subhiyakto, Yani Parti Astuti
doaj +1 more source
Designing and Building Client-Server Based Student Admission Applications
Buana Information Technology and Computer Sciences, 2020 Admission of New Students is a routine activity organized by the Educational Institution. Early Childhood Education (PAUD) is included in out-of-school education in the age range of two to five years, the goal is to help improve physical and spiritual ...
Arip Solehudin +2 more
doaj +1 more source
An Institutional Framework for Heterogeneous Formal Development in UML [PDF]
, 2014 We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different
A. Boronat +19 more
core +2 more sources