Abstract
This chapter presents our experience of knowledge and technology transfer within the context of the DEPLOY project. In particular, we describe some of the challenges that we faced over the course of the project and the decisions that we made, along with their justification. We also summarise the lessons learned and what we would do differently in future technology transfer projects.
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
Abrial, J.-R., Bryans, J., Butler, M., Falampin, J., Hoang, T.-S., Ilic, D., Latvala, T., Rossa, C., Roth, A., Varpaaniemi, K.: JD1 Report on knowledge transfer. DEPLOY deliverable (January 2009). http://www.deploy-project.eu/html/deliverables.html
Abrial, J.-R., Hoang, T.-S., Schmalz, M.: D10.1 Teaching material. DEPLOY deliverable (January 2009). http://www.deploy-project.eu/html/deliverables.html
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods. IEEE Softw. 12(4), 34–41 (1995)
Butler, M., Hoang, T.-S., Iliasov, A., Jones, C., Laibinis, L., Leuschel, M., Nummila, L., Plagge, D., Räsänen, T., Schmalz, M., Snook, C., Wei, W.: D10.4 Report on training experience. DEPLOY deliverable (January 2011). http://www.deploy-project.eu/html/deliverables.html
Event-B.org. Event-B and Rodin documentation wiki. http://wiki.event-b.org
Event-B.org. Event-B and the Rodin platform. http://event-b.org
Hoang, T.-S., Clabaut, M.: D10.2 Design and implementation of the technology transfer platform. DEPLOY deliverable (January 2009). http://www.deploy-project.eu/html/deliverables.html
Hoang, T.-S.: D10.3 Initial port of technology transfer material. DEPLOY deliverable (July 2009). http://www.deploy-project.eu/html/deliverables.html
Jastram, M., Ladenberger, L., Plagge, D., Clark, J.: The Rodin Handbook (2012). http://handbook.event-b.org/
Acknowledgements
We would like to thank Jean-Raymond Abrial for his generosity in providing technology transfer material related to his Event-B book [3]. We also thank Andreas Fürst and Matthias Schmalz for their comments on the early drafts of the chapter.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
Below is a list of the available technology transfer materials.
-
Material related to Abrial’s Book [3] (wiki.event-b.org/index.php/Event-B_Language). The material includes sample chapters of the book, slides and Rodin platform archives of developments corresponding to several chapters of the book.
-
The Rodin Handbook (handbook.event-b.org/). This is an overhauled version of the original Rodin tutorial with additional information about Event-B and the Rodin platform.
-
The Event-B and Rodin documentation wiki (wiki.event-b.org/index.php/Main_Page). The main wikiportal for material related to the Event-B modelling method and the Rodin platform. This is available for both users and developers of Event-B/Rodin. Contributions are made by registered users both inside and outside of the DEPLOY project.
-
Rodin at Sourceforge.net (sourceforge.net/projects/rodin-b-sharp/). The home page of the Rodin platform and plug-ins. Several mailing lists are hosted at sourceforge.net, including the Rodin users’ and the Rodin developers’ mailing lists.
-
Materials for the three-day block course. These are used for the three-day initial training of the DEPLOY partners.
-
Pre-reading material (sent in advance to the attendees): deploy-eprints.ecs.soton.ac.uk/53/
-
Lectures: deploy-eprints.ecs.soton.ac.uk/54/
-
Exercises and solutions: deploy-eprints.ecs.soton.ac.uk/55/
-
Rodin platform archives: deploy-eprints.ecs.soton.ac.uk/56/
More information on this is given in [2].
-
-
The DEPLOY repository. Various training materials are available at http://deploy-eprints.ecs.soton.ac.uk.
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Basin, D., Hoang, T.S. (2013). Technology Transfer. In: Romanovsky, A., Thomas, M. (eds) Industrial Deployment of System Engineering Methods. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33170-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-33170-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33169-5
Online ISBN: 978-3-642-33170-1
eBook Packages: Computer ScienceComputer Science (R0)