Results (6)
Search Parameters:
Keyword: UML
SEA: An UML Profile for Software Evolution Analysis in Design Phase
Software evolution is one of the software process activities that occupies a major percentage of software development cost. Since requirements change continually and new technologies emerge, software should be adapted to satisfy these new changes to continue to survive. Despite software evolution being performed after software validation and deployment, software developers should predict at earlier…
Read More A Novel Way to Design ADS-B using UML and TLA+ with Security as a Focus
Automatic Dependent Surveillance-Broadcast (ADS-B) is the future of aviation. It is a vast system that provides situational awareness for the aviator and regulator at a very low cost and does so with the aid of multiple disparate systems working closely together and communicating with one another. ADS-B uses the Global Navigation Satellite System (GNSS/ GPS)…
Read More Integrated GIS-SUE Map Cost Estimation System Prototype for Designing a Decision Support System
Subsurface Utility Engineering (SUE) is an international model for mapping and classifying underground surfaces according to their accuracy (acquisition method). Utilizing Geographic Information System (GIS) to map and present the SUE levels paved the way for producing a new Decision Support System (DSS) for the utility mapping process. The proposed system represents an efficient tool…
Read More Using Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Formal methods are one of the efficient tools to verify and validate designs for different kinds of systems. Smart systems are attracting researchers’ attention due to the rapid spread of new technologies all over the world. Modeling a smart system requires connecting heterogeneous subsystems together to build it. Our contribution to this work is in…
Read More On the Use of Triple Graph Grammars for Model Composition
In the software engineering research, several works focus on advantages of multi-modeling, which facilitate modeling a system by separating of concerns. The Model Driven Engineering approach relies on model to design software artefacts during the software development lifecycle. Handling such models involves describing some model management operators like ‘ composition ‘. That is an operation…
Read More A Formal Ontology-based Framework Towards an Intelligent Temporal Scheduler
Time scheduling as seen in timetabling processes with few and/or competing resources has exposed complex interoperable time scheduling. Attempts to resolving these time scheduling processes has been undertaken, using several classical methods, with difficulty due to inherent complexities, constraints and conflicting issues. The use of ontology-based approaches to resolve time complexity is recently adopted due…
Read More