Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis.
Binxian TaoJu QianPublished in: ICSME (2014)
Keyphrases
- concurrent programs
- requirement analysis
- source code
- web applications
- concurrent programming
- process algebra
- programming language
- data warehouse
- model construction
- open source
- data quality
- concurrent processes
- software systems
- formal specification
- software maintenance
- concurrent systems
- asynchronous circuits
- databases
- formal methods
- software evolution
- effort estimation
- object oriented
- high level
- software reuse
- machine learning
- case study
- data analysis
- software development
- petri net