Currently browsing: Items authored or edited by Zhi Li

7 items in this list.
Generated on Sun Jun 23 02:56:41 2024 BST.

Journal ItemTo Top

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

Conference or Workshop ItemTo Top

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 Apr 2011, Rio de Janeiro-RJ, Brasil, Editora PUC-Rio.

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, Shanghai, China.

Li, Zhi; Hall, J. G. and Rapanotti, L. (2004). Reasoning about decomposing and recomposing problem frame developments: a case study. In: Proceedings of WebNet 2001 - World Conference on the WWW and Internet (Lawrence-Fowler, Wendy and Hasebrook, Joachim eds.), AACE.

OtherTo Top

Li, Zhi; Hall, Jon G. and Rapanotti, Lucia (2004). A Constructive Approach to Problem Frame Semantics. Technical Report 2004/26; Department of Computing, The Open University.


Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0