Meta-Modelling for Formal Software Development.
Ashok SreenivasR. VenkateshMathai JosephPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- software development
- meta level
- software engineering
- software systems
- cost estimation
- software projects
- software developers
- software testing
- case study
- effort estimation
- development process
- formal model
- development lifecycle
- development effort
- formal methods
- software maintenance
- software evolution
- software architecture
- query optimization
- description logics
- agile software development
- extreme programming
- information technology