Skip to content

Syed Ahmed Zaki

Portfolio and Software Engineering blog of ZAKI

  • Home
  • Latest Blog
  • CS Courses
    • Computer Architecture
    • Data Communication
    • Advanced Testing Method
    • Data Mining
    • Database
    • Digital Image Processing
    • Embedded Systems
    • Games Development
    • Machine Learning
    • Mathematics
    • Web Engineering
    • Real Time Computing
    • Safety Critical Systems
    • Quantum Information Science
  • Competitive Programming
    • Programming
      • C
      • C#
      • PHP
      • C++
      • Javascript
      • Python
      • Assembly Language
      • R programming
      • SQL
        • T-SQL
    • Algorithm
      • Fibonacci
      • Sorting
        • Counting Sort
        • Insertion Sort
        • Bucket Sort
        • Bubble Sort
        • Heap Sort
        • Merge Sort
        • Topological Sort
        • Quicksort
      • Floyd Warshall Algorithm
      • Euler GCD
        • GCD
      • Searching
        • Linear Search
        • Binary Search
      • Dijkstra
      • Geometry
        • Brasenham Line Drawing
        • Midpoint Circle
      • CPU Scheduling
      • Asymptotic Notation
      • Data Structure
        • Tower of Hanoi
        • All Pair Shortest Path
        • Binary Search Tree
        • AVL Tree
        • B+ Tree
        • DFS
        • Linked List
      • Recursion
      • Prime factorization
      • Sieve of Erastosthenes
      • Numerical Method
    • Programming Problem Solving
      • ACM-ICPC
      • Codeforces
      • HackerEarth
      • HackerRank
      • Lightoj
      • SPOJ
      • URI Online Judge
    • A ll Codes
  • Software Development
    • Software Testing
    • Software Development Life Cycle(SDLC)
    • Software Engineering
    • Graphics Design
      • Photoshop
    • Research
    • OO Analysis and Design
      • OOP
      • Clean Code
      • SOLID Principles
      • Design Patterns Implementations
      • Pattern Oriented Software Architecture(POS)
    • Version Control/SVN
      • git
      • Github
    • CI/CD/DevOps
      • Cloud Computing
  • Privacy Policy
  • EN
    • EN
    • DE

Category: Advanced Formal Modelling

18
Feb
2024

JML – Java Modelling Language and KeY Prover

zakilive 0 Comment on JML – Java Modelling Language and KeY Prover

JML (Java Modeling Language) provides several keywords and constructs to specify properties of Java programs. Here are…

Advanced Formal Modelling JML
02
Jan
2020

Modus Ponens

zakilive 0 Comment on Modus Ponens
Advanced Formal Modelling
02
Jan
2020

Propositional Logic : Truth Table and Contradiction

zakilive 0 Comment on Propositional Logic : Truth Table and Contradiction

  https://en.wikipedia.org/wiki/Propositional_formula     Knowledge Representation:    

Advanced Formal Modelling, Artificial Intelligence
28
Dec
2019

Advanced Formal Modelling

zakilive 0 Comment on Advanced Formal Modelling

      Number Sets Revise: https://www.dcode.fr/number-sets  

Advanced Formal Modelling
28
Nov
2019

Mission Advanced Formal Modelling

zakilive 0 Comment on Mission Advanced Formal Modelling
Advanced Formal Modelling

Recent Posts

  • Kotlin Progress
  • Protected: First Order Logic
  • JML – Java Modelling Language and KeY Prover
  • Infrastructure as Code – GitOps, GitSecOps
  • Back to OJs, Security

Tags

AI android Android Core Building Blocks assembly at Daffodil International University bangladesh bisection method algorithm Bodybuilding C++ c code bisection method Consistency C sharp Digital Image Processing function gre gta v Importance of Electric Device Knowledge in Computer Science Education Java lagrange mehtod Machine Learning MATLAB modulo must_see numerical method OOP open ai OpenGL php pointer Presentation on inverse matrix Prime project recursion remainders SQL Join STL string Struct Typedef ubuntu uri urionlinejudge UVA বাংলা মডুলাস অপারেটর

Archives

  • September 2024
  • May 2024
  • February 2024
  • September 2023
  • August 2023
  • June 2023
  • May 2023
  • April 2023
  • March 2023
  • December 2022
  • November 2022
  • October 2022
  • September 2022
  • August 2022
  • June 2022
  • May 2022
  • April 2022
  • February 2022
  • January 2022
  • December 2021
  • November 2021
  • October 2021
  • August 2021
  • July 2021
  • May 2021
  • April 2021
  • March 2021
  • February 2021
  • January 2021
  • December 2020
  • November 2020
  • October 2020
  • September 2020
  • August 2020
  • July 2020
  • June 2020
  • May 2020
  • April 2020
  • March 2020
  • February 2020
  • January 2020
  • December 2019
  • November 2019
  • October 2019
  • July 2019
  • June 2019
  • March 2019
  • February 2019
  • January 2019
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • August 2016
  • July 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015
  • June 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014
  • October 2014
  • April 2014
  • March 2014
  • February 2014
  • August 2012
  • October 2008
  • August 2008
  • January 2007

