G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/44 (2006.01)
Patent
CA 2403975
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.
L'invention concerne un système automatique de production de logiciel. Dans ce système, les besoins du système sont enregistrés et convertis en spécification formelle puis validés à des fins d'exactitude et de complétude. En outre, le système comprend un traducteur permettant de produire automatiquement une application logicielle robuste et complète basée sur la spécification formelle, comprenant un code interface-utilisateur et un code de traitement d'erreur.
Iborra Jose
Pastor Oscar
Johnson Ernest Peter
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: LFCA-PAI-O-1395271