Gourt > Computers > Programming > Languages > Z (1)
Garbage Collected :: Languages
Specification :: Languages
Software Engineering :: Software
Software :: Logic and Foundations
Gartner Revises Server Share Numbers
Thu, 03 Jul 2008 18:43:24 -0400
Gartner revised its first quarter numbers and found that IBM actually beat out Hewlett-Packard in server revenue....
Who Is Running The Most Secure Browser?
Thu, 03 Jul 2008 14:03:13 -0400
Many users are undoubtedly not updating their browsers as quickly as they should, but you can't conclude any specifics about that from the recent study of Google logs....
DOJ Sued Over Cell Phone Tracking Practices
Wed, 02 Jul 2008 17:08:34 -0400
Civil liberties groups claim the Justice Department is bypassing warrants to obtain real-time tracking information on U.S. citizens....
Microsoft Internet Explorer Security Strikes Back
Wed, 02 Jul 2008 17:03:53 -0400
Microsoft Internet Explorer 8 Beta 2 security builds on the Phishing Filter of IE 7 and thwarts cross-site scripting....
IBM Helps Link POS to the Back Office
Wed, 02 Jul 2008 16:50:30 -0400
IBM and Epicor jointly release an offering that centrally manages and supports POS....
The Seattle Times: Business & Technology
Pack the plastic; Alaska Airlines goes cashless
Thu, 03 Jul 2008 22:17:17 -0700
Alaska Airlines will no longer accept cash for in-flight purchases.
Pocket Armrest seeks to become the next neck pillow
Thu, 03 Jul 2008 22:09:44 -0700
Serial entrepreneur Matt Mostad, of Kenmore, comes up with an idea for traveler's aide while sitting in a cramped airplane seat.
Chevrolet may introduce a mini to U.S.
Thu, 03 Jul 2008 22:12:00 -0700
General Motors is considering a new Chevrolet minicar for the U.S. as it reworks its product lineup to cope with a dramatic shift from trucks to cars that is linked to high gas prices, a spokesman said Thursday.
NYT > Technology
Bits: Google Puts Privacy Link on Main Page
Fri, 04 Jul 2008 18:08:11 -0000
The move brings Google into clear compliance with a California law that requires many Internet sites to have a link to their privacy policy on their home page.
Google Told to Turn Over User Data of YouTube
Fri, 04 Jul 2008 04:30:23 -0000
The order raised concerns that the online video viewing habits of tens of millions of people could be exposed.
Bits: What Is Facebook Worth? (Part 37)
Fri, 04 Jul 2008 15:43:10 -0000
A document in the settled Facebook ConnectU litigation reveals that Facebookâs common shares are worth a quarter of the value of the stock Microsoft purchased when it invested in the social network.
CNN.com - Technology
Stealing ideas from nature
Fri, 04 Jul 2008 10:01:21 -0400
When self-confessed "nature nerd" Janine Benyus coined the term "biomimicry" in a book she published a decade ago, little did she know it would make her a household name, rubbing shoulders with Hollywood stars.
Faked tiger photo sparks Web furor
Fri, 04 Jul 2008 14:23:49 -0400
Read full story for latest details.
Tunguska blast still a mystery 100 years on
Fri, 04 Jul 2008 10:17:51 -0400
It produced a blast hundreds of times stronger than the Hiroshima bomb, was seen hundreds of miles away and narrowly missed obliterating an entire city -- but 100 years to the week after the mysterious explosion in Siberia, no one is any closer to understanding what caused it.
NPR Topics: Technology
We Know What You've Been Watching on YouTube
Fri, 04 Jul 2008 13:13:00 -0400
A court has ordered Google to turn over a database that links users to every video they've watched on the popular Web site YouTube. Jennifer Urban, director of the University of Southern California Intellectual Property and Technology Law Clinic, says the ruling has big implications for online privacy.
Twitter, What Are You Doing? Co-Founder Tells All
Thu, 03 Jul 2008 10:51:00 -0400
Twitter.com has so many new users that the Web site keeps crashing. Meanwhile, Twitter engineers are taking popular features away for retooling. It's a painful process, but co-founder Biz Stone has a plan.
Free Speech In China? Text Me
Wed, 02 Jul 2008 17:21:00 -0400
Hundreds of millions of people in China have cell phones, and with no voice mail, many turn to text messaging to make sure their messages get conveyed. Texting remains one of the few outlets for free speech in a country notorious for its censorship practices.
BBC News | Technology | UK Edition
Google 'faces Street View block'
Fri, 04 Jul 2008 07:56:34 -0000
Google's plans to launch a mapping tool in the UK could be referred to the Information Commissioner.
Warning letters to 'file-sharers'
Thu, 03 Jul 2008 17:41:04 -0000
The music industry says thousands of UK broadband users who share tracks illegally will be warned about it in letters.
Google must divulge YouTube log
Thu, 03 Jul 2008 20:19:53 -0000
Google must divulge the viewing habits of every user who has ever watched avideo on YouTube, says a US court.
Reuters Video: Technology
Japan asks: anybody out there?
Fri, 04 Jul 2008 12:02:00 -0400
Jul. 4 - Japan's biggest astronomical observatories are teaming up for a fresh quest to find out if there is life in outer space.
Reuters Technology Week
Thu, 03 Jul 2008 19:52:38 -0400
Jul. 3 - The robo-bartender, virtual haute couture, and global leaders ride hydrogen style.
Robo barman pulls first pint
Thu, 03 Jul 2008 09:03:25 -0400
Jul. 3 - Billed as the world's first robot barman, Mr Asahi pulls the crowds at London's Selfridges department store.
AP Top Technology News At 6:44 p.m. EDT
Court orders YouTube to give Viacom video logs
By ANICK JESDANUN Fri, 04 Jul 2008 11:52:13 -0000
NEW YORK (AP) -- Dismissing privacy concerns, a federal judge overseeing a $1 billion copyright-infringement lawsuit against YouTube has ordered the popular online video-sharing service to disclose who watches which video clips and when....
2 teens attacked in town mocked in YouTube videos
Fri, 04 Jul 2008 22:44:12 -0000
DOVER, N.Y. (AP) -- Two teenagers who drove to Oniontown after a series of YouTube videos portrayed the hamlet as a run-down, backwoods dump were pelted with rocks by an angry group of young residents, authorities said....
Internet addressing agency loses its own addresses
Thu, 03 Jul 2008 20:57:41 -0000
NEW YORK (AP) -- This doesn't sound good: The nonprofit agency in charge of the Internet's addresses recently lost track of its own....
CNET News.com
Ask.com closes Dictionary.com deal
Fri, 04 Jul 2008 14:52:00 -0700
Fourth-ranked search engine completes its acquisition of the parent company of Dictionary.com, Thesaurus.com, and Reference.com.
1 euro eBay baby goes home
Fri, 04 Jul 2008 13:37:00 -0700
Parents had put their baby boy up for sale on eBay--apparently as a joke--but German authorities didn't find it particularly amusing.
VeriSign names interim CEO
Fri, 04 Jul 2008 12:02:00 -0700
Company's founder takes the place of the CEO and president, who resigned abruptly earlier this week.
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.
A Comparison of Z and VDM with B/AMN - Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
Meta Description: [ The B-Toolkit ]
Combination and Implementation of Processes and Data: from CSP-OZ to Java - Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
Community Z Tools Initiative: CZT - Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
MOBY - Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, allows structured development via hierarchy concepts, handles many text formats.
Object-Z Page - Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool support, publications, book reference.
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.
Meta Description: [ Prof. Jonathan Bowen, Professor of Computing at London South Bank University, UK. ]
RoZ - Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation in Z, Object-Z. Descriptions, downloads, documents, list of papers, links.
Standard for Z Notation - International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts.
TCOZ Page - Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.
The Z Notation - The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Entry from World Wide Web Virtual Library; descriptions, many links.
Meta Description: [ Virtual Library on-line directory for the Z notation, a formal method with tool support aimed at aiding the improved specification of computer-based systems. ]
The Z Notation - The World Wide Web Virtual Library entry for the Z formal specification language, providing links to resources around the world.
Meta Description: [ Virtual Library on-line directory for the Z notation, a formal method with tool support aimed at aiding the improved specification of computer-based systems. ]
Z Family on the Web with Their UML Photos - Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of Singapore. January, 2001; as postcript, and pdf files.
Z from FOLDOC - Entry with links to several related concepts to aid learning.
500
Z/EVES - Front-end to EVES verification system, integrates leading specification notation and state-of-art automated deduction. Descriptions, documents, screenshots, download, links, User Group; Z Browser for use under Windows and using web browsers.
Meta Description: [ ORA Canada's mission is to enhance the reliability and security of Networks and IT Systems. ]
ZB2002 - The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop.
ZB2003 - The 3rd International Conference of B and Z Users, 4-6 June 2003, Turku, Finland. The 14th International Z User Meeting, The 5th International Conference on the B Method. Theme, speakers, call for papers, submissions, location, committees, tools and exhibitions.
ZETA System - Environment to develop Z specification documents; integrated tool framework to edit, analyze, animate specifications, and formalisms mapped to Z; 5 tools (ESZ Checker, ZAP Compiler, Adaptors: LaTeX, HOL-Z, SMV), 2 GUIs (Emacs, Java). [Open Source, GPL]
| response questions, and start on the text questions. This is Part 2 of 6!!! How well this goes down will decide on if I do ... | |
| Next Video | |
