WO2008123021A2 - 論理式生成装置、及び論理式生成方法 - Google Patents

論理式生成装置、及び論理式生成方法 Download PDF

Info

Publication number
WO2008123021A2
WO2008123021A2 PCT/JP2008/052040 JP2008052040W WO2008123021A2 WO 2008123021 A2 WO2008123021 A2 WO 2008123021A2 JP 2008052040 W JP2008052040 W JP 2008052040W WO 2008123021 A2 WO2008123021 A2 WO 2008123021A2
Authority
WO
WIPO (PCT)
Prior art keywords
logical expression
expression generating
generating device
generating method
logical
Prior art date
Application number
PCT/JP2008/052040
Other languages
English (en)
French (fr)
Inventor
Natsuko Noda
Original Assignee
Nec Corporation
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 Nec Corporation filed Critical Nec Corporation
Priority to JP2009508946A priority Critical patent/JPWO2008123021A1/ja
Publication of WO2008123021A2 publication Critical patent/WO2008123021A2/ja

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming

Abstract

pct-art17.2a
PCT/JP2008/052040 2007-03-06 2008-02-07 論理式生成装置、及び論理式生成方法 WO2008123021A2 (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2009508946A JPWO2008123021A1 (ja) 2007-03-06 2008-02-07 論理式生成装置、及び論理式生成方法

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2007-055632 2007-03-06
JP2007055632 2007-03-06

Publications (1)

Publication Number Publication Date
WO2008123021A2 true WO2008123021A2 (ja) 2008-10-16

Family

ID=39831493

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2008/052040 WO2008123021A2 (ja) 2007-03-06 2008-02-07 論理式生成装置、及び論理式生成方法

Country Status (2)

Country Link
JP (1) JPWO2008123021A1 (ja)
WO (1) WO2008123021A2 (ja)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010152528A (ja) * 2008-12-24 2010-07-08 Nec Corp 時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム
WO2022074825A1 (ja) * 2020-10-09 2022-04-14 日本電気株式会社 動作指令生成装置、動作指令生成方法及び記憶媒体
WO2022074824A1 (ja) * 2020-10-09 2022-04-14 日本電気株式会社 時相論理式生成装置、時相論理式生成方法及び記憶媒体

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010152528A (ja) * 2008-12-24 2010-07-08 Nec Corp 時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム
WO2022074825A1 (ja) * 2020-10-09 2022-04-14 日本電気株式会社 動作指令生成装置、動作指令生成方法及び記憶媒体
WO2022074824A1 (ja) * 2020-10-09 2022-04-14 日本電気株式会社 時相論理式生成装置、時相論理式生成方法及び記憶媒体
JP7435814B2 (ja) 2020-10-09 2024-02-21 日本電気株式会社 時相論理式生成装置、時相論理式生成方法及びプログラム
JP7435815B2 (ja) 2020-10-09 2024-02-21 日本電気株式会社 動作指令生成装置、動作指令生成方法及びプログラム

Also Published As

Publication number Publication date
JPWO2008123021A1 (ja) 2010-07-15

Similar Documents

Publication Publication Date Title
BRPI0915433A2 (pt) método, e, dispositivo.
CY2016005I1 (el) Αλκαλικη φωσφαταση στοχευμενη στα οστα, κιτ και μεθοδοι χρησης αυτων
NL2002105A1 (nl) Improved Navigation Device and Method.
DE602008003068D1 (de) Vorrichtungsanschluss, Anschlussverfahren und Vorrichtung dafür
BRPI0920406A2 (pt) dispositivos de terminação e métodos relacionados.
BRPI0811137A2 (pt) Método, e, dispositivo de usuário
BRPI0814467A2 (pt) Método, e, biocombustível
BRPI0913752A2 (pt) método, dispositivo, e, estrutura
NO20073935L (no) Tetningsarrangement, samt tilhorende fremgangsmate
BRPI0814466A2 (pt) Método.
BRPI0807225A2 (pt) Dispositivo e método endocirúrgico
BRPI0818772A2 (pt) Dispositivo, método, e, meio legível por computador.
BRPI0815365A2 (pt) Dispositivo de radiocomunicação e método de radiocomunicação
BRPI0811561A2 (pt) Dispositivo de iluminação e método de iluminação
BRPI0816907A2 (pt) Método e dispositivo
BRPI0913227A2 (pt) método, e objeto
BRPI0819980A2 (pt) Conjunto e método de sutura
WO2009017231A2 (ja) パターン検査システム、パターン検査装置、方法およびパターン検査用プログラム
BRPI0812279A2 (pt) Métodos de detecção de adesivo.
BRPI0913112A2 (pt) fluxímetro, e, método.
BRPI0917637A2 (pt) método, e, dispositivo de armazenamento de hardware
WO2009025271A2 (ja) ロボットの制御装置および制御方法
FI20075686A0 (fi) Konfigurointimenetelmä ja -laite
BRPI0916991A2 (pt) método, e dispositivo eletrônico
BRPI0822898A2 (pt) Dispositivo de interface de usuário, método para iluminar o dispositivo de interface de usuário e dispositivo de interface

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 08710919

Country of ref document: EP

Kind code of ref document: A2

DPE1 Request for preliminary examination filed after expiration of 19th month from priority date (pct application filed from 20040101)
ENP Entry into the national phase in:

Ref document number: 2009508946

Country of ref document: JP

Kind code of ref document: A

NENP Non-entry into the national phase in:

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 08710919

Country of ref document: EP

Kind code of ref document: A2