Cited By
View all- Romanovsky A(2012)Deployment of formal methods in industryACM SIGSOFT Software Engineering Notes10.1145/2347696.234771037:5(1-4)Online publication date: 2-Sep-2012
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
Pages 1 - 3
Abstract
The work of the new FP7 ICT DEPLOY Integrated Project (February 2008 -- January 2012) [1] is driven by the tasks of achieving and evaluating industrial take-up, initially by DEPLOY industrial partners, of DEPLOY methods and tools, together with the necessary further research on methods and tools.
References
[1]
FP-7 DEPLOY: Industrial deployment of advanced system engineering methods for high productivity and dependability. ICT-214158. http://deploy-project.eu
[2]
FP6 STREP RODIN project on Rigorous Open Development Environment for Complex Systems http://rodin.cs.ncl.ac.uk/
[3]
Event-B and the Rodin Platform. http://www.event-b.org/
[4]
Avizienis, A., Laprie, J.-C., Randell, B., and Landwehr, C. E. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing, 1, 1, 2004.
Index Terms
- DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
Recommendations
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project
The work of the major EU-funded ICT DEPLOY Integrated Project (February 2008 -- April 2012) on Industrial Deployment of Advanced\ System Engineering Methods for High Productivity and Dependability [1] was driven by the tasks of achieving and evaluating ...
Towards the Composition of Specifications in Event-B
The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2008 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 31 October 2008
Published in SIGSOFT Volume 33, Issue 6
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 100Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 22 Dec 2024
Other Metrics
Citations
Cited By
View all- Romanovsky A(2012)Deployment of formal methods in industryACM SIGSOFT Software Engineering Notes10.1145/2347696.234771037:5(1-4)Online publication date: 2-Sep-2012
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in