FI20055408A - Äärellisen tietokonemallin luominen - Google Patents
Äärellisen tietokonemallin luominen Download PDFInfo
- Publication number
- FI20055408A FI20055408A FI20055408A FI20055408A FI20055408A FI 20055408 A FI20055408 A FI 20055408A FI 20055408 A FI20055408 A FI 20055408A FI 20055408 A FI20055408 A FI 20055408A FI 20055408 A FI20055408 A FI 20055408A
- Authority
- FI
- Finland
- Prior art keywords
- creation
- state machine
- finite state
- machine model
- model
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/38—Creation or generation of source code for implementing user interfaces
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4498—Finite state machines
Priority Applications (6)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FI20055408A FI118064B (fi) | 2005-07-12 | 2005-07-12 | Äärellisen tilakonemallin luominen |
JP2008520902A JP2009501970A (ja) | 2005-07-12 | 2006-07-11 | 有限状態マシンモデルの構築 |
PCT/FI2006/050331 WO2007006869A1 (en) | 2005-07-12 | 2006-07-11 | Building finite state machine model |
US11/994,946 US20080270101A1 (en) | 2005-07-12 | 2006-07-11 | Building Finite State Machine Model |
EP06778521A EP1907958A4 (en) | 2005-07-12 | 2006-07-11 | AUTOMATED MODEL CONSTRUCTION FINISH |
KR1020087003096A KR20080048454A (ko) | 2005-07-12 | 2006-07-11 | 유한 상태 기계 모델 구축 |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
FI20055408A FI118064B (fi) | 2005-07-12 | 2005-07-12 | Äärellisen tilakonemallin luominen |
FI20055408 | 2005-07-12 |
Publications (3)
Publication Number | Publication Date |
---|---|
FI20055408A0 FI20055408A0 (fi) | 2005-07-12 |
FI20055408A true FI20055408A (fi) | 2007-01-13 |
FI118064B FI118064B (fi) | 2007-06-15 |
Family
ID=34803276
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
FI20055408A FI118064B (fi) | 2005-07-12 | 2005-07-12 | Äärellisen tilakonemallin luominen |
Country Status (6)
Country | Link |
---|---|
US (1) | US20080270101A1 (fi) |
EP (1) | EP1907958A4 (fi) |
JP (1) | JP2009501970A (fi) |
KR (1) | KR20080048454A (fi) |
FI (1) | FI118064B (fi) |
WO (1) | WO2007006869A1 (fi) |
Families Citing this family (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7412483B2 (en) * | 2005-01-07 | 2008-08-12 | International Business Machines Corporation | Automated email activity management |
US8605888B2 (en) * | 2006-12-01 | 2013-12-10 | Samsung Electronics Co., Ltd. | Method for making status function matrix and method for controlling call connection using it |
EP2169489B1 (en) * | 2008-09-30 | 2012-08-01 | Siemens Aktiengesellschaft | Method for implementing production processes |
US9009609B2 (en) | 2011-09-15 | 2015-04-14 | International Business Machines Corporation | Interaction with a visualized state transition model |
US9600241B2 (en) | 2012-02-15 | 2017-03-21 | The Mathworks, Inc. | Unified state transition table describing a state machine model |
EP2820537A1 (en) * | 2012-02-15 | 2015-01-07 | The Mathworks, Inc. | Generating a state diagram |
US9733782B2 (en) * | 2013-09-13 | 2017-08-15 | Fujitsu Limited | Extracting a deterministic finite-state machine model of a GUI based application |
US9652360B2 (en) * | 2014-04-04 | 2017-05-16 | Fujitsu Limited | Crawling for extracting a model of a GUI-based application |
US10078502B2 (en) * | 2014-06-19 | 2018-09-18 | Fujitsu Limited | Verification of a model of a GUI-based application |
WO2017045727A1 (en) * | 2015-09-18 | 2017-03-23 | Telefonaktiebolaget Lm Ericsson (Publ) | Management of communication between m2m device and m2m server |
US10430211B2 (en) * | 2016-09-12 | 2019-10-01 | Ignition Interfaces, Inc. | Parameterized user interface for capturing user feedback |
EP3340044A1 (en) * | 2016-12-22 | 2018-06-27 | Ecole Nationale de l'Aviation Civile | Method and apparatus for processing software code |
KR102276230B1 (ko) * | 2019-11-19 | 2021-07-12 | 주식회사 카카오뱅크 | 유한 상태기계 생성 방법, 유한 상태기계 운영 방법, 이를 수행하는 서버 및 컴퓨터 프로그램 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5485600A (en) * | 1992-11-09 | 1996-01-16 | Virtual Prototypes, Inc. | Computer modelling system and method for specifying the behavior of graphical operator interfaces |
US5801687A (en) * | 1994-09-30 | 1998-09-01 | Apple Computer, Inc. | Authoring tool comprising nested state machines for use in a computer system |
US6222537B1 (en) * | 1997-07-29 | 2001-04-24 | International Business Machines Corporation | User interface controls for a computer system |
JP2002531899A (ja) * | 1998-11-30 | 2002-09-24 | シーベル システムズ,インコーポレイティド | プロセス監視用の状態モデル |
US6718533B1 (en) * | 1999-02-26 | 2004-04-06 | Real-Time Innovations, Inc. | Method for building a real-time control system with mode and logical rate |
US6031747A (en) * | 1999-08-02 | 2000-02-29 | Lockheed Martin Missiles & Space Company | Interleaved synchronous flyback converter with high efficiency over a wide operating load range |
US6668203B1 (en) * | 2001-04-26 | 2003-12-23 | Sandia Corporation | State machine analysis of sensor data from dynamic processes |
US7415483B2 (en) * | 2002-06-05 | 2008-08-19 | Sap Ag | Individual data objects in enterprise computing systems |
US7231630B2 (en) * | 2002-07-12 | 2007-06-12 | Ensequence Inc. | Method and system automatic control of graphical computer application appearance and execution |
-
2005
- 2005-07-12 FI FI20055408A patent/FI118064B/fi not_active IP Right Cessation
-
2006
- 2006-07-11 WO PCT/FI2006/050331 patent/WO2007006869A1/en active Application Filing
- 2006-07-11 JP JP2008520902A patent/JP2009501970A/ja not_active Withdrawn
- 2006-07-11 EP EP06778521A patent/EP1907958A4/en not_active Withdrawn
- 2006-07-11 KR KR1020087003096A patent/KR20080048454A/ko not_active Application Discontinuation
- 2006-07-11 US US11/994,946 patent/US20080270101A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
EP1907958A4 (en) | 2010-10-06 |
KR20080048454A (ko) | 2008-06-02 |
FI20055408A0 (fi) | 2005-07-12 |
JP2009501970A (ja) | 2009-01-22 |
US20080270101A1 (en) | 2008-10-30 |
EP1907958A1 (en) | 2008-04-09 |
WO2007006869A1 (en) | 2007-01-18 |
FI118064B (fi) | 2007-06-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
FI20055408A (fi) | Äärellisen tietokonemallin luominen | |
ITRA20060072A1 (it) | Macchina ginnica | |
ITRA20050029A1 (it) | Macchina ginnica | |
ITRA20050043A1 (it) | Macchina ginnica | |
DE602007000762D1 (de) | Maschinenwerkzeug | |
ITPD20060033U1 (it) | Macchina multifunzionale per vivaismo | |
IS2903B (is) | Mótunarvél | |
NO344964B1 (no) | Fremgangsmåte for fremstilling av et stabilt oksiderende biocid | |
DE602007006778D1 (de) | Aufzeichnungsparameter-einstelleinrichtung | |
DK2084591T3 (da) | Opdatering af en strømforsyningsmikrostyreenhed | |
ITBO20050258A1 (it) | Macchina avvolgitrice | |
ITRA20050030A1 (it) | Macchina ginnica | |
DE502005001451D1 (de) | Fugenabdeckprofil | |
ITVI20060346A1 (it) | Irrigatore a scomparsa a lunga gittata | |
DE502007000499D1 (de) | Werkzeugmaschine | |
SE0700989L (sv) | Verktygsmaskin | |
DE112007000386A5 (de) | Werkzeugmaschine | |
FI20075084A0 (fi) | Tietokoneavusteinen mallintaminen | |
ES1062979Y (es) | Maquina descascaradora-separadora | |
FR2908563B1 (fr) | Machine tournante | |
BRPI0608248A2 (pt) | novos métodos a laser | |
FR2879415B1 (fr) | Epingle a chignon | |
FI20060766A0 (fi) | Askelpyörä | |
ES1064253Y (es) | Una almohada | |
UA12547S (uk) | Футболка |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FG | Patent granted |
Ref document number: 118064 Country of ref document: FI |
|
MM | Patent lapsed |