Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 48 for “"modelling language"”.
-
A meta-modelling language definition for specific domain
… technologies and methods, Domain-Specific Modelling is suggested in the thesis as a Model Driven method to better realise the potential of Model-Driven Software Development. Domain-specific modelling methods can be successfully applied to actual software development projects, which need a …
-
Evolution of batch-oriented COBOL systems into object-oriented systems through unified modelling language.
… as batch-oriented or real-time), programming language source code, and many other factors. Furthermore, many of these legacy systems have missing or obsolete documentation which makes it difficult for developers to re-develop the system to meet any new functionality. Moreover, the high cost of …
-
Engineering of transparency requirements in business information systems
… system. Second, this thesis proposes a modelling language for modelling and analysing transparency requirements amongst stakeholders in a business information system. This modelling language is based on the proposed four reference models for transparency. Third, this thesis proposes a …
-
Model driven software modernisation
… foundation is the construction of a WSL-based Modelling Language, known as WML, which is an extension of WSL (Wide Spectrum Language). WML is defined to provide a spectrum of models for the system re-engineering, including Common Modelling Language (CML), Architecture Description Language (ADL) …
-
Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
Unified Modelling Language (UML) is the most popular modelling language use for software design in software development industries with a class diagram being the most frequently use diagram. Despite the popularity of UML, it is being affected by inconsistency problems of its diagrams at the same or …
-
Design Methodology for Rich Web-based Applications
… to cater to the RiWAs’ specificity. The Unified Modelling Language (UML) is the de facto standard General-Purpose Modelling Language (GPML). There are UML-based or UML-like designing languages available, like Arc42, SAP’s TAM and OOA/OOM, ArchiMate, and SysML, where some, like the C4 model, UWE, …
-
Design Methodology for Rich Web-based Applications
… to cater to the RiWAs’ specificity. The Unified Modelling Language (UML) is the de facto standard General-Purpose Modelling Language (GPML). There are UML-based or UML-like designing languages available, like Arc42, SAP’s TAM and OOA/OOM, ArchiMate, and SysML, where some, like the C4 model, UWE, …
-
Information systems framework for enterprise agility
… or processes should include techniques for modelling enterprises changes explicitly, so as to enhance the understanding of how changes relate to or affect enterprises. In addition, there should be techniques for deriving the elements of an enterprise, e.g., business process and data …
-
Categorizing Non-Functional Requirements Using a Hierarchy in UML.
… of 161 NFRs is diagrammed using the Unified Modelling Language, forming a tool with which developers may more easily identify and write additional NFRs. Third, a lesson plan is presented, a learning module intended for an undergraduate software engineering curriculum. The results of …
-
Subtyping in alloy
A type system for the Alloy modelling language is described that supports subtypes and allows overloading of relation names. No special syntactic features needed to be added to the language to support the type system; there are no casts, and the meaning of a model can be understood without …
-
STS: a Security Requirements Engineering methodology for socio-technical Systems
… are specified — using the STS-ml requirements modelling language — as social contracts that constrain the social interactions and the responsibilities of the actors in the socio-technical system. A particular feature of STS-ml is that it clearly distinguishes information from its representation …
-
A Model-Driven Architecture based Evolution Method and Its Application in An Electronic Learning System
… and education pedagogical knowledge. Unified Modelling Language (UML) and Unified Modelling Language Profile are hired to represent the information of software system from different aspects. This study can be divided into three main parts: MDA-based evolution method and approach research, …
-
Modelling evolving clinical practice guidelines: a case of Malawi
… budgets. This study proposed that a CIG modelling language that considers CPG change requirements in their representation models could enable semi-automated support of CPG change operations thereby reducing the burden of maintaining CIGs. Characteristics of CPG changes were investigated …
-
Translating alloy using Boolean circuits
Alloy is a automatically analyzable modelling language based on first-order logic. An Alloy model can be translated into a Boolean formula whose satisfying assignments correspond to instances in the model. Currently, the translation procedure mechanically converts each piece of the Alloy model …
-
Finding bugs in software with a constraint solver
… and is fully automatic. It is based on the Alloy modelling language and analyzer. The method relies on a three-step translation: from code to a formula in Alloy, which is a first-order relational logic, then to a propositional formula, and finally to conjunctive normal form. An off-the-shelf SAT …
-
Structures and Processes for Managing Model-Metamodel Co-evolution
… background compilation. Increasingly, models and modelling languages are first-class citizens in software development. Model-Driven Engineering (MDE), a state-of-the-art approach to software engineering, prescribes the use of models throughout the software engineering process. In MDE, modelling …
-
Strategies for Optimising DRAM Repair
… redundancy analysis algorithms. Included are: a modelling language describing the redundant structures (including the restrictions and interdependencies placed upon their use), algorithms manipulating this model to generate redundancy analysis algorithms, and methods for translating those …
-
Engineering motivation requirements in business information systems.
… series of empirical studies and proposes a novel modelling framework which enables capturing Digital Motivation as an integral part of the organisational and social structure of a business. This modelling framework provides a tool which utilises the generated models to perform analysis that …
-
Methoden, Daten- und Prozessmodell für das Ersatzteilmanagement in der Automobilelektronik
… wird die Unified Modelling Language (UML) in Kombination mit dem ARIS-Unternehmensmodell nach Scheer eingesetzt. Die Praxisrelevanz wird an einem durchgängigem Fallbeispiel nachgewiesen.
Page 1 of 3