Your search returned 2 results.

Sort
Results
Computer-Aided Formalization of Requirements Based on Patterns by
  • Wang, X. L
  • liu, Shaoying
Source: IEICE Transactions on Information and Systems
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Sofl a Formal Engineering Methodlogy for Industrial Applications by
  • liu, Shaoying
  • Offutt, Jeff
  • Sun, Yong
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages