In *Computer and Information Technology (ICCIT), 2013 16th International Conference on*, pages 7-12, March, 2014.

doi bibtex

doi bibtex

@INPROCEEDINGS{6997367, author={A. U. Gias and M. R. Tabassum and A. S. Ami and A. Imran and M. Ibrahim and R. Rahman and K. Sakib}, booktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on}, title={A formal approach to verify software scalability requirements using set theory and Hoare triple}, year={2014}, pages={7-12}, keywords={program verification;set theory;software quality;Hoare triple;caching;code level;code quality measurement;code segment;data compression;execution environment;formal approach;performance fulfillment measurement;real life online ticketing system;response time;set notations;set theory;software scalability requirements verification;user needs;user requests;variation handling;workload variation;Computers;Data compression;Information technology;Scalability;Servers;Set theory;Time factors;Formal Method;Hoare Triple;Set Theory;Software Scalability;Verification}, doi={10.1109/ICCITechn.2014.6997367}, month={March},}

Downloads: 0