Verifying goal-oriented specifications used in model-driven development processes.
Giovanni GiachettiBeatriz MarínLidia LópezXavier FranchOscar PastorPublished in: Inf. Syst. (2017)
Keyphrases
- goal oriented
- model driven
- development processes
- metamodel
- development process
- life cycle
- software systems
- model driven development
- software engineering
- data model
- black box
- data driven
- requirements analysis
- design patterns
- requirements engineering
- model checking
- software development
- data integration
- information systems
- design process
- data analysis
- high level
- service oriented
- educational games
- artificial intelligence
- systems development
- data mining
- case study
- data sources
- metadata
- data sets