Experience Using Formal Methods for Capturing Requirements of Web-Based Applications

Abdesselam Redouane. Experience Using Formal Methods for Capturing Requirements of Web-Based Applications. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. pages 213-221, IEEE Computer Society, 2002. [doi]

Authors

Abdesselam Redouane

This author has not been identified. Look up 'Abdesselam Redouane' in Google