Bluestacks

Ever heard of bluestacks?It is an android based emulator to be used on PC.
To use,go to the website to download the installer.
Previously in my previous post I mentioned about using gramblr and instagram through bluestacks on desktop/laptop

Search for the bluestack installer

Search for your favourite apps

 Have an android phone?

 

prompt to ask to select mobile devices

sign in with your google account!

Wechat on desktop

I just finish my technopreneurship assignment,and i'm thinking to post about wechat here since number of people who uses free mobile messaging apps are increasing...
In my last post I had talk about gamblr bluestacks.

smartphone usage

Search for WeChat in bluestacks and download it

you will be asked to enter your phone number for verification

Create a desktop shortcut?

Enter you wechatID/emailID and password to use wechat and now you are ready to use Wechat to make your voice message!

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 :)