Subscribe to my YouTube channel !

https://www.youtube.com/watch?v=0Ai5A6OrUfo

Zaki’s Code, Travel, Fit ,Learn Live! – YouTube

Categories

  • A ll Codes (310)
  • ACM (223)
    • ACM Technique (18)
    • ACM-ICPC (57)
    • Adhoc/Brute Force (3)
    • Algorithm (83)
      • Algo Unsolved (3)
      • Asymptotic Notation (3)
      • Geometry (2)
        • Brasenham Line Drawing (1)
        • Midpoint Circle (1)
      • Graph (6)
        • All Pair Shortest Path (1)
          • Floyd Warshall Algorithm (1)
        • BFS (1)
        • DFS (1)
        • Single Source Shortest Path (2)
          • Bellman Ford (1)
          • Dijkstra (1)
        • Topological Sort (1)
      • Number Theory (6)
        • Euler GCD (1)
        • GCD (1)
        • LCM (1)
        • Prime factorization (1)
        • Sieve of Erastosthenes (1)
        • Trial Division (1)
      • Recursion (3)
        • Fibonacci (1)
        • Tower of Hanoi (1)
      • Searching (3)
        • Binary Search (2)
        • Linear Search (1)
      • Sorting (13)
        • Bubble Sort (1)
        • Bucket Sort (1)
        • Counting Sort (1)
        • Heap Sort (1)
        • Insertion Sort (1)
        • Merge Sort (3)
        • Quicksort (2)
        • Radix Sort (1)
        • Selection Sort (3)
      • Tree (6)
        • AVL Tree (1)
        • B+ Tree (1)
        • Binary Search Tree (4)
    • Competitive Programming (1)
    • Data Structure (7)
      • Linked List (1)
      • Queue (2)
        • Circular Queue (1)
      • Stack (1)
    • Future Reference (1)
    • Problem Solution (102)
      • Codeforces (3)
      • DevSkill (1)
      • HackerEarth (17)
      • HackerRank (4)
      • Lightoj (2)
      • SPOJ (1)
      • Unsolved (1)
      • URI Online Judge (35)
      • UVa (18)
    • Programming Contest (2)
    • Programming Problem Solving (18)
  • Challenge (1)
  • CI/CD/DevOps (5)
  • CS Courses (168)
    • Art of Effective Living (1)
    • Artificial Intelligence (13)
    • Assembly Language (3)
    • Compiler Design (1)
    • Computer Architecture (3)
    • Data Communication (1)
      • Transmission Media (1)
    • Data Mining (23)
      • WEKA (2)
    • Database (10)
      • SQL (8)
    • Digital Image Processing (5)
    • Embedded Systems (2)
      • Arduino (2)
    • Games Development (1)
    • Graphics (9)
      • OpenGL (7)
    • Mathematics (26)
      • Numerical Method (18)
        • Bisection Method (4)
    • Microprocessor (1)
    • OOP (56)
      • OO Analysis and Design (19)
        • Clean Code (2)
    • Operating System (11)
      • Bash/Shell Scripting (7)
      • CPU Scheduling (1)
    • Simulation and Modelling (1)
    • Web Engineering (1)
  • Experience (3)
    • Events (1)
      • CS Education Week 2015 (1)
    • Food Review (1)
    • Travel (1)
  • Financial Knowledge (1)
  • Fitness (11)
    • Bodybuilding (4)
    • Cycling (2)
    • Fitness Motivation (3)
    • Health (2)
    • Mental Health (1)
  • Graphics Design (1)
    • Photoshop (1)
  • HigherStudy (91)
    • EducationUSA (2)
    • English Learning (9)
      • Pronunciation (3)
    • German Learning (32)
    • Germany (12)
    • Grammar (11)
    • GRE (17)
    • IELTS (26)
      • Handwriting Improvement (1)
      • Listening (4)
      • Reading (1)
      • Speaking (2)
      • Writing Task (3)
    • TOEFL (2)
  • HTML/CSS (1)
  • Job (59)
    • CSE (3)
    • CV/Resume (4)
    • Interview (26)
      • Fresher/Intern (3)
    • Java (14)
    • Software Engineering (5)
  • Masters of Science (59)
    • Advanced Formal Modelling (5)
    • Advanced IT security (2)
    • Advanced Testing Method (3)
    • Cloud Computing (4)
    • Data Mining (15)
    • HMI (1)
    • Implementation of Database (1)
    • Introductory Data Analysis(IDA) (10)
      • Excel (3)
    • LaTeX (1)
    • Learning from Data LFD (1)
    • Machine Learning (3)
    • Mathematics (2)
    • Pattern Oriented Software Architecture(POS) (2)
    • Quantum Information Science (1)
    • Real Time Computing (3)
    • Safety Critical Systems (1)
  • MSSQL (3)
    • Stored Procedures (1)
    • T-SQL (1)
  • Music (1)
  • Open Source (6)
    • Linux (4)
      • Ubuntu 15.04 (1)
      • Ubuntu 18.04 (1)
      • Ubuntu14.04 (1)
    • Ubuntu (2)
  • Philosophy of Life (177)
    • Learning (2)
    • Life (10)
    • Life Motivation (132)
      • Business/Money (6)
      • Career/Earning (12)
      • Depression (3)
      • Fearless Motivation (1)
      • Life Quotes (2)
      • Life Story/Journey (1)
      • Passion (1)
      • People Skill/Networking (14)
      • Stress (2)
      • Study Motivation (64)
      • Success Hacks (79)
        • Healthy Habit (16)
        • Never Quit (37)
        • Patience (24)
        • Social Skills/Communicative Skills (5)
        • Time Management (4)
    • Life Productivity (12)
    • Life Rules (6)
    • Life Skills (5)
    • Lifefact (5)
    • Lifelessons (9)
    • Lifestyle (1)
    • Love (8)
    • Motivation (17)
    • Motivational Posts (7)
    • Music (8)
      • Guitar (1)
    • Poems (3)
      • Love (2)
    • Poetry (2)
    • Romance (4)
    • Sadness (2)
    • Sarcasm (2)
  • Pore Abar Bujhbo (8)
  • Presentation (8)
  • Programming (349)
    • Language (318)
      • C (152)
        • Array (24)
        • C library function (3)
        • C Refresh (106)
        • Function (17)
        • logic (1)
        • Logic Logic (4)
        • Logics (1)
        • Memory Management (1)
        • Pointer (19)
        • String (21)
        • Structured Programming (1)
      • C# (40)
      • C++ (40)
        • Vector (1)
      • Java (46)
      • Javascript (12)
      • PHP (18)
      • Python (24)
    • R (1)
    • R programming (3)
  • Project (2)
  • Project Report (1)
  • QML (1)
  • Research (55)
    • BigData (3)
    • Data Science (15)
    • Machine Learning (23)
    • Natural Language Processing(NLP) (5)
    • Plagiarism Checker (2)
    • Research Papers (5)
    • Research Topic (3)
    • Sentiment Analysis (3)
    • Statistics (4)
  • Software Development (90)
    • .NET (34)
      • Xamarin (1)
    • Android (10)
    • ASP.NET (10)
      • ADO.NET (1)
      • ASP.NET (2)
    • Debate (2)
    • Design Patterns Implementations (9)
      • SOLID Principles (1)
    • Laravel (4)
    • Object Notation (4)
    • Regex (3)
    • Software Development Life Cycle(SDLC) (5)
    • Training (9)
      • LICT (9)
    • unity3d (1)
    • Version Control/SVN (6)
      • git (5)
      • Github (4)
    • XML (1)
  • Software Testing (2)
  • Tech Tips (21)
    • Desktop (1)
    • Fix (1)
    • Laptop (1)
    • Laptop(ল্যাপটপ) (1)
      • HP (1)
    • Techie Talk (15)
      • Tech Debate (2)
    • VPS (2)
  • Test Category (2)
  • Uncategorized (69)
  • University Life (3)
    • 7th semester (1)
    • 9th semester (1)
  • Web Links (1)
  • বাংলা (10)
    • অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং (1)
    • রিসার্চ (1)
    • সি প্রোগ্রামিং (2)
    • হার্ডডিস্ক পার্টিশান (1)

Recent Comments

  • zakilive on OOPs ! অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং কনসেপ্ট এবং তার সূচনা :D
  • Hasibul Hasan on OOPs ! অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং কনসেপ্ট এবং তার সূচনা :D
  • Rezaul Islam on Some Android Links that May Help

Copyright © 2024 Syed Ahmed Zaki

Design by ThemesDNA.com

We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.
Cookie SettingsAccept All
Manage consent

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary
Always Enabled
Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.
CookieDurationDescription
cookielawinfo-checkbox-analytics11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional11 monthsThe cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy11 monthsThe cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Functional
Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.
Performance
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Analytics
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.
Advertisement
Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.
Others
Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet.
SAVE & ACCEPT