Automatic software production system

Data processing: software development – installation – and managem – Software program development tool – Software project management

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Reexamination Certificate

active

07555742

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: 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: 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: 6681383 (2004-01-01), Iborra et al.
patent: 6850922 (2005-02-01), Wason
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., “Diseño de un Entomo de Producción de Software basado en el Languaje de Especificación OASIS y en la utilización de PowerBuilder como Herramienta de Desarrollo Gráfica y C/S”(In Spanish), Master Thesis, Velencia, 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óny comprobación de restricciones de integridad dinámicas en entomos de programación orientados a objectos”(In Spanish), II 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 Computer 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., “Ingenierla 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 International Conference on Computer-Aided Design of User Interfaces CADUI'2002, Kluwer Academics Publisher, Dordrecht, pp. 63-74, Valenciennes, France, May 2002.
Molina, P., et al., “User Interface Conceptual Patterns”,In Proceedings of the 4th International Workshop on Design Specification & Verification of Information Systems

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-4144843

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.