Industrial deployment of system engineering methods providing high dependability and productivity


Items where Year is 2007

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

Razali, R and Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007.

Razali, R and Snook, C. F. and Poppleton, M. R. and Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07).

lecomte, thierry and servat, thierry (2007) Formal Methods in Safety-Critical Railway Systems. In: 10th Brasilian Symposium on Formal Methods, 29-31 August 2007, Ouro Preto (Brazil).

Romanovsky, Alexander (2007) On Exceptions, Exception Handling, Requirements and Software Lifecycle. In: 10th International Symposium on High Assurance Systems Engineering, 14-16 November, 2007, Dallas, Texas.

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

Abrial, Jean-Raymond (2007) Rodin Tutorial. [Teaching Resource] (Unpublished)

Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. (In Press)

This list was generated on Wed Jan 17 07:49:07 2018 GMT.

Deploy-Project - All right reserved