Modeling and Verification of Change Processes in Collaborative Software Engineering.
Thi Thanh Huyen PhanKunihiko HiraishiKoichiro OchimizuPublished in: ICCSA (3) (2013)
Keyphrases
- software engineering
- formal methods
- dynamic aspects
- databases
- software systems
- neural network
- development processes
- programming language
- software development
- formal verification
- reverse engineering
- software development processes
- collaborative environments
- sharing information
- signature verification
- development process
- software architecture
- process model
- collaborative learning
- object oriented
- expert systems
- artificial intelligence
- information retrieval