Abstract
About 30 years in the past, numerous items and devices were required for the equivalent functionality to what a smartphone offers today: a telephone, an address book, a map, a photo album, an analog camera, board or card games, a radio, newspapers and journals, a notepad, a calculator, an alarm clock. Today, a single device which can be carried in a pocket offers all this and more.
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
References
Bailey, B., Martin, G., Piziali, A.: ESL Design and Verification: A Prescription for Electronic System Level Methodology. Morgan Kaufmann, Elsevier (2007)
IEEE Standard SystemC Language Reference Manual. IEEE Computer Society (2006)
Drechsler, R., Soeken, M., Wille, R.: Formal specification level: towards verification-driven design based on natural language processing. In: Forum on specfication and Design Languages, pp. 53–58 (2012)
Soeken, M., Drechsler, R.: Formal Specification Level. Springer, Heidelberg (2014)
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency problems in UML-based software development. In: UML2004 Satellite Activities (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
Seiter, J., Wille, R., Drechsler, R. (2017). Introduction. In: Automatic Methods for the Refinement of System Models. SpringerBriefs in Electrical and Computer Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-41480-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-41480-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41479-9
Online ISBN: 978-3-319-41480-5
eBook Packages: EngineeringEngineering (R0)