BRPI0817256A2 - Interpretação de modelo declarativo - Google Patents
Interpretação de modelo declarativoInfo
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software 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)
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)
| 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)
| 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 |
-
2007
- 2007-10-26 US US11/925,741 patent/US20090112570A1/en not_active Abandoned
-
2008
- 2008-10-26 EP EP08842304A patent/EP2203813A2/en not_active Withdrawn
- 2008-10-26 BR BRPI0817256-0A patent/BRPI0817256A2/pt not_active IP Right Cessation
- 2008-10-26 WO PCT/US2008/081239 patent/WO2009055759A2/en not_active Ceased
- 2008-10-26 JP JP2010531305A patent/JP2011501327A/ja active Pending
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. |