A feasibility proof of semi-automated software integration.
Mikhail KazakovPublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- semi automated
- fully automated
- software development
- software systems
- computer systems
- software architecture
- configuration management
- source code
- software tools
- fully automatic
- software quality
- theorem proving
- software design
- development process
- software package
- linear logic
- capability maturity model
- information integration
- personal computer
- genetic algorithm
- data integration
- operating system
- data warehouse
- case study
- information systems