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. © 2012 Springer-Verlag.
CITATION STYLE
Tokoro, M. (2012). Toward practical application of formal methods in software lifecycle processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7635 LNCS, p. 1). https://doi.org/10.1007/978-3-642-34281-3_1
Mendeley helps you to discover research relevant for your work.