COMPUTER SOFTWARE IMPLEMENTATION

Brand	Owner (click to sort)	Address	Description
AREXX	Wishful Thinking Development Corporation	533 Gleasondale Road Stow MA 01775	computer software for implementation of a computer language;
DATAVANTAGE DATA MASKING EXPRESS	Direct Computer Resources, Inc.	21 Valley Drive Huntington NY 11743	Computer software for the implementation of data privacy and data protection by encryption, masking, de-identification and substitution of data;DATA VANTAGE DATA MASKING EXPRESS;DATA MASKING;
DATAVANTAGE DME	Direct Computer Resources, Inc.	21 Valley Drive Huntington NY 11743	Computer software for the implementation of data privacy and data protection by encryption, masking, de-identification and substitution of data;
DCP/IP	SegWay Internet Technologies, Inc.	6 Parkway Center, Suite 100 Pittsburgh PA 15220	computer software for implementation of electronic commerce between businesses and other institutions and their distributors, dealers, representatives,agents, wholesalers, retailers, and brokers, using the Internet Protocol (IP);
DISTRIBUTION CHAIN PARTNER/IP	Signal Internet Technologies, Inc.	294 West Steuben Street Pittsburgh PA 152052500	computer software for implementation of electronic commerce between businesses and other institutions and their distributors, dealers, representatives, agents, wholesalers, retailers, and brokers, using the Internet Protocol (IP);

ENIF	INRO CONSULTANTS INC.	5160 Decarie Boulevard Suite 610 Montreal, Quebec H3X 2H9 Canada	computer software for the implementation of travel demand and route-choice models in the field of transportation planning;
ESTORECOMPLETE	Storey, Jason, C	1590 Atkinson Road Suite B Lawrenceville GA 30043	computer software for implementation of electronic commerce stores;E STORE COMPLETE;
GEO BLADE	Geographic Technologies Group, Inc.	648 North Spence Avenue Goldsboro NC 27534	Computer software for the implementation of geographic information systems, namely, computer geographic locational systems for mapping, map viewing, and location determination; bi-directional geographic information systems for mapping, map viewing, and location determination; software for mapping interface and dispatching information capabilities; and spatial tools for visualization and distribution of overlays for mapping, map viewing and location determination;GEOGRAPHIC BLADE;
IC TOUCH	BUSINESS INNOVATIONS, INC.	17033 Renton Belleville MI 48111	Computer software for implementation of digital signage;INNOVATIVE COMPUTERS TOUCH;TOUCH;
IC TOUCH	ICTOUCH, INC.	17033 RENTON BELLEVILLE MI 48111	Computer software for implementation of digital signage;INNOVATIVE COMPUTERS TOUCH;TOUCH;
PARAGON	Paragon Systems, L.P.	603 Norma Drive Thorndale PA 19372	computer software for implementation of a computer language for use in the development of database management software, development of computerized tutorial programs, the development of computer programs used on digital computers and instruction manuals sold as a unit;
SCP/IP	SegWay Internet Technologies, Inc.	6 Parkway Center, Suite 100 Pittsburgh PA 15220	computer software for implementation of electronic commerce between businesses and other institutions and their suppliers and vendors, using the Internet Protocol IP;
SEGWAY/IP	Signal Internet Technologies, Inc.	294 West Steuben Street Pittsburgh PA 152052500	computer software for implementation of electronic commerce for business and other institutions, using the Internet Protocol (IP);SEGWAY-IP;
SPEEDWAY	SIGNAL SOFTWARE CORPORATION	294 West Steuben Street Pittsburgh PA 152052500	computer software for implementation of electronic commerce between business and other institutions and their suppliers, vendors, distributors, dealers, representatives, agents, wholesalers, retailers and brokers;SPEED WAY;
SUPPLY CHAIN PARTNER/IP	Signal Internet Technologies, Inc.	294 West Steuben Street Pittsburgh PA 152052500	computer software for implementation of electronic commerce between businesses and other institutions and their suppliers and vendors, using the Internet Protocol (IP);
TESCODE	TESCO CONTROLS, INC.	8440 Florin Road Sacramento CA 95828	computer software for implementation of computer language used in the programming of programmable controllers;
TRANSLATIONCORE	Distant Shores Media	Suite 204-402 10524 Moss Park Road Orlando FL 328325898	Computer software for implementation of open-source projects, namely, foreign language translation software, database management software, and Bible translation software for translating the Bible;TRANSLATION CORE;
WIZDOM	Logitek Data Sciences Ltd.	155 Rexdale Boulevard, Suite 502 Rexdale, Ontario M9W 5Z8 Canada	Computer software for implementation, operation and management of a technology help desk;Implementation, operation and management of a technology help desk; training services regarding the use of computer software for implementation, operation and management of a technology help desk;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

To perform conformance checking of a software implementation with a (possibly non-deterministic) specification, a software implementation and a software specification are applied to produce a CT enabled implementation. Nondeterministic choices of the software specification result in assigning a corresponding choice of the CT enabled implementation to a variable. The CT enabled implementation includes a test that the variable then comprises one of the nondeterministic choices of the software specification. To perform conformance testing where the software specification includes ordered steps, and calls to methods of other classes (mandatory calls), a software object is produced and organized such that each step of the software specification has a corresponding code section in the software object. The software object includes instructions to generate an identification of a mandatory call comprised by the software specification, and instructions to test that the state of the implementation conforms to the software specification during the mandatory call.