Formal Method (VDM++)

 Formal method is a fourth year software engineering course in UNIMAS.
VDM is a tool used for the study of formal method. 
VDM stands for "The Vienna Development Method": a collection of techniques for the formal specification and development of computing systems.
What is VDM?
-the use of mathematics notation
-analyse formal method to prove consistency and correctness
-methods use various representation:natural language,in forms of diagram (Example:structure approach & OO methods)

Tools used in learning VDM++ language?
Download VDM++ Toolbox
How is the structure of VDM
Ah,well,it looks like this:

VDM structure

VDM ++ toolbox

P.S:Want to know more VDM ++,download the tool editor to experience the language yourself :)

How to fill in PDF form?

1)Open ur pdf document and find the 'sign' word

Click on the 'Add text ' part

2)The 'Add text' toolbar button will appear after u click the add text button

3)And now you are done!

Fook Khang Vegetarian Restaurant

Fook Khang Vegetarian Restaurant is situated opposite Hotel 360, Kuching at Jalan Song Thian Cheok.
 My rating for this restaurant is ****

Fried mushroom in chilli sauce

 Butter Prawn

"Ma Poh " tofu

Food Menu

 

 

ruby rails,MVC framework language

Heard of ruby rails?Well,ruby on rails is a web application framework written in Ruby language.Ruby rails is the programming language that I used during my internship period.It involves less coding and is using the scaffolding concept.
 

To develop a web application using Ruby on Rails Framework, the following software must be  installed:

• Ruby
• The Rails framework
• A Web Server
• A Database System use either MYSQL or MySQL Lite
• Code editor which is Aptana or sublime text

MySQL Lite

MySQL Query Brwoser

using command prompt to generate a new folder

The after the generate new command in command prompt

to run the system u need to type rails s

JQuery can be used to beautify the website. To download and use JQuery,go to here.
I'm also using pik for different versions of ruby.It is not necessary to use pik as it is used to manage the different versions of Ruby.Before running pik,u need to go to install pik . :)

'how to run pick' instruction

to create a table,u have to run rake db:migrate command

 Before you run rake db:migrate u must first create the database tables by running rake db:create

Why to run rake routes? Because you'll see that all the routes for the standard actions.

I forget to mention tha The default database is sql lite,if u want to use mysql you have to specify the database  by inserting command rails new "filename" -d=mysql when a new project is developed
P.s: currently rails has the lastest version which is Rails 4.0.
There are some tutorials that is useful for the learning of Ruby on Rails: 
Web Page 1
Web Page 2:videos , coding challenges are available
Web Page 3:This website not only teaches ruby on rails but also Python and other web programming languages as well.:)

spotify(updated)

The reason that I use to love Spotify is that you can listen to many of favourite songs for free.However spotify needs user to have an Internet access to listen to the songs

Login with facebook /spotify username and password

Save favourite songs as playist and you can listen to any of your favourite songs anytime

Now it also can be accessed though website without the downloading of spotify software

The current Spotify has a newer and better interface.

Lok kawi Wildlife Park @Kota Kinabalu

 Mission:to encourage the younger generation to preserve wildlife environment and gain knowledge about wild species
Lok Kawi Widlife Park is located along the Penampang-Papar old road and is fully developed by the Sabah Wildlife Department. Lok Kawi Wildlife Park is open for the public daily from 9.30a.m to 5.30p.m. Entrance fees charged are  RM10 for Malaysians and RM20 for non-Malaysians.
Journey to Lok Kawi Wildlife Park takes 30 minutes to an hour’s drive from Kota Kinabalu.

Deers

Flame of forest

elephants

Black bear

sleeping tiger!

Small pony

Probocis monkey

Bird

P.s:Remember to always reserve our natural heritage and encourage Sabah's eco-tourism as well. :)

Do Internet actually making as dumber?

We depend on computer to ease us. Seriously,in my opinion,without internet,we will 'die' .We need to use internet to do important things,e.g : online shopping,doing assignments and lots more.A study shows that our memory is affected by internet.Read it more here. I don't think the world could sustain its population level  without the services computers provide.Etc,we depend the internet to buy our flight tickets

In conclusion,the only disadvantage of using too much computer will decrease the communication between people because this causes you to be dumber as you seldom talk with people surrounding you.

Sibu short trip

Trip to sibu from kuching by boat takes approximately 4 hours

Me At kuching jetty

Randomly snapped photo -Sibu's trademark(the bird)

Breakfast

Historical Tua Pek Kong Temple

Sibu's specialty-DIANG BIANG HU served with pork broth, black fungus, handmade fish balls and so on.Made of grinded rice.DIANG' here means  wok, 'BIANG' is side, 'HU' is porridge

Mixed rice at BBQ Restaurant

An overview of Unimas

Unimas is situated in Kota Samarahan,Sarawak and its distance is within 20 minutes from Kuching International Airport.It has 8 faculties.
Programmes listing of an undergraduate are as follows:
Faculty of Applied and Creative Arts
Faculty of Cognitive Sciences and Human Development
Faculty of Computer Science and Information Technology
Faculty of Economics and Business 
Faculty of Engineering 
Faculty of Medicine and Health Sciences 
Faculty of Resource Science and Technology
Faculty of Social Sciences

Visit unimas website for more infos
Unimas Logo:

LINE for PC

First install LINE in your desktop

Login with your email and password

CMD to remove shortcut in thumbdrive

Wonder how to remove shortcut that appears in your thumbdrive?

shortcut that appear in pendrive

No worries,type cmd and enter some command and it will help you to recover all the missing files.