Formal semantics and verification of use case maps
Common to most software development processes is that system functionalities are defined early in the life cycle in terms of informal requirements and visual models. As requirement descriptions evolve, they quickly become error-prone and difficult to understand leading to prolonged detrimental effec...
Main Author: | |
---|---|
Format: | Others |
Published: |
2008
|
Online Access: | http://spectrum.library.concordia.ca/975831/1/NR37746.pdf Hassine, Jameleddine <http://spectrum.library.concordia.ca/view/creators/Hassine=3AJameleddine=3A=3A.html> (2008) Formal semantics and verification of use case maps. PhD thesis, Concordia University. |