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 143 for “"uml"”.
-
Developing VDM ++ operations from UML diagrams
The Unified Modelling Language (UML) is widely accepted as the standard notationfor Object-Oriented methods. However, one of its major problem is itslack of formal semantics. The development of the Object Constraints Language(OCL) in the last few years seems to be the answer to this problem, but …
-
A systematic approach to testing UML designs
… created using the Unified Modeling Language (UML). Executable forms of UML design models are exercised using generated test inputs that provide coverage with respect to UML-based coverage criteria. The UML designs that are tested consist of class diagrams, sequence diagrams and activity …
-
Automating component-based testing from UML models
… tested in an automated fashion with the help of UML models. First, these objects should be modeled in UML, using certain extensions and modeling conventions. Then, an automated software-testing program can read the UML diagrams and generate testing scripts which drive the components …
-
Pavement permit system infrastructure : UML based design
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2001.
-
Aesthetics and automatic layout of UML class diagrams
… language, the Unified Modeling Language (UML) was a reason for this tendency. Unfortunately, various problems exist in concrete realizations of tools, e.g. due to a missing compliance to the standard. One problem is the automatic layout, which is required for a consistent automatic …
-
Methodology of refinement and decomposition in UML-B
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. In Event-B, refinement is used to relate system models at …
-
Architecture-level risk assessment tool based on UML specification
… obtained from Unified Modeling Language (UML) artifacts [4], ARAT can be used in the design phase of the software development process to improve the quality of the software product. A paper which demonstrates this tool is also published [19].
-
Scenario-based verification and validation of dynamic UML specifications
The Unified Modeling Language (UML) is the result of the unification process of earlier object oriented models and notations. Verification and validation (V&V) tasks, as applied to UML specifications, enable early detection of analysis and design flaws prior to implementation. In this work, we …
-
Large-scale database modeling: Extended Er diagrams and Uml
… Entity Relationship diagram is developed using UML notation to describe the design of the database. Special attention was given for features of EER diagram which can not easily be represented by ER diagram.
-
Categorizing Non-Functional Requirements Using a Hierarchy in UML.
<p>Non-functional requirements (NFRs) are a subset of requirements, the means by which software system developers and clients communicate about the functionality of the system to be built. This paper has three main parts: first, an overview of how non-functional requirements relate to software …
-
A scenario-based technique to analyze UML design class models
… technique is proposed to rigorously analyze UML design class models that include operations specified using the Object Constraint Language (OCL). A UML design class model is analyzed against a given set of scenarios that describe desired or undesired behaviors. The technique can leverage …
-
Early component-based reliability assessment using UML based software models
… uses Rational Rose Unified Modeling Language (UML) diagrams to predict the reliability of component-based software. ECRA provides the user with an easy interface to annotate the UML diagrams and uses a Bayesian algorithm to predict the system reliability. This thesis presents the methodology of …
-
Model driven security from UML models to access control architectures
… of this schema, which combine different <br>UML modeling languages with a security modeling language for formalizing <br>access control requirements. From models in these languages, we automatically <br>generate access control architectures for distributed applications. The <br>modeling …
-
Rose-GRC translator : mapping UML visual models onto formal specifications
… components to be constructed graphically using UML notation in the Rose environment, and maps them to a formal notation, which can be subjected to a rigorous analysis, such as validation and verification, prior to committing to an implementation. The mapping is implemented by a translator using …
-
Generating UML class diagram from source codes using multi-threading technique
… that describe the implemented software. The UML class diagram represent a valuable source of information even after the delivery of the software. Class diagram extraction can be done either from software’s source code, or from the executable file. In the case of source code, a review of the …
-
Combat System Modeling:Modeling Large-Scale Software and Hardware Application Using UML
… manner. The Unified Modeling Language (UML), an Object Management Group's (OMG) standard, is a graphical modeling language used for specifying, visualizing, constructing, and documenting software intensive artifacts. UML, which has been accepted as an industry standard in November 1997, …
Page 1 of 8