Formally modeling and verifying a software component retrieval system using mCRL2.

Nisha Pal Dharmendra Kumar Yadav

Published in: Int. J. Syst. Assur. Eng. Manag. (2023)

Keyphrases

software components
software reuse
neural network
information retrieval
retrieval systems
software development
building blocks
user interface
information retrieval systems
recommender systems
software systems
life cycle
development process
retrieval method
design rationale