FI20031811A - Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote - Google Patents

Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote 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
English (en)
Swedish (sv)
Other versions
FI20031811A0 (fi
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/fi
Publication of FI20031811A0 publication Critical patent/FI20031811A0/fi
Priority to PCT/FI2004/000754 priority patent/WO2005071534A2/en
Publication of FI20031811A publication Critical patent/FI20031811A/fi

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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
FI20031811A 2003-12-11 2003-12-11 Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote FI20031811A (fi)

Priority Applications (2)

Application Number Priority Date Filing Date Title
FI20031811A FI20031811A (fi) 2003-12-11 2003-12-11 Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote
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 (fi) 2003-12-11 2003-12-11 Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote

Publications (2)

Publication Number Publication Date
FI20031811A0 FI20031811A0 (fi) 2003-12-11
FI20031811A true FI20031811A (fi) 2005-06-12

Family

ID=29763508

Family Applications (1)

Application Number Title Priority Date Filing Date
FI20031811A FI20031811A (fi) 2003-12-11 2003-12-11 Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote

Country Status (2)

Country Link
FI (1) FI20031811A (fi)
WO (1) WO2005071534A2 (fi)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN100458728C (zh) * 2006-10-19 2009-02-04 北京中星微电子有限公司 一种模拟芯片操作的方法及系统
CN101819536B (zh) * 2010-05-14 2012-11-28 西安交通大学 一种面向粒的程序构造方法
CN103530147B (zh) * 2013-09-17 2016-08-24 西安交通大学 一种面向粒的移动终端代码更新方法
CN111752841A (zh) * 2020-06-28 2020-10-09 深圳前海微众银行股份有限公司 单测模拟方法、装置、设备与计算机可读存储介质
CN116467220B (zh) * 2023-06-13 2023-09-08 北京航空航天大学 一种面向软件静态分析的循环代码处理方法和装置

Also Published As

Publication number Publication date
FI20031811A0 (fi) 2003-12-11
WO2005071534A8 (en) 2006-04-06
WO2005071534A2 (en) 2005-08-04

Similar Documents

Publication Publication Date Title
NO20032220L (no) Lofteverktoy II og fremgangsmate for anvendelse av samme
ITMI20031310A1 (it) Geogriglia o struttura a maglie e metodo per la sua fabbricazione.
DE602004025616D1 (de) Einrichtungssteuereinrichtung, -verfahren und -programm
NO20053315D0 (no) Alternativ pakningssettefremgangsmate.
GB0205727D0 (en) Database analysis system
GB0322050D0 (en) Modelling and simulation method
BR0316618B1 (pt) Método de fabricação de pneumático
FI20020314A (fi) Menetelmä kartongin valmistamiseksi sekä kartonkituote
FI20020280A0 (fi) Putkistoelementti ja menetelmä ja laitteisto sen valmistamiseksi
DE60212776D1 (de) Spezifisches Bindungsanalyseverfahren
AU2003272890A8 (en) Static analysis method for lyee-oriented software
AU2003284021A1 (en) Benefits qualification analysis and application method and computer readable code
BR0215897B1 (pt) prepreg e método para sua produção
FI20031811A0 (fi) Menetelmä oliopohjaisen koodin simuloimiseksi ja analysoimiseksi ja vastaava tuote
FI20030865A0 (fi) Menetelmä parkettielementin valmistamiseksi ja parkettielementti
FI20031467A (fi) Menetelmä ja järjestely elämyksien tuottamiseksi
NO20035626D0 (no) Metode
FI20030446A0 (fi) Artikkelin irrotuslaite ja menetelmä sellaisen käyttämiseksi
PL1633816T3 (pl) Produkt drzewny i sposób jego wytwarzania
FI20022094A0 (fi) Transponderi ja menetelmä sen valmistamiseksi
FI20030833A0 (fi) Älytarra ja menetelmä älytarran valmistamiseksi
FI20030733A (fi) Menetelmä ja sovitelma betonituotteen valmistamiseksi
ITRM20030086A0 (it) Prodotto anti-smagliature e relativo metodo.
FI20031755A0 (fi) Menetelmä radon-putkituksen toteuttamiseksi ja radon-putkitusjärjestely
FI20031549A0 (fi) Menetelmä putken liittämiseksi ja välikappale menetelmän suorittamiseksi

Legal Events

Date Code Title Description
FD Application lapsed