|
|
Meta-IV ==>
Vienna Development Method Specification Language
<programming, specification> (VDM-SL, Meta-IV) A
model-oriented specification language, upon which the
Vienna Development Method is based. An ISO draft was
released in April 1993.
Version: BSI/VDM.
ftp://gateway.dec.com/pub/vdmsl_standard.
["The Vienna Development Method: The Meta-Language",
D. Bjorner et al eds, LNCS 61, Springer 1978].
["The VDM-SL Reference Guide", J. Dawes, Pitman 1991].
["Systematic Software Development Using VDM", C.B. Jones, P-H
1989].
(2000-11-02)
Try this search on OneLook / Google
Nearby terms:
Vienna Definition Language « Vienna Definition Method « Vienna Development Method « Vienna Development Method Specification Language » Vienna Fortran » Vietnamese » viewer
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
KWorld Xpert DVD Maker PCI Video Capture CardKWorld Xpert DVD Maker PCI Video Capture Card ** KWorld V-Stream Xpert DVD Maker **Convert any video tape movies and send the image easily to your PC for editing and saving in VCD, SVCD, and DVD format with the Xpert DVD Maker! The Xpert DVD maker features a high-quality 10-bit NTSC/PAL/SECAM composite and S-video decoder, video resolutions up to 720 x 480 @ 30fps, and aPCI interface. With the CyberLink PowerProducer 2 Gold software, you can easily capture and burn any videos from any video source such as DVD Player / VCD / VHS /Camcorder and burn to to DVD without using any extra hard drive space! Get yours today!General Features:- Conexant CX23883-19 chipset- PCI interface- 10-bit NTSC/PAL/SECAM composite and S-video decoder- 720 x 480 @ 30 fps video resolution (NTSC)- 720 x 576 @ 25 fps video resolution (PAL)- Capture video source from VHS, HI8, etc.- Supports Mpeg4, Mpeg2, and Mpeg1 format- Capture BMP and JPEG still image format- Burn video to DVD/VCD/SVCD- Automatic NTSC/PAL detection- S-Video external connectorRetail Package Includes:- Xpert DVD Maker- User manual- Installation CD w/Power Producer 2 Gold & PVR Plus- Video and audio converter cableNote:- Model: VS-L883D Compatibility/Requirements/Disclosures:** Requirements *** Pentium 700 MMX processor or higher* Windows 98SE/ME/2000/XP* 128 MB RAM* 16 MB VGA card w/800 x 600 16-bit resolution* Sound card* CD-ROM drive* Available PCI slot Informational Links:http://www.kworld.com.twhttp://www.kworld.com.tw/pindex.asp?id=19&pid=24 More ...
StarFlyers - Alien Space ChaseStarFlyers - Alien Space Chase It's intergalactic election time, and villainous Vexar is up to his evil stunts. Join the StarFlyers on a brain-building quest to find the missing alien ambassadors and foil Vexar's scheme. Ages 5-8. Windows 98/ME/2000/XP More ...
4-Foot USB to iPod Retractable Charger Cable4-Foot USB to iPod Retractable Charger Cable ** 4-Foot USB to iPod Dock Connector Retractable Charger Cable **Conveniently charge your iPod while connected to your computer's USB port. This retractable cable expands up to 4-foot and is portable to carry anywhere!General Features:- USB compatible- Retractable Cable- DC Charger cable- Input: DC 5.0 V, 450 mA- Output: DC 9.0 V, 300 mA- Expands up to 4 foot in length (approximate)- Retracts back to 6-inches in length (approximate)- Chargers your iPod- Works with iPods with Dock Connector - Lightweight and portableNotes:- Cable only Compatibility/Requirements/Disclosures: ** Requirements *** iPod with Dock Connector* Available USB port More ...
Fellowes Earglove Pro Mobile Phone HeadsetFellowes Earglove Pro Mobile Phone Headset ** Fellowes Earglove Pro Mobile Phone Headset **Earglove Pro headset for all phones with standard 2.5mm headset jack! High-Tech microphone and speaker technology reduces background noise. Special ergonomic design adds optimal comfort and a secure fit. Dual ported microphone allows for optimal reception on both ends.General Features:- Universal 2.5 mm jack- Noise-canceling microphone for crystal clear communication- High-fidelity speaker- One-touch button - depending on the phone model it could act as a mute, answer/end call or voice activation button- Soft, padded earhook for maximum comfort and grip- Shirt Clip prevents tangling- Body Glove LogoRetail Package Includes:- Body Glove Earglove Pro Mobile Phone HeadsetNotes:- Item #: 97049-99- UPC: 0 77511 97049 8 Compatibility/Requirements/Disclosures:** Requirements *** Mobile Phone with 2.5 mm jack More ...
Caillou Colors &ShapesCaillou Colors &Shapes Join Caillou and his friends as they teach your child about colors and shapes. Play in English, Spanish, or French. Entertaining activities provide hours of fun and learning, and they're different each time you play! Windows 98/ME/2000/XP and Mac More ...
D-Link DCM-200 USB/Ethernet High-Speed Cable ModemD-Link DCM-200 USB/Ethernet High-Speed Cable Modem ** D-Link Cable Modem **The D-Link DCM-200 is a two-way DOCSIS 1.0 CableLabs certified Ethernet 10BaseT cable modem. The DCM-200 provides high-speed Internet access over a cable network and can connect to a computer via its Ethernet or USB port, which connects to an Ethernet card in a PC or a laptop. The DCM-200 provides intelligent IP allocation management, which can be configured to work on a static or DHCP network. For security purposes, the DCM-200 provides 56-bit DES (Data Encryption Standard) to encrypt data transaction for both upstream and downstream transmissions.General Features:- High-speed cable modem- USB 1.1 interface- RJ-45 Ethernet interface- IEEE 802.3 compliant- 10Base-T- MCNS/DOCSIS 1.0 compliant- 56-bit DES encryption- MCNS, DOCSIS 1.1 MAC protocolData Speeds:- 64QAM/256QAM demodulation- 30.342 Mbps (64QAM), 42.88 Mbps (256QAM) downstream- Reed-Solomon error correction- 91 MHz - 860 MHz frequency range- -15 dBmV to +15 dBmV input signal level- QPSK, 16QAM modulation- 0.3 to 5.1 Mbps (QPSK), 0.6 to 10.2 Mbps (16QAM) upstream- 5 MHz to 42 MHz frequency range- +8 to +55 dBmV (16QAM) input signal level- +8 to +58 dBmV (QPSK) input signal levelFront Panel Features:- Power LED indicator- Link LED indicator- Activity LED indicator- Status LED indicatorRear Panel Features:- One (1) RF F-type female 75-ohm connector- One (1) USB 1.1 type B jack- One (1) RJ-45 standard Ethernet jack- DC input jackPlain Package Includes:- D-Link refurbished DCM-200 cable modem- Quick Install Guide- USB A to B cable- Driver CD- RJ-45 standard Ethernet cable- AC adapter(100-120V ~ 1.0A, 50-60 Hz; +12V 1500mA)Notes:- Model: DCM-200- UPC: 7 90069 26079 7 Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 98/98SE/NT 4.0/2000/ME/XP* CD-ROM drive* RF cable for Internet access* ISP* Available USB port or available RJ-45 jack* Available power outlet Informational Links: http://www.dlink.com/ http://usercenter.cox.net/sdckb/modems/compatible_modems.htm http://www.adelphia.net/high_speed_internet/modems.cfm More ...
|
