tailieunhanh - Formal Specification and Documentation using Z:A Case Study Approach

Modern computers based on integrated circuits are millions to billions of times more capable than the early machines, and occupy a fraction of the space.[2] Simple computers are small enough to fit into mobile devices, and mobile computers can be powered by small batteries. Personal computers in their various forms are icons of the Information Age and are what most people think of as "computers". However, the embedded computers found in many devices from MP3 players to fighter aircraft and from toys to industrial robots are the most numerous | Formal Specification and Documentation using Z A Case Study Approach Jonathan Bowen Revised 2003 FORMAL SPECIFICATION AND DOCUMENTATION USING Z A X CASE STUDY APPROACH Jonathan Bowen UNIX transputer DCS documentation All material that serves primarily to describe a system and make it more understandable rather than to contribute in some way to the actual operation of the system. . formal specification 1. A specification written and approved in accordance with established standards. 2. A specification written in a formal notation such as VDM or Z. Z A formal notation based on set algebra and predicate calculus for the specification of computing systems. It was developed at the Programming Research Group Oxford University. Z specifications have a modular structure. . Dictionary of Computing 221 CICS and IBM are trademarks of International Business Machines Corporation. DEC VAX and Micro VAX are trademarks of Digital Equipment Corporation. Inmos and Occam are trademarks of SGS-Thomson Microelectronics. MC68000 is a trademark of Motorola Computer Systems. PostScript is a trademark of Adobe Inc. Sun is a trademark of Sun Microsystems Inc. UNIX is a registered trademark in the USA and other countries licensed through X Open Company Ltd. X Window System is a trademark of X Consortium .