Results 11 to 20 of about 193,599 (260)
Umanistica Digitale, 2023 This paper presents the results of the modelling and analysis of the reading process within the Italian publishing house Einaudi after the Second World War, with a special focus on Natalia Ginzburg (1916-1991).
Laura Antonietti
doaj +1 more source
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
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
Reliability prediction in model driven development [PDF]
, 2005 Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development.
Rodrigues, G.N. +2 more
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
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
Interpreting the Object Constraint Language [PDF]
, 1998 The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML.
Hamie, Ali, Howse, John, Kent, Stuart
core +2 more sources
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
Translating standard process models to BPEL [PDF]
, 2006 Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation language, namely BPEL, and two fundamentally similar process modelling ...
B. Kiepuszewski +7 more
core +2 more sources