Information Technology Web Directory is an online IT Info and service including data format, internet, networking, programming and development, software, and training and more. Home About Us Disclaimer Link to Us Privacy Policy Submit Site Contact Us Z You are here: Home > Programming > Languages > Z Listings Professor Jonathan Bowen ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner. http://www.jpbowen.com/ Z User Group: ZUG Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, standardization, descriptions, meeting and conference notices, many links. http://www.zuser.org/   Browse Categories Artificial Intelligence Bulletin Board Systems Communications Companies Computer Science Data Communications Data Formats Education & Training Emulators Graphics Guides and Directories Hardware Home Automation Human Resources Humor Mobile Computers Multimedia News & Magazines Programming Security Software System Management Technical Guides & Support Home | About Us | Contact Us | Disclaimer | Link to Us | Privacy Policy | Submit Site | IT Articles Copyright © ITsDirectory.com, Inc. All Rights Reserved. ITsDirectory.com is a web directory of Information Technology providing IT businesses, communications & networking, technical guides, support, consultant, shareware, freeware, software engineering, multimedia, mobile computer and more.