Three highly related text books combine informal, sound engineeringly approach with the rigor of formal, mathematics-based approach. Then the book continues to teach and train the readers and the basic principles of asset-oriented model and technical specifications. Concept-oriented model, a common specification language such as B, VDM-SL, and Z, will be deployed here through the use of the RAISE specification language RSL. Finally, this book covers the basic principles of functional programming specification, imperative and parallel - the latter based on the use of CSP: Hoare's language of Communicating Sequential Processes.