Verifying contracts among software components: An ontology-based approach.
Francisco Edgar Castillo-BarreraHector A. Duran-LimonPublished in: Inf. Softw. Technol. (2023)
Keyphrases
- software components
- software systems
- software development
- software reuse
- building blocks
- software modules
- supply chain
- web services
- commercial off the shelf
- model checking
- development environments
- java programs
- databases
- information systems
- component based architecture
- database
- decision making
- artificial intelligence
- data sets