Items where Subject is "Tool developments > Code generation"

Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: Tasking Event-B. In: Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm. (In Press)

Edmunds, Andrew and Butler, Michael and Maamria, Issam and Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. In: ABZ 2012, 19-21 June 2012, Pisa, Italy. (In Press)

Lovell, Chris and Edmunds, Andy and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Ensuring Extensibility within Code Generation. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished)

Edmunds, Andrew and Lovell, Chris and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Tooling: Code Generation Update. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished)

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. (In Press)

Iliasov, Alexei (2011) Generation of certifiably correct programs from formal models. In: 1st Int. Workshop on Software Certification. At the 22nd Int. Symposium on Software Reliability Engineering (ISSRE 2011). , November 30, 2011, Hiroshima, Japan.

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)

Iliasov, Alexei (2009) On Event-B and Control Flow. DEPLOY Project. (Unpublished)

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

Edmunds, Andrew and Colley, John and Butler, Michael Building on the DEPLOY legacy: code generation and simulation. In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .

Edmunds, Andrew and Butler, Michael Presentation Slides - Tasking Event-B for Code Generation. In: Deploy Plenary Meeting, October 2010, Zurich. (Unpublished)