FR2864284B1 - Procede de verification de regles sur les modeles uml - Google Patents

Procede de verification de regles sur les modeles uml

Info

Publication number
FR2864284B1
FR2864284B1 FR0315023A FR0315023A FR2864284B1 FR 2864284 B1 FR2864284 B1 FR 2864284B1 FR 0315023 A FR0315023 A FR 0315023A FR 0315023 A FR0315023 A FR 0315023A FR 2864284 B1 FR2864284 B1 FR 2864284B1
Authority
FR
France
Prior art keywords
uml models
verifying
rules
verifying rules
uml
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
FR0315023A
Other languages
English (en)
Other versions
FR2864284A1 (fr
Inventor
Arnaud Bailleul
Saux Thierry Le
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Thales SA
Original Assignee
Thales SA
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Thales SA filed Critical Thales SA
Priority to FR0315023A priority Critical patent/FR2864284B1/fr
Priority to US10/583,137 priority patent/US20070240097A1/en
Priority to PCT/EP2004/053367 priority patent/WO2005069129A1/fr
Publication of FR2864284A1 publication Critical patent/FR2864284A1/fr
Application granted granted Critical
Publication of FR2864284B1 publication Critical patent/FR2864284B1/fr
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
  • Document Processing Apparatus (AREA)
FR0315023A 2003-12-19 2003-12-19 Procede de verification de regles sur les modeles uml Expired - Fee Related FR2864284B1 (fr)

Priority Applications (3)

Application Number Priority Date Filing Date Title
FR0315023A FR2864284B1 (fr) 2003-12-19 2003-12-19 Procede de verification de regles sur les modeles uml
US10/583,137 US20070240097A1 (en) 2003-12-19 2004-12-09 Method For Verifying Rules On Uml Models
PCT/EP2004/053367 WO2005069129A1 (fr) 2003-12-19 2004-12-09 Procede de verification de regles sur les modeles uml

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0315023A FR2864284B1 (fr) 2003-12-19 2003-12-19 Procede de verification de regles sur les modeles uml

Publications (2)

Publication Number Publication Date
FR2864284A1 FR2864284A1 (fr) 2005-06-24
FR2864284B1 true FR2864284B1 (fr) 2006-04-21

Family

ID=34630356

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0315023A Expired - Fee Related FR2864284B1 (fr) 2003-12-19 2003-12-19 Procede de verification de regles sur les modeles uml

Country Status (3)

Country Link
US (1) US20070240097A1 (fr)
FR (1) FR2864284B1 (fr)
WO (1) WO2005069129A1 (fr)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2863386A1 (fr) 2003-12-09 2005-06-10 Thales Sa Procede de generation de code c a partir de specifications uml
US7797673B2 (en) * 2004-12-16 2010-09-14 The Mathworks, Inc. Applying coding standards in graphical programming environments
WO2007041901A1 (fr) * 2005-10-14 2007-04-19 Honeywell International, Inc. Système et procédé pour une vérification formelle de diagrammes d'état
US20090144695A1 (en) * 2007-11-30 2009-06-04 Vallieswaran Vairavan Method for ensuring consistency during software development
US20100318396A1 (en) * 2009-06-15 2010-12-16 Infosys Technologies Limited Framework for supporting repair processes of aircraft
WO2015130675A2 (fr) 2014-02-26 2015-09-03 Western Michigan University Research Foundation Appareil et procédé de test d'implémentation de programme d'ordinateur selon un modèle de conception

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6874146B1 (en) * 1999-06-30 2005-03-29 Unisys Corporation Metadata driven system for effecting extensible data interchange based on universal modeling language (UML), meta object facility (MOF) and extensible markup language (XML) standards
AU2002214209A1 (en) * 2000-11-03 2002-05-15 Wilde Technologies Limited A software development process
US7480893B2 (en) * 2002-10-04 2009-01-20 Siemens Corporate Research, Inc. Rule-based system and method for checking compliance of architectural analysis and design models
FR2863386A1 (fr) * 2003-12-09 2005-06-10 Thales Sa Procede de generation de code c a partir de specifications uml
FR2863743B1 (fr) * 2003-12-16 2008-06-13 Thales Sa Procede de tracabilite des exigences a partir d'un modele uml
FR2864285A1 (fr) * 2003-12-19 2005-06-24 Thales Sa Procede de remontee automatique des exigences de modeles uml et de leur mise a jour
FR2864280A1 (fr) * 2003-12-19 2005-06-24 Thales Sa Procede de realisation d'une chaine documentaire et de sa mise a jour a partir d'un modele structure

Also Published As

Publication number Publication date
WO2005069129A1 (fr) 2005-07-28
US20070240097A1 (en) 2007-10-11
FR2864284A1 (fr) 2005-06-24

Similar Documents

Publication Publication Date Title
DE60315947D1 (de) Verfahren zur Sprachmodellierung
DE60314676D1 (de) Vorrichtung zur Einparkhilfe
DE602004017170D1 (de) Mit öffnungen versehene abrichtescheibe verwendendes verfahren
DE602004017656D1 (de) Vorrichtung zur Verifizierung biometrischer Information
DE502004011409D1 (de) Vorrichtung zur Schwingungsdämpfung
NO20055756D0 (no) Fremgangsmate for nedlasting for perifere anordninger
IS8420A (is) Aðferð fyrir örugga auðkenningu
DE602005023270D1 (de) Vorrichtung und verfahren zur modellierung von beziehungen zwischen signalen
NO20043157L (no) Nedhulls proveapparat samt fremgangsmate
DE602005001383D1 (de) Optisches Taktrückgewinnungs-Verfahren und zugehörige Vorrichtung
NO20044189L (no) Fremgangsmate for bestemmelse av anisotropiske parametere
DE602005013961D1 (de) Vorrichtung und verfahren zur verbindungsverifikation
DE60328144D1 (de) Bilderzeugende Vorrichtung
DE602004010207D1 (de) Kraftstoffgeschmierte Vorrichtung
DE50306332D1 (de) Pedalsimulationseinrichtung
DK1483099T3 (da) Rørelement samt fremstillingmetode og apparat
FR2864284B1 (fr) Procede de verification de regles sur les modeles uml
ATA2632003A (de) Vorrichtung zum vereinzeln von münzen
FR2862834B1 (fr) Procede et dispositif de video-projection
ATE373610T1 (de) Neuartige vorrichtung
DE60323803D1 (de) Vorrichtung zur Fehlererkennung
DE212005000005U8 (de) Vorrichtung zur adaptiven Datenanalyse
DE60312476D1 (de) Mikro-elektromechanische vorrichtung
NO20035626D0 (no) Metode
DE60313427D1 (de) Gerät zur Sprecherüberprüfung

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 13

PLFP Fee payment

Year of fee payment: 14

ST Notification of lapse

Effective date: 20180831