Data processing: software development – installation – and managem – Software program development tool – Modeling
Reexamination Certificate
2006-10-10
2011-10-11
Chavis, John (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Modeling
Reexamination Certificate
active
08037449
ABSTRACT:
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.
REFERENCES:
patent: 4734854 (1988-03-01), Afshar
patent: 4841441 (1989-06-01), Nixon et al.
patent: 5027305 (1991-06-01), Tanaka et al.
patent: 5159687 (1992-10-01), Richburg
patent: 5185867 (1993-02-01), Ito
patent: 5204939 (1993-04-01), Yamazaki et al.
patent: 5371895 (1994-12-01), Bristol
patent: 5459866 (1995-10-01), Akiba et al.
patent: 5481718 (1996-01-01), Ryu et al.
patent: 5485601 (1996-01-01), Ching
patent: 5495567 (1996-02-01), Iizawa et al.
patent: 5499371 (1996-03-01), Henninger et al.
patent: 5561802 (1996-10-01), Orimo et al.
patent: 5581670 (1996-12-01), Bier et al.
patent: 5586329 (1996-12-01), Knudsen et al.
patent: 5603018 (1997-02-01), Terada et al.
patent: 5617114 (1997-04-01), Bier et al.
patent: 5640576 (1997-06-01), Kobayashi et al.
patent: 5742754 (1998-04-01), Tse
patent: 5742827 (1998-04-01), Ohkubo et al.
patent: 5758160 (1998-05-01), McInerney et al.
patent: 5790760 (1998-08-01), Arima
patent: 5798752 (1998-08-01), Buxton et al.
patent: 5805891 (1998-09-01), Bizuneh et al.
patent: 5842205 (1998-11-01), Brann
patent: 5875331 (1999-02-01), Lindsey
patent: 5878262 (1999-03-01), Shoumura et al.
patent: 5956725 (1999-09-01), Burroughs et al.
patent: 5960200 (1999-09-01), Eager et al.
patent: 5966534 (1999-10-01), Cooke et al.
patent: 5995736 (1999-11-01), Aleksic et al.
patent: 6058493 (2000-05-01), Talley
patent: 6199195 (2001-03-01), Goodwin et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6289502 (2001-09-01), Garland et al.
patent: 6385765 (2002-05-01), Cleaveland et al.
patent: 6393456 (2002-05-01), Ambler et al.
patent: 6571232 (2003-05-01), Goldberg et al.
patent: 6618852 (2003-09-01), Van Eikeren et al.
patent: 6681383 (2004-01-01), Pastor et al.
patent: 6850922 (2005-02-01), Wason
patent: 7032210 (2006-04-01), Alloing et al.
patent: 7137100 (2006-11-01), Iborra et al.
patent: 7278130 (2007-10-01), Iborra et al.
patent: 7334216 (2008-02-01), Molina-Moreno et al.
patent: 2002/0120859 (2002-08-01), Lipkin et al.
patent: 2003/0079180 (2003-04-01), Cope
Letelier, P., et al., “OASIS Version 3.0: Un Enfoque Formal Para el Modelado Conceptual Orientado a Objectos” (in Spanish), ISBN: 84-7721-663-0, Legal Diposit: V-3484-1998, Servicio de Publicaciones de la UPV, SP-UPV 98-4011, Valencia, Spain, 1998.
Pelechano, V., “OO-Method: Implementación de un Entomo Gráfico para el Análisis y Diseño de Sistemas De Información OO” (in Spanish), Master Thesis, 1994.
Pelechano. V., et al., “CASE OO-Method: Un Entomo de Producción Automática de Software” (in Spanish) Actas de la Convenció Informática Latina CIL-95, Barcelona, Jun. 1995.
Romero, J., “Diserño de un Entomo de Producción de Software basado en el Lenguaje de Especificación OASIS y en la utilización de PowerBuilder como Herramienta de Desarrollo Gráfica y C/S”(in Spanish), Master Thesis, Valencia, Mar. 1996.
Pastor, O., et al., “An Object Oriented Methodological Approach for Making Automated Prototyping Feasible”, Database and Expert Systems Applications. Lecture Notes in Computer Science (1134) pp. 29-39 Springer-Verlag. 1996, ISBN: 3-540-61656-x, ISSN: 0302 9743, Zurich (Suisse).
Pelechano, V., et al., “Implementación y comprobación de restricciones de integridad dinámicas en entomos de programación orientados a objectos” (in Spanish), Il Jornadas Nacionales de Ingenieria de Software, Universidad el Pais Vasco, San Sebastián, Sep. 3-5, 1997, pp. 101-117.
Pastor, O., et al., “Linking Object-Oriented Conceptual Modeling with Object-Oriented Implementation in Java”, VIII Conference on Database and Expert Systems Applications, (DEXA'1997). ISGN: 3-540-63478-9, LNCS (1308). Toulouse, France, 1997.
Pastor, O., et al., “OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods”, 9th International Conference on Advanced Information Systems Engineering, (CaiSE'1997) ISGN: 3-540-63107-0, LNCS (1250), Barcelona, Spain, 1997.
Pastor, O., et al., “Object Oriented Conceptual Modeling Techniques to Design and Implement a Sound and Robust Oracle Environment” Actas de Oracle OpenWorld 97, Viena (Austria) 7-11 Abstract publicado en Oracle OpenWorld Review p. 36, Apr. 1997.
Romero, J., et al., “Una Herramienta de Generación Automática de Software” (in Spanish) In Procs of Ideas-98—I Workshop Iberoamericano en Ingenieria de Requisitos y Ambientes Software, Porto Alegre, Brasil, Apr. 1998.
Gomez, J., et al., “The Execution Model: A Component-Based Arquitecture to Generate Software Components from Conceptual Models” In Procs of International Workshop on Component-based Information Systems Engineering, 10th International Conference on Advanced Information Systems Engineering, CAiSE-98 Pisa (Italia), pp. 87-94, ISSN 1170-487X.
Pastor, O., et al., “From Object Oriented Conceptual Modeling to Automated Programming in Java”, Conceptual Modeling—ER'98. Lecture Notes in Comptuer Science (1507), pp. 183 197, Springer-Verlag, 1998, ISBN: 3-540-65189-6, ISSN: 0302-9743, Singapur.
Pastor, O., et al., “Mapping Aggregation from Object-Oriented Conceptual Modeling to Object Oriented Programming”, In Procs of Third International Conference on Object-Oriented Technology, WOON-98, pp. 59-70, San Petersburgo, Russia, Jul. 1998.
Romero, J., et al., “Automatic Object-Oriented Visual Programming with OO-METHOD”, Software and Hardware Engineering for the 21th Century, pp. 345-354, World Scientific and Engineering Society Press. ISBN: 960-8052-06-8.
Gomez, J., et al., “From Object-Oriented Conceptual Modeling to Component-Based Development” Database and Expert Systems Applications. Lecture Notes in Computer Science (1677) pp. 332-341 Springer-Verlag, 1999, ISBN: 3-540-66448-3; ISSN: 0302-9743, Florencia (Italia).
Torres, I., “Disseny i Implementació d'un Diccionari de Dades per a un Model Conceptual” (In Valenciano), Master Thesis, 2000.
Pelechano, V., et al., “An Automatic Code Generation Process for Dynamic Specialization Based on Design Patterns and Formal Techniques”, Actas de la IFIP International Conference on Software: Theory and Practice (ICS-2000), 16th IFIP World Computer Congress, pp. 526 539, Pekin (China), Agosto 2000, ISBN-7-5053-6100-4, Publishing House of Electronics Industry.
Pastor, O., “The OO Method Approach for Information Systems Modeling: From Object Oriented Conceptual Modeling to Automatic Programming”, Information Systems Journal, Elsevier Science, Oct. 2001, vol. 26/7, pp. 507-534.
Molina, P., “Especificación, de Interfaz de Usuario en OO-METHOD” (in Spanish) Master Thesis, Sep. 1998, DSIC/UPV, Valencia, Spain.
Insfrán, E., et al., “Ingenieria de Requisitos aplicada al modelado conceptual de interfax de usuario” (in Spanish), In Procs. Of IDEAS'2001, Santo Domingo, Heredia, Costa Rica, CIT, pp. 181-192, Apr. 2001.
Molina, P., et al., “Specifying Conceptual Interface Patterns in an Object-Oriented Method with Code Generation”, In Proceedings of User Interfaces for Data Intensive Systems, UIDIS'2001, Zurich, Switzerland, IEEE Computer Society, pp. 72-79, Mary, 2001.
Molina, P., et al., “Prototipado rápido de interfaces de usuario”, (in Spanish), In Procs. Of IDEAS'2002, La Habana, Cuba, pp. 78-90, Apr. 2002.
Molina, P., et al., “JUST-UI: A User Interface Specification Model” In Computer-Aided Design of User Interfaces III, Proceedings of the 4th Internati
Iborra José
Pastor Oscar
Chavis John
Fish Ron
Sosy Inc.
LandOfFree
Automatic software production system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automatic software production system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic software production system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4274533