WO2006035448A3 - Dynamic functional programming - Google Patents

Dynamic functional programming Download PDF

Info

Publication number
WO2006035448A3
WO2006035448A3 PCT/IL2005/001056 IL2005001056W WO2006035448A3 WO 2006035448 A3 WO2006035448 A3 WO 2006035448A3 IL 2005001056 W IL2005001056 W IL 2005001056W WO 2006035448 A3 WO2006035448 A3 WO 2006035448A3
Authority
WO
WIPO (PCT)
Prior art keywords
functional analysis
source code
functional
filtered
software modules
Prior art date
Application number
PCT/IL2005/001056
Other languages
French (fr)
Other versions
WO2006035448A2 (en
Inventor
Moshe Atlan
Original Assignee
Innatelogic Ltd
Moshe Atlan
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 Innatelogic Ltd, Moshe Atlan filed Critical Innatelogic Ltd
Publication of WO2006035448A2 publication Critical patent/WO2006035448A2/en
Publication of WO2006035448A3 publication Critical patent/WO2006035448A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G06F8/24—Object-oriented
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering

Abstract

The present invention provides a user-centric method and system for programming software modules based on automatic source code prototyping direction from functional requirements. In enables, before producing any source code, distribution of implemented business rules among predefined software modules. The invention is based on the formal characterization of the properties intrinsic to functional analysis and independent of any implementation techniques, conditioning the possibility of implementing business rules as a textually contiguous set of elementary instructions. The invention starts with an initial functional analysis wherein the functional requirements of a system are expressed in terms of rules (12). An automatic functional analysis completion algorithm produces a locally complete functional analysis from the initial functional analysis (13, 14). Next, a filtered functional analysis presents the computational properties of a correct implementation from the locally complete functional analysis (15, 16). Finally, the filtered functional analysis can be automatically translated into object oriented program source code (17).
PCT/IL2005/001056 2004-09-29 2005-09-29 Dynamic functional programming WO2006035448A2 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US61394204P 2004-09-29 2004-09-29
US60/613,942 2004-09-29

Related Child Applications (1)

Application Number Title Priority Date Filing Date
US12/906,598 Continuation US8956409B2 (en) 2004-04-29 2010-10-18 Accommodating intraocular lens assemblies and accommodation measurement implant

Publications (2)

Publication Number Publication Date
WO2006035448A2 WO2006035448A2 (en) 2006-04-06
WO2006035448A3 true WO2006035448A3 (en) 2007-05-03

Family

ID=36119286

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/IL2005/001056 WO2006035448A2 (en) 2004-09-29 2005-09-29 Dynamic functional programming

Country Status (1)

Country Link
WO (1) WO2006035448A2 (en)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5265206A (en) * 1990-10-23 1993-11-23 International Business Machines Corporation System and method for implementing a messenger and object manager in an object oriented programming environment
US5920723A (en) * 1997-02-05 1999-07-06 Hewlett-Packard Company Compiler with inter-modular procedure optimization

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5265206A (en) * 1990-10-23 1993-11-23 International Business Machines Corporation System and method for implementing a messenger and object manager in an object oriented programming environment
US5920723A (en) * 1997-02-05 1999-07-06 Hewlett-Packard Company Compiler with inter-modular procedure optimization

Also Published As

Publication number Publication date
WO2006035448A2 (en) 2006-04-06

Similar Documents

Publication Publication Date Title
WO2006123971A3 (en) Deterministic-probabilistic safety analysis and evaluation method and system
WO2004003812A3 (en) Method and system for authorizing reconfiguration of a vehicle
WO2005039927A3 (en) Captured test fleet
ATE440315T1 (en) METHOD AND COMPUTER SYSTEM FOR PROCESSING OPERATING DATA OF WIND TURBINE SYSTEMS
WO2001080088A3 (en) Method of searching and producing matching color information
TW200731026A (en) A method, program product and apparatus for model based geometry decomposition for use in a multiple exposure process
WO2006101941A3 (en) System and method for perceived image processing in a gaze tracking system
EP1785856A3 (en) Batch processing for wizards
WO2006055143A8 (en) Scheduling amhs pickup and delivery ahead of schedule
AU7978500A (en) A computer based method and system for controlling an industrial process
SG129388A1 (en) A system and method for repairing a gas turbine engine component
EP1313011A3 (en) Intermediate code execution system, intermediate code execution method, and computer program product for executing intermediate code
WO2007040994A3 (en) Method and apparatus for importing data into program code
WO2009017640A3 (en) Process modeling and optimization method and system
ATE480810T1 (en) MULTIPLE AXES TRIM METHOD
DE60323409D1 (en) METHOD AND SYSTEM FOR OPERATING CONTROL OVER A MOBILE TERMINAL, THIS NETWORK AND COMPUTER PROGRAM PRODUCT THEREFOR
WO2004001633A3 (en) Method and system for simulating order processing processes, corresponding computer program product, and corresponding computer-readable storage medium
DE69833794D1 (en) METHOD FOR PRODUCING ANTI-ANGIOGENIC PROTEINS; ENDOSTATIN, ANGIOSTATIN OR RESTIN, WITH AN EXPRESSION SYSTEM FOR YEAST PICHIA
CN106253930A (en) A kind of in-vehicle device control method and terminal
SG140455A1 (en) Method and system of classifying demand data
WO2006035448A3 (en) Dynamic functional programming
WO2003032157A1 (en) Compiler
CN103853938A (en) High-throughput sequencing data processing and analysis flow control method
WO2004109458A3 (en) Systems, methods and computer program products for determining a learning curve value and modeling associated profitability and costs of a good
SE0400828L (en) Apparatus, procedure and computer-readable memory medium on which is stored a computer program for maintenance of a motor vehicle

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BW BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE EG ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KM KP KR KZ LC LK LR LS LT LU LV LY MA MD MG MK MN MW MX MZ NA NG NI NO NZ OM PG PH PL PT RO RU SC SD SE SG SK SL SM SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LT LU LV MC NL PL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 05789467

Country of ref document: EP

Kind code of ref document: A2