The Open UniversitySkip to content
 

Items Authored or Edited by Zhi Li

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | Authors/Editors/Creators | No Grouping
Jump to: 2011 | 2006 | 2004
Number of items: 5.

2011

Li, Zhi; Hall, Jon and Rapanotti, Lucia (2011). On the construction of specifications from requirements. In: Proceedings of the 14th Workshop on Requirements Engineering, 28-29 April 2011, Rio de Janeiro-RJ, Brasil, Editora PUC-Rio.

2006

Rapanotti, L.; Hall, J. G. and Li, Z. (2006). Deriving specifications from requirements through problem reduction. IEE Proceedings: Software, 153(5) pp. 183–198.

Rapanotti, Lucia; Hall, Jon and Li, Zhi (2006). Problem Reduction: a systematic technique for deriving Specifications from Requirements. IEE Proceedings: Software, 153(5) pp. 183–198.

Li, Zhi; Hall, Jon and Rapanotti, Lucia (2006). From requirements to specification: a formal perspective. In: 2nd International Workshop on Advances and Applications of Problem Frames, 23 May 2006, Shaghai, China.

2004

Li, Zhi; Hall, J. G. and Rapanotti, L. (2004). Reasoning about decomposing and recomposing problem frame developments: a case study. In: 1st International Workshop on Advances and Applications of Problem Frames, 2004, Edinburgh, Scotland, AACE.

This list was generated on Tue Oct 21 12:17:14 2014 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk