TAILIEUCHUNG - 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 .

• Kỹ thuật lập trình
• Software
• Professions and organizations
• References
• LanguagesHigher level languages
• Software Project
• Source Software
• software ebook
• software science document
• software specific study
• software research
• Software testing
• Software analysis
• Software testing and analysis
• Software product
• Software processes
• Software qualities
• Software process
• Component based software testing
• Object oriented software engineering
• Software engineering
• Practical software development
• Object orientation
• Software quality
• Software engineering projects
• Software change
• Software construction
• Handbook Software construction
• Object oriented design
• Software design
• Software evolution
• Software Development
• application software
• Testing object oriented software
• Quality process
• Software reliability engineering testing
• Software quality assurance
• Lecture Software Quality Assurance
• Management components of software quality
• Project progress control
• Software quality metrics
• Software design and architecture
• Software architecture
• Software architectural design
• Software design methods
• Distributed software architecture
• Data flow software architecture
• Software requirement specification
• Component based software engineering
• Lecture Software engineering
• Professional software development
• Software engineering ethics
• Software process activities
• Software engineering diversity
• Công nghệ phần mềm
• Quality concepts