Abstract
Before we go into the details of the formalisms which we propose for modelling some classes of real-time and hybrid systems, we describe the role we give to formal methods in software engineering and some relevant features of formal methods which seem especially useful to us. This partly is an elaboration of ideas first developed by the author in [Rus94]. This discussion will present the context for the results described later, and it will be used to derive some desiderata for the formalism to be used according to our understanding of formal methods.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rust, H. (2005). Context: Formal Methods in Software Engineering. In: Operational Semantics for Timed Systems. Lecture Notes in Computer Science, vol 3456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32008-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-32008-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25576-5
Online ISBN: 978-3-540-32008-1
eBook Packages: Computer ScienceComputer Science (R0)