Formal engineering for industrial software development 并列题名：Formal engineering for industrial software development Engineering for sustainable development new strategies for industrial reform and development reducing friction in software development Social engineering philosophy and the idea of innovative development Professional software development Technical basics of engineering applied software development GIS software engineering theory and application development 201 principles of software development