{"_id":"kgwj68fN5WveCWjTg","bibbaseid":"gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014","downloads":0,"creationDate":"2016-04-17T15:49:40.188Z","title":"A formal approach to verify software scalability requirements using set theory and Hoare triple","author_short":["Gias, A. U.","Tabassum, M. R.","Ami, A. S.","Imran, A.","Ibrahim, M.","Rahman, R.","Sakib, K."],"year":2014,"bibtype":"inproceedings","biburl":"lordamit.github.io/files/mypubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["A.","U."],"propositions":[],"lastnames":["Gias"],"suffixes":[]},{"firstnames":["M.","R."],"propositions":[],"lastnames":["Tabassum"],"suffixes":[]},{"firstnames":["A.","S."],"propositions":[],"lastnames":["Ami"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Imran"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Ibrahim"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Rahman"],"suffixes":[]},{"firstnames":["K."],"propositions":[],"lastnames":["Sakib"],"suffixes":[]}],"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","bibtex":"@INPROCEEDINGS{6997367,\nauthor={A. U. Gias and M. R. Tabassum and A. S. Ami and A. Imran and M. Ibrahim and R. Rahman and K. Sakib},\nbooktitle={Computer and Information Technology (ICCIT), 2013 16th International Conference on},\ntitle={A formal approach to verify software scalability requirements using set theory and Hoare triple},\nyear={2014},\npages={7-12},\nkeywords={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},\ndoi={10.1109/ICCITechn.2014.6997367},\nmonth={March},}\n\n","author_short":["Gias, A. U.","Tabassum, M. R.","Ami, A. S.","Imran, A.","Ibrahim, M.","Rahman, R.","Sakib, K."],"key":"6997367","id":"6997367","bibbaseid":"gias-tabassum-ami-imran-ibrahim-rahman-sakib-aformalapproachtoverifysoftwarescalabilityrequirementsusingsettheoryandhoaretriple-2014","role":"author","urls":{},"keyword":["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"],"metadata":{"authorlinks":{}}},"search_terms":["formal","approach","verify","software","scalability","requirements","using","set","theory","hoare","triple","gias","tabassum","ami","imran","ibrahim","rahman","sakib"],"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"],"authorIDs":[],"dataSources":["XXPpv8zegK3HLTT99","3bfyyhZdBDuEioZKL"]}