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 PDF

Info

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
Application number
FI20031811A
Other languages
Finnish (fi)
Swedish (sv)
Other versions
FI20031811A0 (en
Inventor
Erkki Laitila
Original Assignee
Erkki Laitila
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 Erkki Laitila filed Critical Erkki Laitila
Priority to FI20031811A priority Critical patent/FI20031811A/en
Publication of FI20031811A0 publication Critical patent/FI20031811A0/en
Priority to PCT/FI2004/000754 priority patent/WO2005071534A2/en
Publication of FI20031811A publication Critical patent/FI20031811A/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3604Software analysis for verifying properties of programs
FI20031811A 2003-12-11 2003-12-11 A method for object-based code simulation and analysis and the like product FI20031811A (en)

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)

* Cited by examiner, † Cited by third party
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

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