1780results about "Model driven code" patented technology

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

Methods and systems consistent with the present invention provide an improved software development tool that generates code corresponding to a distributed computing component that contains methods of a plurality of types and that displays a graphical representation of the code with a separately delineated display area for each type. The improved software development tool also compiles, deploys, and debugs the distributed computing component with a client software component using methods and systems consistent with the present invention.

A system for automatic software production including specification and automatic generation of user interfaces is disclosed. A graphical editor presents diagrams and textual interactive dialogs which are used to enter requirements data defining the desired structure and behaviour of an application program being designed. The requirements data is automatically converted to formal counterparts in a formal language to create a Formal Specification. The Formal Specification is stored in translation structures which are object in memory taking the form of classes which have methods to use the requirements data to articulate source code templates which become source code components in the final output code. A Presentation Model based in a pattern language is used to specify a Presentation Model) using elements of the pattern language as meta-model building blocks which are articulated with requirements data that defines the specifics of the desired user interface.

In some implementations, a computing device determines an event timeline that comprises one or more finance-related events associated with a person. A production classifier may be used to determine (i) an individual contribution of each event in the event timeline to a financial capacity of the person and (ii) a first decision regarding whether to extend credit to the person. A bias monitoring classifier may, based on the event timeline, determine a second decision whether to extend credit to the person. The bias monitoring classifier may be trained using pseudo-unbiased data. If a difference between the first decision and the second decision satisfies a threshold, the production classifier may be modified to reduce bias in decisions made by the production classifier.

A method and apparatus for the specification and automatic generation of user interfaces of information system (computer programs) is provided. The method is based in pattern language to specify requirements in an un-ambiguous mode and with precise semantics. The pattern language allows a user interface model to be composed using elements of the pattern language (computer objects in the object oriented programming style) which fully specify the desired user interface. The semantics of the objects in the user interface model have one and only one definition such that user interface model can be validated in a validation process. The validation process eliminates bugs in the final computer program code which is automatically produced from the user interface model. A model (meta-model), an editor tool (computer program) implementing the model for creating specifications of the user interface model, DTD specification, code generators, and other artifacts are depicted and described here for obtaining such user interfaces for different platforms (computers and operating systems) and different programming languages without manual coding of the computer code to implement the user interface. The software obtained is ready to run and it is able to communicate with a business server component using a standardized Application Programmatic Interface (API).

A framework is provided for enabling and managing customizations to an application. In one embodiment, techniques are provided that enable the customizability of an application to be controlled based upon hierarchical relations between elements of the application.