UML models
The Meaning of UML Models
... verify UML models by deriving a structure from the prescriptive parts (StateMachines, Activities), and formulae from the descriptive parts ...a UML subset with classes and state machines into the ...
205
A Model Transformation Environment for Embedded Control Software Design with Simulink Models and UML Models
... a UML model, in which each object of the generated UML model corresponds each element of the Simulink ...structural models and activity diagrams as behavior ...of UML models generated ...
6
An Overview on Test Case Generation using UML Models
... A discussion on the core test processes related approaches, which emerged during the last decade, has been covered in this paper. The test cases extraction and the test data generation being the main building blocks in ...
6
Object Oriented Query Response Time for UML Models
... The Query Response Time (QRT) system is modeled with the help of UML class concept. The QRT system contains the six major classes with their major attributes as shown in Figure 1 below. In the present work, the ...
5
A SOFTWARE TESTING APPROACH BASED ON BEHAVIORAL UML MODELS
... Many researches were done to ensure the correct software object functionality, however a large amount of errors are introduced by object integration. Many different UML models have been used for object ...
6
Property specification and static verification of UML models
... of UML models, given their simplicity and high level of abstraction, provides a great opportunity for the application of formal methods and automated veri- fication ...of UML models and formal ...
9
Detecting Inconsistences in Multi-view UML Models
... multi-view UML models can be major obstacles to the quality and productivity of software ...multi-view UML models through design metrics; (ii) detection of syntactic and semantic ...
5
An Approach to Building Object Models with UML in Embedded Systems
... the UML models used in our approach, namely, the use cases models, the UML statechart with its extension for rep- resenting the embedded systems behavior, and the object model with the object ...
13
UML B: Formal modelling and design aided by UML
... that UML is established, work is underway to provide a stronger semantic underpinning for its next version, ...of UML models. A key feature of UML is its extensibility mechanisms, which allow ...
32
5- System modelling - 2
... The PIM is usually described using UML models that show the static system structure and how it responds to external and internal events. Platform specific models (PSM)[r] ...
19
A Method for Calculating Acknowledged Project Effort Using a Quality Index
... Figure 1 shows the proposed method for calculating the acknowledged effort. In the analysis phase the project size and effort are calculated based on the UML models and projects chara[r] ...
6
Volume 8: ERCIM Symposium on Software Evolution 2007
... Many different tools for graph transformation exist. They all have their own specific reason of existence, and can be considered to be complementary in some sense. We already mentioned the PROGRES [SAZ99] and Fujaba tool ...
16
An enhanced UML consistency checker using logical approach
... between UML diagrams. However, limitations such as huge complexity of the UML that contains different notations, different types of diagram for different view of a system and lack of UML syntax and ...
51
A UML-based static verification framework for security
... The automatic verification of UMLsec models, de- scribed in [16, 15], is the most thorough work on model checking security requirements of UML models using Spin. The Spin translation used in this ...
24
Integrating Performance Characterization with Software Development
... that UML is gaining more consensus as the de facto modeling framework used by most software engineers, more emphasis has been given to transforming UML system models into their corresponding ...
6
A Study of Conceptual Data Modelling in the Era of Big Data: A Case of Zambia
... The paper “A modelling methodology for NoSQL key-value databases” by Gerardo Rossel and Andrea Manna explained how to present entities of conceptual by using the concepts of datasets. In their paper, the authors claimed ...
8
A Policy-driven Approach to Dynamic Composition of Authentication and Authorization Patterns and Services
... of security is achieved. There are altogether too many examples illustrating that depending on choices at each of these layers, the actual implementation can be flawed. One example of this is the Microsoft ...
14
Integration of Organisational Models and UML Use Case
... Before we go to the discussion of changes in softgoals in i* models, we propose an extension to earlier work [12], [13]. We view softgoals as optimization goals where there is no way of actually specifying whether ...
17
12 Steps To Startup.pdf
... To find out if your business idea has a chance of succeeding in the marketplace and to help you create an effective marketing plan, you'll need to do more than just answer the questions [r] ...
10
201 best questions to ask on your interview.pdf
... Asking just the right questions is your chance to demonstrate that you are the best candidate for the job by communicating five different im- pressions:.. • Interest.[r] ...
222