FI20031811A - A method for object-based code simulation and analysis and the like product - Google Patents
A method for object-based code simulation and analysis and the like product Download PDFInfo
- Publication number
- FI20031811A FI20031811A FI20031811A FI20031811A FI20031811A FI 20031811 A FI20031811 A FI 20031811A FI 20031811 A FI20031811 A FI 20031811A FI 20031811 A FI20031811 A FI 20031811A FI 20031811 A FI20031811 A FI 20031811A
- Authority
- FI
- Finland
- Prior art keywords
- analysis
- product
- based code
- code simulation
- simulation
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FI20031811A FI20031811A (en) | 2003-12-11 | 2003-12-11 | A method for object-based code simulation and analysis and the like product |
PCT/FI2004/000754 WO2005071534A2 (en) | 2003-12-11 | 2004-12-10 | A process for simulating and analysing an object-oriented code and the corresponding software product |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FI20031811A FI20031811A (en) | 2003-12-11 | 2003-12-11 | A method for object-based code simulation and analysis and the like product |
Publications (2)
Publication Number | Publication Date |
---|---|
FI20031811A0 FI20031811A0 (en) | 2003-12-11 |
FI20031811A true FI20031811A (en) | 2005-06-12 |
Family
ID=29763508
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FI20031811A FI20031811A (en) | 2003-12-11 | 2003-12-11 | A method for object-based code simulation and analysis and the like product |
Country Status (2)
Country | Link |
---|---|
FI (1) | FI20031811A (en) |
WO (1) | WO2005071534A2 (en) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN100458728C (en) * | 2006-10-19 | 2009-02-04 | 北京中星微电子有限公司 | Method and system for simulating chip operation |
CN101819536B (en) * | 2010-05-14 | 2012-11-28 | 西安交通大学 | Particle-oriented program constructing method |
CN103530147B (en) * | 2013-09-17 | 2016-08-24 | 西安交通大学 | A kind of mobile terminal code update method towards grain |
CN116467220B (en) * | 2023-06-13 | 2023-09-08 | 北京航空航天大学 | Software static analysis-oriented cyclic code processing method and device |
-
2003
- 2003-12-11 FI FI20031811A patent/FI20031811A/en not_active Application Discontinuation
-
2004
- 2004-12-10 WO PCT/FI2004/000754 patent/WO2005071534A2/en active Application Filing
Also Published As
Publication number | Publication date |
---|---|
FI20031811A0 (en) | 2003-12-11 |
WO2005071534A2 (en) | 2005-08-04 |
WO2005071534A8 (en) | 2006-04-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
NO20032220L (en) | Ceiling Tool II and method for using the same | |
BRPI0313238A2 (en) | method | |
DE602004025616D1 (en) | A facility controller, method and program | |
NO20053315D0 (en) | Alternative packing kit method. | |
GB0322050D0 (en) | Modelling and simulation method | |
FI20020314A (en) | Method for making board and board product | |
FI20020280A0 (en) | A piping element and a method and apparatus for making it | |
DE60212776D1 (en) | Specific binding analysis method | |
FI20010075A (en) | Functional product and method | |
AU2003272890A8 (en) | Static analysis method for lyee-oriented software | |
AU2003284021A1 (en) | Benefits qualification analysis and application method and computer readable code | |
BR0215897B1 (en) | prepreg and method for your production | |
FI20031811A (en) | A method for object-based code simulation and analysis and the like product | |
FI20030865A0 (en) | Method for making a parquet element and a parquet element | |
FI20031467A (en) | A method and arrangement for producing experiences | |
NO20035626D0 (en) | Method | |
FI20030446A (en) | Article extractor and method for using one | |
NO20035401D0 (en) | Method | |
FI20022094A0 (en) | Transponder and method for its manufacture | |
FI20030833A0 (en) | Smart sticker and method for making a smart sticker | |
PL1633816T3 (en) | Wood product and method therefor | |
FI20030733A (en) | Method and arrangement for producing a concrete product | |
ITRM20030086A0 (en) | ANTI-STRETCH MARK PRODUCT AND RELATED METHOD. | |
FI20021628A0 (en) | A method for processing information and a client processing the information | |
FI20031755A0 (en) | A method for implementing radon piping and a radon piping arrangement |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FD | Application lapsed |