WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2007056807) PROCEDE ET SYSTEME DE DEVELOPPEMENT DE LOGICIEL INFORMATIQUE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2007/056807    N° de la demande internationale :    PCT/AU2006/001712
Date de publication : 24.05.2007 Date de dépôt international : 17.11.2006
CIB :
G06F 9/45 (2006.01)
Déposants : CREWDSON, Robert, Arthur [AU/AU]; (AU)
Inventeurs : CREWDSON, Robert, Arthur; (AU)
Mandataire : PHILLIPS ORMONDE & FITZPATRICK; Levels 21 & 22, 367 Collins Street, Melbourne, Victoria 3000 (AU)
Données relatives à la priorité :
2005906386 18.11.2005 AU
Titre (EN) COMPUTER SOFTWARE DEVELOPMENT SYSTEM AND METHOD
(FR) PROCEDE ET SYSTEME DE DEVELOPPEMENT DE LOGICIEL INFORMATIQUE
Abrégé : front page image
(EN)A method of implementing a software system on a target-platform is disclosed. The method includes preparing a specification document including statements that collectively specify requirements of the software system. The requirement statements are expressed with language elements of a specification language, and the specification document has an associated source file. In an embodiment, the source file is provided to a driver-code generator which translates the source file into a driver-code file readable by a run-time engine resident on the target-platform to provide, on execution of the driver-code file by the run-time engine, a software system compliant with the specified requirements.
(FR)La présente invention concerne un procédé de mise en oeuvre d'un système logiciel sur une plate-forme cible. Le procédé inclut la préparation d'un document de spécification incluant des rapports qui spécifient collectivement des exigences du système logiciel. Les rapports d'exigences sont exprimés avec des éléments d'un langage de spécification et le document de spécification a un fichier source associé. Selon un mode de réalisation, le fichier source est fourni à un générateur de code pilote qui traduit le fichier source en un fichier de code pilote pouvant être lu par un moteur d'exécution situé sur la plate-forme cible, pour fournir, à l'exécution du fichier de code pilote par le moteur d'exécution, un système logiciel conforme aux exigences spécifiées.
États désignés : AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BW, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LV, LY, MA, MD, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IS, IT, LT, LU, LV, MC, NL, PL, PT, RO, SE, SI, SK, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)