A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems.
Raida ElmansouriSaid MeghziliAllaoua ChaouiPublished in: Comput. Sci. (2021)
Keyphrases
- software systems
- uml activity diagrams
- software engineering
- source code
- software design
- metamodel
- software development
- software maintenance
- software architecture
- constraint satisfaction problems
- software quality
- software components
- software engineers
- design patterns
- multi agent systems
- artificial intelligence
- software testing
- software evolution
- object oriented systems
- clone detection
- software projects
- software developers
- model checking
- modeling language
- np hard
- object oriented