【手続補正書】
【提出日】平成17年6月9日(2005.6.9)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】００１３
【補正方法】変更
【補正の内容】
【００１３】
その他のアプローチとしてはＲａｔｉｏｎａｌ法やＳｔｅｒｌｉｎｇ法などがあるが、これらは公式言語によるものではない。
【特許文献１】米国特許第５，９６０，２００号
【非特許文献１】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: Implementacion de un Entorno Grafico para el Analisis y Diseno de Sistemas De Informacion OO” (In Spanish), Master Thesis, 1994.
【非特許文献３】Pelechano, V., et al., “CASE OO-Method: Un Entorno de Produccion Automatica de Software” (In Spanish) Actas de la Convencio Informatica Latina CIL-95, Barcelona, June, 1995.
【非特許文献４】Romero, J., “Diseno de un Entorno de Produccion de Software basado en el Lenguaje de Especificacion OASIS y en la utilizacion de PowerBuilder como Herramienta de Desarrollo Grafica y C/S” (In Spanish), Master Thesis, Valencia, March, 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) pgs. 29-39 Springer-Verlag. 1996, ISBN: 3-540-61656-x, ISSN: 0302-9743, Zurich (Suisse) [Pastor 96aO]:
【非特許文献６】Pelechano, V., et al., “Implementacion y comprobacion de restricciones de integridad dinamicas en entornos de programacion orientados a objectos” (In Spanish), II Jornadas Nacionales de Ingenieria de Software, Universidad el Pais Vasco, San Sebastian, 3-5 Septiembre 1997, pgs. 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 pg. 36, April, 1997.
【非特許文献１０】Romero, J., et al., “Una Herramienta de Generacion Automatica de Software” (In Spanish) In Procs of IDEAS-98 - I Workshop Iberoamericano en Ingenieria de Requisitos y Ambientes Software, Porto Alegre, Brasil, April, 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), pgs. 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), pgs. 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, pgs. 59-70, San Petersburgo, Russia, July, 1998.
【非特許文献１４】Romero, J., et al., “Automatic Object-Oriented Visual Programming with OO-METHOD”, Software and Hardware Engineering for the 21th Century, pgs. 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) pgs. 332-341 Springer-Verlag, 1999, ISBN: 3-540-66448-3; ISSN: 0302-9743, Florencia (Italia).
【非特許文献１６】Torres, I., “Disseny i Implementacio 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, pgs. 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, October 2001, Vol. 26/7, pgs. 507-534.
【非特許文献１９】Molina, P., “Especificacion, de Interfaz de Usuario en OO-Method” (In Spanish) Master Thesis, September 1998, DSIC/UPV, Valencia, Spain.
【非特許文献２０】Insfran, 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, pgs. 181-192, April, 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, pgs. 72-79, Mary, 2001.
【非特許文献２２】Molina, P., et al., “Prototipado rapido de interfaces de usuario”, (In Spanish), In Procs. Of IDEAS’2002, La Habana, Cuba, pgs. 78-90, April, 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, pgs. 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 DSV-IS’2002, Rostock, Germany, pgs. 201-214, June, 2002.