Distributed systems for software engineering: Non-traditional approach

摘要

Often software engineering is considered in distributed systems (Grid and cloud computing) context as a serving part. In this presentation opposite point of view is presented - to consider software engineering as a client, and to use distributed computing power to solve particular software engineering problems. It is argued that software engineering has several areas where the big amount of the computations is required: formal methods for software synthesis from the services, formal methods for the software verification, model checking etc. The conceptual framework for software synthesis using distributed computing is presented as an example of feasibility of proposed idea.