Computer software development tools

computer software

Computer software development tools; Computer software for use in avionics and cockpit display systems

Computer software development tools

Compiler Verification Software

Computer software, namely, graphic design and code generation software in the field of embedded safety-critical display systems

Computer software that ceates executable specifications, formal proof and automatically generated code, and is used by developers to create embedded software used for critical functions in automobiles and other transportation devices like braking systemns and restraint systems

Computer software for code generation in the field of safety-critical embedded software

Computer software development tools; Computer software for use in avionics and cockpit displays systems

Computer software for creating embedded software used for critical functions like autopilots and braking systems for planes and to create executable specifications, formal tests, and automatically generated code

Computer software for creating embedded software used for critical functions and to create executable specifications, formal tests, and automatically generated code

Computer software development tools; Computer software platforms for creating embedded software used for critical functions and to create executable specifications, formal tests, and automatically generated code

Advertising services; Marketing services; Licensing; Web AI Application; Providing a website featuring downloadable and non-downloadable software using artificial intelligence; Computer software platform using artificial intelligence; Subscription-based website featuring downloadable and non-downloadable software using artificial intelligence;

Bowls; Cruets; Cups; Lunchboxes; Bottle openers; Containers for household or kitchen use; Cookery molds; Cooking utensils, namely, grills; Drinking vessels; Heat-insulated vessels; Household containers for foods; Ice cube molds; Insulated containers for food or beverages; Non-electric juicers; Portable plastic containers for storing household and kitchen goods

Publishing of books, magazines on software and hardware development techniques including but not limited to secure coding and defensive programming techniques; education, namely, teaching software and hardware development techniques including but not limited to secure coding and defensive programming techniques