Patents Assigned to Sosy, Inc.
-
Patent number: 8365138Abstract: 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.Type: GrantFiled: September 26, 2008Date of Patent: January 29, 2013Assignee: Sosy, Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 8245183Abstract: 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.Type: GrantFiled: September 25, 2008Date of Patent: August 14, 2012Assignee: Sosy Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 8141031Abstract: 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.Type: GrantFiled: June 24, 2004Date of Patent: March 20, 2012Assignee: Sosy Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 8037449Abstract: 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.Type: GrantFiled: October 10, 2006Date of Patent: October 11, 2011Assignee: Sosy, Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 7941438Abstract: 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.Type: GrantFiled: October 23, 2007Date of Patent: May 10, 2011Assignee: Sosy, Inc.Inventors: Pedro Juan Molina-Moreno, Oscar Pastor-Lopez, Juan Carlos Molina-Udaeta, Jose Miguel Barbera-Alonso
-
Patent number: 7584451Abstract: 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.Type: GrantFiled: October 5, 2006Date of Patent: September 1, 2009Assignee: Sosy Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 7555742Abstract: 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.Type: GrantFiled: October 4, 2006Date of Patent: June 30, 2009Assignee: Sosy Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 7334216Abstract: 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.Type: GrantFiled: January 31, 2003Date of Patent: February 19, 2008Assignee: Sosy, Inc.Inventors: Pedro Juan Molina-Moreno, Oscar Pastor-Lopez, Juan Carlos Molina-Udaeta, Jose Miguel Barbera-Alonso
-
Patent number: 7278130Abstract: 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.Type: GrantFiled: June 1, 2001Date of Patent: October 2, 2007Assignee: Sosy, Inc.Inventors: Jose Iborra, Oscar Pastor
-
Patent number: 6681383Abstract: 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.Type: GrantFiled: April 4, 2000Date of Patent: January 20, 2004Assignee: Sosy, Inc.Inventors: Oscar Pastor, José Iborra