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.
Keywords
- Software Engineer
- Formal Method
- Science Laboratory
- Formal Language
- Programming Technique
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tokoro, M. (2012). Toward Practical Application of Formal Methods in Software Lifecycle Processes. In: Aoki, T., Taguchi, K. (eds) Formal Methods and Software Engineering. ICFEM 2012. Lecture Notes in Computer Science, vol 7635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34281-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-34281-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34280-6
Online ISBN: 978-3-642-34281-3
eBook Packages: Computer ScienceComputer Science (R0)
