skip to main content
10.1145/1479772.1479795acmconferencesArticle/Chapter ViewAbstractPublication PagessereneConference Proceedingsconference-collections
research-article

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability

Published: 17 November 2008 Publication History

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]
A. Avizienis, J.-C. Laprie, B. Randell, C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing, 1, 1, 2004

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
November 2008
133 pages
ISBN:9781605582757
DOI:10.1145/1479772
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 November 2008

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Funding Sources

Conference

SERENE '08
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 123
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 01 Mar 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media