Results 1 to 10 of about 428 (125)
Automated project scheduling from UML sequence diagrams using OCR and critical path analysis [PDF]
Scientific ReportsThis paper introduces a novel automated framework aimed at bridging the gap between software design documentation and practical project management schedules.
Abdulrahman Alyami +3 more
doaj +2 more sources
UCLAONT: Ontology-Based UML Class Models Verification Tool
Applied Sciences, 2022 The software design model performs an important role in modern software engineering methods. Especially in Model-Driven Engineering (MDE), it is treated as an essential asset of software development; even programming language code is produced by the ...
Adel Rajab +6 more
doaj +1 more source
Automated dependability analysis of UML designs [PDF]
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702), 2003 This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement,
BONDAVALLI, ANDREA, I. Majzik, I. Mura
openaire +3 more sources
Automatic dependability analysis for supporting design decisions in UML [PDF]
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, 2003 Even though a thorough system specification improves the quality of the design, it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we present an application example of one of the activities performed in the European ESPRIT project HIDE, aiming at the creation of an integrated environment where ...
BONDAVALLI, ANDREA, I. Majzik, I. Mura
openaire +3 more sources
Quantitative Analysis of UML Statechart Models of Dependable Systems [PDF]
The Computer Journal, 2002 Summary: The paper introduces a method which allows quantitative dependability analysis of systems modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRNs).
Huszerl, Gábor +4 more
openaire +2 more sources
Dependability Modeling and Assessment in UML-Based Software Development [PDF]
The Scientific World Journal, 2012 Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the ...
Simona Bernardi +2 more
openaire +3 more sources
Requirements Association Extraction based on Use Cases Diagram
Lontar Komputer, 2018 Requirements are the initial step in the software development process. It is very important to ensure the association (relationship) of requirements and high quality of specification as more than three-quarters failure of software derives from the ...
Peter Gelu +2 more
doaj +1 more source
Heuristics for the Identification of Class Integration Order in Object-Oriented Software Testing
CLEI Electronic Journal, 2008 Dependency cycles among components (classes) represent a practical challenge when identifying the class integration order in object-oriented software testing.
Gladys Machado Pereira +2 more
doaj +1 more source
Dependability modeling and analysis of software systems specified with UML [PDF]
ACM Computing Surveys, 2012 The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the literature published in the last decade, 33 approaches presented in 43 papers were identified.
Simona Bernardi +2 more
openaire +1 more source
Quantitative analysis of dependability critical systems based on UML statechart models [PDF]
Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), 2002 The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition ...
H. Gabor, M. Istvan
openaire +1 more source