[go: up one dir, main page]

BRPI0817256A2 - Interpretação de modelo declarativo - Google Patents

Interpretação de modelo declarativo

Info

Publication number
BRPI0817256A2
BRPI0817256A2 BRPI0817256-0A BRPI0817256A BRPI0817256A2 BR PI0817256 A2 BRPI0817256 A2 BR PI0817256A2 BR PI0817256 A BRPI0817256 A BR PI0817256A BR PI0817256 A2 BRPI0817256 A2 BR PI0817256A2
Authority
BR
Brazil
Prior art keywords
declarative model
model interpretation
interpretation
declarative
model
Prior art date
Application number
BRPI0817256-0A
Other languages
English (en)
Inventor
1 Antony Scott Williams; 2 Siddharth Jayadevan Ken
Original Assignee
Microsoft Corp
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 Microsoft Corp filed Critical Microsoft Corp
Publication of BRPI0817256A2 publication Critical patent/BRPI0817256A2/pt

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
BRPI0817256-0A 2007-10-26 2008-10-26 Interpretação de modelo declarativo BRPI0817256A2 (pt)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US11/925,741 US20090112570A1 (en) 2007-10-26 2007-10-26 Declarative model interpretation
PCT/US2008/081239 WO2009055759A2 (en) 2007-10-26 2008-10-26 Declarative model interpretation

Publications (1)

Publication Number Publication Date
BRPI0817256A2 true BRPI0817256A2 (pt) 2015-06-16

Family

ID=40580434

Family Applications (1)

Application Number Title Priority Date Filing Date
BRPI0817256-0A BRPI0817256A2 (pt) 2007-10-26 2008-10-26 Interpretação de modelo declarativo

Country Status (5)

Country Link
US (1) US20090112570A1 (pt)
EP (1) EP2203813A2 (pt)
JP (1) JP2011501327A (pt)
BR (1) BRPI0817256A2 (pt)
WO (1) WO2009055759A2 (pt)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110035732A1 (en) * 2009-08-06 2011-02-10 Wynne Crisman Method and apparatus for defining and compiling or converting language and user interface system agnostic view definitions to runnable code
US8756515B2 (en) * 2009-11-16 2014-06-17 Microsoft Corporation Dynamic editors for functionally composed UI
JP2014153783A (ja) * 2013-02-05 2014-08-25 Fuji Electric Co Ltd オブジェクト指向プログラム生成装置、オブジェクト指向プログラム生成方法およびオブジェクト指向プログラム生成用プログラム
CN105320504B (zh) * 2014-06-25 2018-08-17 成都普中软件有限公司 一种基于软件元视图构造软件视图的可视软件建模方法
US10185549B2 (en) * 2016-06-28 2019-01-22 Microsoft Technology Licensing, Llc Updating live system with static changes

