Summary
Formal methods, specifications, and languages are used as part of the problem-solving paradigm. This chapter presents basics of these subjects and presenting the progress and advances made until now.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
1.9 References
Tom M. Mitchell. Machine Learning. ISBN 0-07-042807-7.
Hossein Saiedian, Michael G. Hinchey (1996). Challenges in the successful transfer of formal methods technology into industrial applications. Information and Software Technology, Vol. 38 (1996), 313–322.
Robert L. Vienneau (1993). Data & Analysis Center for Software, New York, http://www.dacs.dtic.mil/techs/fmreview/title.html.
Egidio Astesiano, Gianna Reggio (2000). Formalism and method. Theoretical Computer Science, Vol. 236, 3–34.
Robert Kowalski. Logic and Modules. Technical Notes, Department of Computing, Imperial College London, Apr-2005. http://www-lp. doc.ic.ac.uk/UserPages/staff/rak/papers/Modularity.pdf.
F. Javier López-Fraguas, Mario RodrÃguez-Artalejo and Rafael del Vado VÃrseda (2005). Constraint Functional Logic Programming Revisited. Electronic Notes in Theoretical Computer Science, Volume 117, 20 January 2005, Pages 5–50.
Hardegree (2003). Metalogic and Formal Languages. http://people.umass.edu/gmhwww/595/pdf/metatheory/MetaTheory-01-Formal%20Languages%201.pdf.
James K. Huggins, Charles Wallace (2002). An Abstract State Machine Primer. http://www.eecs.umich.edu/gasm/
Georges Mariano (2004). The B Formal Method Bibliography. http://download.gna.org/brillant/docs/B-Bibliography/B-Bibliography.pdf.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Gabbar, H.A. (2006). Fundamentals of Formal Methods. In: Gabbar, H.A. (eds) Modern Formal Methods and Applications. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4223-X_1
Download citation
DOI: https://doi.org/10.1007/1-4020-4223-X_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4222-5
Online ISBN: 978-1-4020-4223-2
eBook Packages: Chemistry and Materials ScienceChemistry and Material Science (R0)