Toward practical application of formal methods in software lifecycle processes

Author

Tokoro, Mario

Abstract

Recent information systems are getting larger and more complex, and are used for a long period of time, continually being modified to meet the unexpected changes of service objectives, users’ requirements, available technologies, standards, and regulations. Such systems usually include externally-developed modules, and are often connected to other systems, which may change occasionally. Thus, today’s software lifecycle processes must be able to cope with such changes.