Formal and use-case driven requirement analysis in UML
Li, X., Liu, Z., He, J.
Published in Proceedings - International Computer Software & Applications Conference (2001)
Published in Proceedings - International Computer Software & Applications Conference (2001)
Get full text
Conference Proceeding
Journal Article
Formalization of software testing criteria using the Z notation
Vilkomir, S.A., Bowen, J.P.
Published in Proceedings - International Computer Software & Applications Conference (2001)
Published in Proceedings - International Computer Software & Applications Conference (2001)
Get full text
Conference Proceeding
Journal Article