The process of developing big information systems is less effective and more resource consuming than software developers expect. The most widely disseminated software engineering methods and tools applied through the life cycle of this process are characterised with a low level of process automation, insufficient component reusability and dissatisfactory final product flexibility. The efficiency of the software development process can be improved with the application of hi-tech IT instruments as: (1) non-formal business model specifications, (2) automated verification and modification of the...