Family Cites Families (20)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6330008B1 (en) * 1997-02-24 2001-12-11 Torrent Systems, Inc. Apparatuses and methods for monitoring performance of parallel computing
JP3339408B2 (ja) * 1998-04-13 2002-10-28 日本電気株式会社 データ変換装置およびデータ変換装置のデータ変換方法
JP3940922B2 (ja) * 2003-01-23 2007-07-04 日本電気株式会社 ソフトウェアコード生成装置、ソフトウェアコード生成方法および記録媒体並びにプログラム
JP2004310279A (ja) * 2003-04-03 2004-11-04 Sumisho Computer Systems Corp 業務処理システムおよびその構築支援装置、業務処理システム用プログラム、業務処理システムの構築支援用プログラム
US7207038B2 (en) * 2003-08-29 2007-04-17 Nokia Corporation Constructing control flows graphs of binary executable programs at post-link time
US7363578B2 (en) * 2004-06-03 2008-04-22 Microsoft Corporation Method and apparatus for mapping a data model to a user interface model
JP4275013B2 (ja) * 2004-06-21 2009-06-10 三洋電機株式会社 データフローグラフ処理装置、処理装置、リコンフィギュラブル回路。
EP1622009A1 (en) * 2004-07-27 2006-02-01 Texas Instruments Incorporated JSM architecture and systems
US7941794B2 (en) * 2004-08-30 2011-05-10 Sanyo Electric Co., Ltd. Data flow graph processing method and processing apparatus provided with reconfigurable circuit
US7472382B2 (en) * 2004-08-30 2008-12-30 International Business Machines Corporation Method for optimizing software program using inter-procedural strength reduction
US7561673B2 (en) * 2004-09-30 2009-07-14 Microsoft Corporation Integration of speech services with telecommunications
US8132148B2 (en) * 2005-04-29 2012-03-06 Microsoft Corporation XML application framework
US20070043803A1 (en) * 2005-07-29 2007-02-22 Microsoft Corporation Automatic specification of semantic services in response to declarative queries of sensor networks
US8127269B2 (en) * 2005-08-04 2012-02-28 International Business Machines Corporation Transforming a flow graph model to a structured flow language model
US7774769B2 (en) * 2005-09-22 2010-08-10 Intel Corporation Transmitting trace-specific information in a transformed application
US8407610B2 (en) * 2005-09-30 2013-03-26 Sap Portals Israel Ltd. Executable and declarative specification for graphical user interfaces
US8166467B2 (en) * 2006-01-11 2012-04-24 Ecole Polytechnique Federale De Lausanne Automatic identification of application-specific functional units with architecturally visible storage
JP2007241435A (ja) * 2006-03-06 2007-09-20 Mitsubishi Electric Corp モデル生成装置及びモデル生成用プログラム
US8046751B1 (en) * 2007-01-11 2011-10-25 The Mathworks, Inc. Structuring unstructured regions in a control flow graph
US8359583B2 (en) * 2007-08-22 2013-01-22 Coverity, Inc. Methods for selectively pruning false paths in graphs that use high-precision state information

Also Published As

Publication number Publication date
WO2009055759A3 (en) 2009-07-02
WO2009055759A2 (en) 2009-04-30
EP2203813A2 (en) 2010-07-07
US20090112570A1 (en) 2009-04-30
JP2011501327A (ja) 2011-01-06

Similar Documents

Publication Publication Date Title
BRPI0817829A2 (pt) Comunicador
EP2193495A4 (en) DYNAMIC INSTANT COMMENTS
EP2193127A4 (en) BENZOTHIAZOLE COMPOUNDS
HRP20170963T1 (hr) Modificirani saharidi
EP2079350A4 (en) DISHWASHER
DK2132326T3 (da) Fremgangsmåder
EP2117413A4 (en) DISHWASHER
BRPI0907217A2 (pt) Modelo de cabeça em o.
BRPI1009424A2 (pt) contador
BRPI0911081A2 (pt) modelo de edifício sustentável
EP2373199A4 (en) REVERSIBLE MATTRESS
PT2408498T (pt) Contador
DE112008003753B8 (de) Reißverschluss
DK2379722T3 (da) Ekspressionsvektor
BRPI1008910A2 (pt) identificação de objeto utilizando modelo de geração
BRPI0817256A2 (pt) Interpretação de modelo declarativo
PL2090199T3 (pl) Tułów
FI20075084A0 (fi) Tietokoneavusteinen mallintaminen
DK2143343T3 (da) Indlæringsforbedring
EP2164379A4 (en) DISHWASHER
SE0701400L (sv) Odlingssystem
EP2202304A4 (en) MODIFIED CREATININE AMIDOHYDROLASE
SE0702098L (sv) Hållaranordning
FI20070190L (fi) Bioreaktori
ES1068258Y (es) Maqueta de construccion

Legal Events

Date Code Title Description
B08F Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette]

Free format text: REFERENTE AS 5A, 6A E 7A ANUIDADES.

B08K Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette]

Free format text: EM VIRTUDE DO ARQUIVAMENTO PUBLICADO NA RPI 2343 DE 01-12-2015 E CONSIDERANDO AUSENCIA DE MANIFESTACAO DENTRO DOS PRAZOS LEGAIS, INFORMO QUE CABE SER MANTIDO O ARQUIVAMENTO DO PEDIDO DE PATENTE, CONFORME O DISPOSTO NO ARTIGO 12, DA RESOLUCAO 113/2013.