Industrial deployment of system engineering methods providing high dependability and productivity

 

Items where Subject is "Industrial Deployment > Other"

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 9.

Deprez, Jean-Christophe and Ponsard, Christophe and Fitzgerald, John S. (2011) A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: FM2011 / Industry Day, 20-24 June 2011, Limerick (Ireland).

Ponsard, Christophe and Deprez, Jean-Christophe (2011) Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods. In: FM2011, 20-24 June 2011, Limerick (Ireland).

Bryans, Jeremy W. and Fitzgerald, John S. and McCutcheon, Tom (2011) Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations. In: PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES, 17-19 October, Sao Paulo, Brazil. (Submitted)

Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive]

Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer.

Fitzgerald, John S and Bryans, Jeremy W and Greathead, David and Jones, Clifff B and Payne, Richard (2008) Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. Electronic Workshops in Computing, http:/ .

Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. [Rodin Archive] (In Press)

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

This list was generated on Wed Dec 13 07:49:04 2017 GMT.

Deploy-Project - All right reserved