Results 11 to 20 of about 60,497 (198)
Verification of UML models by translation to UML-B [PDF]
, 2011 UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools ...
Snook, Colin +2 more
core +2 more sources
Implementing Associations: UML 2.0 to Java 5 [PDF]
, 2006 A significant current software engineering problem is the conceptual mismatch between the abstract concept of an association as found in modelling languages such as UML and the lower level expressive facilities available in object-oriented languages such
Howells, Gareth +2 more
core +1 more source
Development of a computer model of an automated psychologist's workplace
Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, 2021 Nowadays, the field of web application development for psychologists and social workers is not sufficiently developed by IT specialists. This is due to the fact that in the period before the COVID-19 pandemic, psychologists had enough personal ...
Олексій Артюх +2 more
doaj +1 more source
Language and tool support for class and state machine refinement in UML-B [PDF]
, 2009 UML-B is a ’UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B.
Snook, Colin +5 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
A Pattern Based Approach to Defining the Dynamic Infrastructure of UML 2.0 [PDF]
The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly “stamping out” the definition using a small number of patterns commonly found in software architecture. The
Willans, James S. +6 more
core +8 more sources
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
Agricultural Economics (AGRICECON), 2010 This contribution deals with the concept of the Enterprise Architecture, the practice that tries to describe and control an organization structure, processes, applications, systems and technology infrastructure, software components, services and roles in
Ivana RÁBOVÁ
doaj +1 more source
Complex Systems Informatics and Modeling Quarterly, 2021 Business Information Systems research deals with the conceptualization, development, introduction, maintenance and utilization of systems for computer-assisted information processing within companies and enterprise-wide networks.
Ben Roelens
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.
Khendek, Ferhat +2 more
core +1 more source