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.
