Software Engineering Course: Algebra and Mathematical Logic

-
How people think we do math.

This'll be a sort of abridged summary of the topic, any more information you might need, I recommend you try the book (name in bottom of the post).


Like anything in science and engineering, there's a crucial component that binds it all together, yup Maths! Oh boy!

If your taking this course you should be well acquainted (hopefully) with some algebraic and logical terms.

The examples of the ones we use for this course are:

  • ∀ (For All) - applies to all
  • ∃ (There exists) - At the very least one exist
  • ⊂/⊆ (subset of/ subset or equal) - a set that is contained in a bigger set
  • ∈ (element of) - one element that can be found in a set

Let's make some examples just in case:

Example 1:

∀ x ⊂ Y: function(x) --> result
In English: For every x that is a subset of Y, then function of x will produce result 

 Example 2:
∃ z ∈ Y: function(z) --> result
In English: There exists a z that is an element inside of Y, then function of z produces result


Now with these basics kind of covered we can enter a bit deeper into the chapter.

AXIOMS

 When working on our domains in RSL, we need to preemptively try to work out some kinks, maybe some failsafes. To do these we make something called axioms.

Axioms are statements that are always, yes always true, no matter what. This is to set the parameters of how the domain will work, what will happen if invalid inputs are used, and what would happen if valid inputs are used.

When something goes wrong, like an invalid input we'd something do this:

axiom
    CalculatorSum(letter1 x letter2) -> chaos

chaos let's us know that the domain ends in well... chaos! It just won't work or will give us an unexpected.

Now when we have something that will actually work.

axiom
     ∀ x ∈ Numbers and ∀ y ∈ Numbers  : CalculatorSum(x, y) --> Sum
In English: For any x in Numbers and For any y in Numbers, CalculatorSum of x and y produce Sum.


Not really that hard, you just gotta think a bit more mathematically about it. (Needs a bit of getting used to!)

Book used for this topic: Dines Bjørner, Software Engineering, Vol 1, Springer, 2006. (short SE-V1)

Comments

Post a Comment

Popular posts from this blog

JavaFX Snake Game (WIP)

-
Image
It's been a while, busy with classes. Decided to work on another little side project. Using what I've learned so far in my Java course, I wanted to test my JavaFX knowledge with this little game. Using GridPanes, Squares and Timeline Loops, I'm almost 85% done with the game, Snake eats and grows. Just need to add the lose conditions and that should do it. The game for now starts automatically. (So I need to add I title screen/pause screen) Link to the project on GitHub.
Read more

Software Engineering: Documents

-
Image
This'll be a sort of abridged summary of the topic, any more information you might need, I recommend you try the book (name in bottom of the post). In the professional realm documentation is everything (according to this book, it's probably true), lack thereof can make your job a living nightmare every time there's an update. Even if tedious proper documentation can go a long way. In Dines' Book there are 3 main types of documentation, each different but of equal importance. Informative Documentation Descriptive Documentation Analysis Documentation It can get a bit tricky trying to differentiate them so let me try  to explain it. Informative Documents are basically documents where you talk about the domain and everything involving it (like partners, place, the scope, etc) without necessarily going into detail about the technical stuff involved in your domain. In an informative document you can find the following: Descriptive Documents  
Read more

Where have I been?

-
It's been quite a while hasn't it? Where to begin, well shortly after my last update I was quickly hired by Hewlett-Packard Enterprise for almost two years now. How time sure flies doesn't it. I work there as a System's Software Engineer full time, working on diagnostic software for their many line of servers. It has been a great experience, all that I learnt and continue to learn is amazing. This is mostly the reason why this hasn't been updated since. But I started to miss these updates and hopefully soon I'll continue working on these. Sharing cool tips and tricks I've learned in the Industry or in my spare time. Got plenty of time, considering everything going on with this whole COVID-19 nonsense.Stay indoors fellas and wash your hands please!
Read more