61 results about "Product design specification" patented technology

An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying out implementation testing of the source code is described. The system comprises a verified black box specification generator arranged to process the received informal system design specifications to create formal specifications; to generate from the formal specifications mathematical models representing the system behavior; to analyze the mathematical models to determine if they have the required behavior; to adjust the formal specifications until the required behavior is achieved; and to derive the required verified design specifications from the mathematical models.

Automated electronic document design systems and method for designing and modifying product templates. When a user initiates a product design session, a product template is presented for user editing and a product description identifier is assigned to the product being designed. Document templates are assembled from individual composite elements. The individual identifiers of the component elements that make up the template being viewed by the user are associated with the description identifier. Tools are provided to allow a user to change one or more of the composite elements of the template. When a user changes an element, the identifier of the newly selected element is associated with the description identifier. Component elements of one template can be individually used, as appropriate, to prepare customized templates for another part of the same document or for different documents.

A car engineering assist system and method establish a master data and set a computer-generated virtual car model to represent at least a portion of a product design specification (PDS) of a test car. A real time simulator performs computer simulation of a test module using the car model, which has been set to represent at least the portion of the PDS of the test car, to produce a simulation result. A logic unit performs conformity assessment of the test module based on the simulation result and the master data.

System and method that automatically instantiates and displays software-type applications based on software design specifications that based on the input of logical structures of information in an electronic device, automatically identifies, validates and store functional and visual design component based on software specifications stored on a database memory. The method automatically creates functional and visual models and store those models and finally automatically display on a device the application interface, functional and visual models combined with other protocols stored in memory using the processor as an instantiator.

The invention provides a product specification inputting and detecting method and system. The product specification input method and system comprises the following steps: acquiring a sample image of asample product of a to-be-input product model and state images of at least two states; processing based on the images to obtain a template image and a parameter range corresponding to the model of the to-be-input product, and storing the template image and the parameter range as specification data of the model of the to-be-input product so as to provide preconditions for subsequent product specification detection; the product specification detection method and system acquire a target image of a to-be-detected product, call a template image of a corresponding sample product and a correspondingparameter range; through the target image, the template image and the corresponding parameter range, whether the specification of the to-be-detected product is consistent with the identified productmodel is determined, the specification of the to-be-detected product is effectively identified, the identification efficiency is high, whether the product package is correct or not can be convenientlychecked, and the probability of product package errors is reduced.

Embodiments of the present invention include a method for automatically designing MEP for a building. The method may include receiving information about the building including a first structural model of the building, and retrieving design specifications from a database, including information about local building codes, physical laws and building design rules. Information about available MEP components may be retrieved from a component library. The information about the building and the design specifications may be analyzed to determine additional elements for the first structural model of the building. A second structural model of the building including the additional elements may then be prepared.