{"id":76057,"date":"2024-05-12T23:11:36","date_gmt":"2024-05-13T03:11:36","guid":{"rendered":"https:\/\/bangla.sitestree.com\/?p=76057"},"modified":"2024-05-12T23:11:36","modified_gmt":"2024-05-13T03:11:36","slug":"software-engineering-propositional-logic","status":"publish","type":"post","link":"http:\/\/bangla.sitestree.com\/?p=76057","title":{"rendered":"Software Engineering: Propositional Logic"},"content":{"rendered":"

Ref: <\/strong> Software Engineering Course: https:\/\/www.cs.ox.ac.uk\/people\/michael.wooldridge\/teaching\/soft-eng\/<\/a>
\nhttps:\/\/www.cs.ox.ac.uk\/people\/michael.wooldridge\/teaching\/soft-eng\/lect07-4up.pdf<\/a><\/p>\n

\"\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Ref: Software Engineering Course: https:\/\/www.cs.ox.ac.uk\/people\/michael.wooldridge\/teaching\/soft-eng\/ https:\/\/www.cs.ox.ac.uk\/people\/michael.wooldridge\/teaching\/soft-eng\/lect07-4up.pdf<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[182],"tags":[],"class_list":["post-76057","post","type-post","status-publish","format-standard","hentry","category---blog","item-wrap"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack-related-posts":[{"id":75787,"url":"http:\/\/bangla.sitestree.com\/?p=75787","url_meta":{"origin":76057,"position":0},"title":"Manual Testing Tools","author":"Sayed","date":"May 22, 2023","format":false,"excerpt":"Load Runner: Tessy: Mantis: BugZilla JMeter SonarQube Jira NUnit ZAP Citrus \u2022Load Runner: Performance, Load \u2022Tessy: Integration \u2022Mantis: Bug tracking \u2022BugZilla: Issue Tracking \u2022Jmeter: Performance \u2022SonarQube: Code Quality and Security. Review, Integration, Quality \u2022Jira: Issue Tracking, Planning, Integrate to develop env. \u2022Nunit : Unit Testing \u2022ZAP: Security Scanner \u2022Citrus: Integration\u2026","rel":"","context":"In "\u09ac\u09cd\u09b2\u0997 \u0964 Blog"","block_context":{"text":"\u09ac\u09cd\u09b2\u0997 \u0964 Blog","link":"http:\/\/bangla.sitestree.com\/?cat=182"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":75788,"url":"http:\/\/bangla.sitestree.com\/?p=75788","url_meta":{"origin":76057,"position":1},"title":"Manual vs Automated Testing","author":"Sayed","date":"May 22, 2023","format":false,"excerpt":"Auto manual Definition Reliability More Less Reuse Always May be possible Batch Always Not possible Time Saving faster Time consuming Invest Tool Human Performance Load\/Stress Performance possible Not Possible\/Cumbersome Programming Sort of required Not needed Framework Can be used Not needed Operating System Easier Cumbersome Regression Easier Cumbersome Purchase: Training\u2026","rel":"","context":"In "\u09ac\u09cd\u09b2\u0997 \u0964 Blog"","block_context":{"text":"\u09ac\u09cd\u09b2\u0997 \u0964 Blog","link":"http:\/\/bangla.sitestree.com\/?cat=182"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":16677,"url":"http:\/\/bangla.sitestree.com\/?p=16677","url_meta":{"origin":76057,"position":2},"title":"Part X: Engineering Optimization: Mathematical Optimization","author":"Sayed","date":"January 23, 2020","format":false,"excerpt":"Good intro to: Quadratic Forms and Convexity https:\/\/www.dr-eriksen.no\/teaching\/GRA6035\/2010\/lecture4.pdf Concave Upward and Downward https:\/\/www.mathsisfun.com\/calculus\/concave-up-down-convex.html Convex functions and K-Convexityhttps:\/\/ljk.imag.fr\/membres\/Anatoli.Iouditski\/cours\/convex\/chapitre_3.pdf *** . *** . *** . *** Note: Older short-notes from this site are posted on Medium: https:\/\/medium.com\/@SayedAhmedCanada *** . *** *** . *** . *** . *** Sayed Ahmed BSc. Eng. in\u2026","rel":"","context":"In "AI ML DS RL DL NN NLP Data Mining Optimization"","block_context":{"text":"AI ML DS RL DL NN NLP Data Mining Optimization","link":"http:\/\/bangla.sitestree.com\/?cat=1910"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":16635,"url":"http:\/\/bangla.sitestree.com\/?p=16635","url_meta":{"origin":76057,"position":3},"title":"Design optimization","author":"Sayed","date":"January 14, 2020","format":false,"excerpt":"Design optimization https:\/\/medium.com\/generative-design\/design-optimization-2ec2ba3b40f7 Learning from nature https:\/\/medium.com\/generative-design\/learning-from-nature-fe5b7290e3de *** . **** . *** Sayed Ahmed BSc. Eng. in Comp. Sc. & Eng. (BUET) MSc. in Comp. Sc. (U of Manitoba, Canada) MSc. in Data Science and Analytics (Ryerson University, Canada) Linkedin: https:\/\/ca.linkedin.com\/in\/sayedjustetc Blog: http:\/\/Bangla.SaLearningSchool.com, http:\/\/SitesTree.com Online and Offline Training: http:\/\/Training.SitesTree.com FB\u2026","rel":"","context":"In "AI ML DS RL DL NN NLP Data Mining Optimization"","block_context":{"text":"AI ML DS RL DL NN NLP Data Mining Optimization","link":"http:\/\/bangla.sitestree.com\/?cat=1910"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":72710,"url":"http:\/\/bangla.sitestree.com\/?p=72710","url_meta":{"origin":76057,"position":4},"title":"Jobs: IT, Software, Eng.","author":"Sayed","date":"February 7, 2022","format":false,"excerpt":"Newest Jobs from Crunchboard Software Developer, Applications Development Team at Colorado Housing and Finance Authority (CHFA) (Denver, CO, USA) Software QA Engineer Team Lead at iD Tech (United States) Software Developer at BioVigil (Ann Arbor, MI, USA) Senior Software Developer - Full Stack (.Net \/ Angular) at Soleran (Overland Park,\u2026","rel":"","context":"In "Jobs in Canada and USA"","block_context":{"text":"Jobs in Canada and USA","link":"http:\/\/bangla.sitestree.com\/?cat=1953"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":16626,"url":"http:\/\/bangla.sitestree.com\/?p=16626","url_meta":{"origin":76057,"position":5},"title":"linkedin profile","author":"Sayed","date":"January 10, 2020","format":false,"excerpt":"Director\/Course Designer\/Trainer Justetc (Just Et Cetera) Social Services Non-profit. As we can basis, as time and schedule permit basis. Courses: https:\/\/SitesTree.com\/training (Free and\/or low cost workshops and training). Events: http:\/\/facebook.com\/justetcsocial. Subject areas in order: Big-Data & Machine Learning (ML, DL, NN, RL, NLP, Visualization), Cloud, Linux\/System Admin, Security, DBMS\/BI, Web\/Mobile\/Software\u2026","rel":"","context":"In "AI ML DS RL DL NN NLP Data Mining Optimization"","block_context":{"text":"AI ML DS RL DL NN NLP Data Mining Optimization","link":"http:\/\/bangla.sitestree.com\/?cat=1910"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"_links":{"self":[{"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/posts\/76057","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=76057"}],"version-history":[{"count":1,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/posts\/76057\/revisions"}],"predecessor-version":[{"id":76059,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=\/wp\/v2\/posts\/76057\/revisions\/76059"}],"wp:attachment":[{"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=76057"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=76057"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/bangla.sitestree.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=76057"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}