WO2001075593A3 - Automatic software production system - Google Patents

Automatic software production system Download PDF

Info

Publication number
WO2001075593A3
WO2001075593A3 PCT/US2001/006790 US0106790W WO0175593A3 WO 2001075593 A3 WO2001075593 A3 WO 2001075593A3 US 0106790 W US0106790 W US 0106790W WO 0175593 A3 WO0175593 A3 WO 0175593A3
Authority
WO
WIPO (PCT)
Prior art keywords
production system
software production
automatic software
validated
formal specification
Prior art date
Application number
PCT/US2001/006790
Other languages
French (fr)
Other versions
WO2001075593A9 (en
WO2001075593A2 (en
Inventor
Oscar Pastor
Jose Iborra
Original Assignee
Sosy Inc
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 Sosy Inc filed Critical Sosy Inc
Priority to CA2403975A priority Critical patent/CA2403975C/en
Priority to JP2001573206A priority patent/JP2004506962A/en
Priority to EP01913266A priority patent/EP1272927A2/en
Priority to AU2001241945A priority patent/AU2001241945B2/en
Priority to AU4194501A priority patent/AU4194501A/en
Publication of WO2001075593A2 publication Critical patent/WO2001075593A2/en
Publication of WO2001075593A3 publication Critical patent/WO2001075593A3/en
Publication of WO2001075593A9 publication Critical patent/WO2001075593A9/en

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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/23—Updating
    • G06F16/2365—Ensuring data consistency and integrity
    • 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/35—Creation or generation of source code model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/73—Program documentation

Abstract

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.
PCT/US2001/006790 2000-04-04 2001-03-02 Automatic software production system WO2001075593A2 (en)

Priority Applications (5)

Application Number Priority Date Filing Date Title
CA2403975A CA2403975C (en) 2000-04-04 2001-03-02 Automatic software production system
JP2001573206A JP2004506962A (en) 2000-04-04 2001-03-02 Automatic software creation system
EP01913266A EP1272927A2 (en) 2000-04-04 2001-03-02 Automatic software production system
AU2001241945A AU2001241945B2 (en) 2000-04-04 2001-03-02 Automatic software production system
AU4194501A AU4194501A (en) 2000-04-04 2001-03-02 Automatic software production system

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/543,085 2000-04-04
US09/543,085 US6681383B1 (en) 2000-04-04 2000-04-04 Automatic software production system

Publications (3)

Publication Number Publication Date
WO2001075593A2 WO2001075593A2 (en) 2001-10-11
WO2001075593A3 true WO2001075593A3 (en) 2002-08-08
WO2001075593A9 WO2001075593A9 (en) 2003-07-10

Family

ID=24166513

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2001/006790 WO2001075593A2 (en) 2000-04-04 2001-03-02 Automatic software production system

Country Status (6)

Country Link
US (10) US6681383B1 (en)
EP (1) EP1272927A2 (en)
JP (3) JP2004506962A (en)
AU (2) AU4194501A (en)
CA (2) CA2723005A1 (en)
WO (1) WO2001075593A2 (en)

Families Citing this family (791)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6490594B1 (en) * 1997-04-04 2002-12-03 Microsoft Corporation Database computer system with application recovery and dependency handling write cache
US7210117B2 (en) * 1999-08-19 2007-04-24 National Instruments Corporation System and method for programmatically generating a graphical program in response to program information
US7076400B2 (en) * 2000-02-14 2006-07-11 Nextnine Ltd. Support network
US7409318B2 (en) * 2000-02-14 2008-08-05 Nextnine Ltd. Support network
US7334216B2 (en) * 2000-04-04 2008-02-19 Sosy, Inc. Method and apparatus for automatic generation of information system user interfaces
US6681383B1 (en) * 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US20040231043A1 (en) * 2000-04-14 2004-11-25 Pop-In Pop-Out, Inc. Bath lifting system
US7503033B2 (en) * 2000-04-28 2009-03-10 Microsoft Corporation Model for business workflow processes
US6516322B1 (en) * 2000-04-28 2003-02-04 Microsoft Corporation XML-based representation of mobile process calculi
US7099809B2 (en) * 2000-05-04 2006-08-29 Dov Dori Modeling system
GB2368684A (en) * 2000-05-31 2002-05-08 Ibm Managing an object in a management framework
US7606796B2 (en) * 2000-06-15 2009-10-20 Generate, Inc. Method of and system for determining connections between parties using private links
US20050044148A1 (en) * 2000-06-29 2005-02-24 Microsoft Corporation Method and system for accessing multiple types of electronic content
FR2811093A1 (en) * 2000-06-30 2002-01-04 St Microelectronics Sa DEVICE AND METHOD FOR EVALUATING ALGORITHMS
AUPQ966400A0 (en) * 2000-08-24 2000-09-21 Xemplex Pty Ltd Method of graphically defining a formula
US6820253B1 (en) * 2000-09-27 2004-11-16 Intel Corporation Method and system for interprocedural analysis with separate compilation
AU2002230777A1 (en) * 2000-11-01 2002-05-27 Aeroflex Altair Cybernetics Corporation Information transformation software engine
US20030105732A1 (en) * 2000-11-17 2003-06-05 Kagalwala Raxit A. Database schema for structure query language (SQL) server
US7200838B2 (en) * 2000-12-20 2007-04-03 National Instruments Corporation System and method for automatically generating a graphical program in response to a state diagram
US7277836B2 (en) * 2000-12-29 2007-10-02 Exxonmobil Upstream Research Company Computer system and method having a facility network architecture
US7761270B2 (en) * 2000-12-29 2010-07-20 Exxonmobil Upstream Research Co. Computer system and method having a facility management logic architecture
JP3881179B2 (en) * 2001-02-14 2007-02-14 三菱電機株式会社 User interface design device
US7290243B1 (en) * 2001-02-28 2007-10-30 Apple Inc. Method and apparatus for application building using build styles
GB2373073A (en) * 2001-03-08 2002-09-11 Escher Technologies Ltd Process and system for developing validated and optimised object-oriented software
US7389492B2 (en) * 2001-03-12 2008-06-17 International Business Machines Corporation Framework for code generators
US7406682B2 (en) * 2001-03-26 2008-07-29 Emc Corporation Translator-compiler for converting legacy management software
US20030217333A1 (en) * 2001-04-16 2003-11-20 Greg Smith System and method for rules-based web scenarios and campaigns
US6978442B2 (en) * 2001-05-03 2005-12-20 International Business Machines Corporation Auditing data using observable and observer objects
GB0113946D0 (en) * 2001-06-08 2001-11-14 Secr Defence Automatic Development of Software Codes
US8301503B2 (en) * 2001-07-17 2012-10-30 Incucomm, Inc. System and method for providing requested information to thin clients
CA2704252C (en) 2001-07-26 2011-09-27 Irise System and process for interacting with a user to define a behavior of a portion of an interactive presentation
SE0102648A0 (en) * 2001-08-02 2003-03-06 Lars Höidahl Arrangements to perform object-oriented programming
CA2355418A1 (en) * 2001-08-16 2003-02-16 Ibm Canada Limited-Ibm Canada Limitee A schema for sql statements
US7650296B1 (en) * 2001-08-31 2010-01-19 Siebel Systems, Inc. Configurator using structure and rules to provide a user interface
US7580871B2 (en) * 2001-08-31 2009-08-25 Siebel Systems, Inc. Method to generate a customizable product configurator
US7386832B2 (en) * 2001-08-31 2008-06-10 Siebel Systems, Inc. Configurator using structure to provide a user interface
JP2003076543A (en) * 2001-08-31 2003-03-14 Cats Kk Device, method for generating program and program for making computer execute the same program
GB2379296B (en) * 2001-09-01 2005-05-25 Ibm A data storage system having a unified container layer for an active data store
DE60129701T2 (en) * 2001-09-21 2008-04-30 Koninklijke Kpn N.V. Computer system, data transmission network, computer program and data carriers, all messages for filtering content according to a tagging language
US8660869B2 (en) * 2001-10-11 2014-02-25 Adobe Systems Incorporated System, method, and computer program product for processing and visualization of information
US20030093551A1 (en) * 2001-10-17 2003-05-15 Graham Taylor Adaptive software interface
WO2003036464A2 (en) * 2001-10-22 2003-05-01 Sun Microsystems, Inc. Inter-process communication using different programming languages
US6879987B2 (en) * 2001-10-31 2005-04-12 Inventec Corp. Method for storing records in database or reading the same therefrom
US20030103080A1 (en) * 2001-12-05 2003-06-05 Bahman Radjabi System and method for developing a code generator for object-oriented communication protocol
US20030115571A1 (en) * 2001-12-14 2003-06-19 Telefonaktiebolaget L M Ericsson (Publ) Construction of a software application from a plurality of programming languages
US20030117417A1 (en) * 2001-12-20 2003-06-26 Nortel Networks Limited Generic application flow management system and method
US20030140332A1 (en) * 2001-12-21 2003-07-24 Norton Jeffrey B. Method and apparatus for generating a software development tool
US7188335B1 (en) * 2001-12-28 2007-03-06 Trilogy Development Group, Inc. Product configuration using configuration patterns
US20050144175A1 (en) * 2002-02-18 2005-06-30 Siemens Aktiengesellschaft Method and system for administrating use of a service
US7363612B2 (en) * 2002-03-06 2008-04-22 Sun Microsystems, Inc. Application programs with dynamic components
US6760640B2 (en) * 2002-03-14 2004-07-06 Photronics, Inc. Automated manufacturing system and method for processing photomasks
US6842881B2 (en) * 2002-07-30 2005-01-11 Photronics, Inc. Rule based system and method for automatically generating photomask orders in a specified order format
US7640529B2 (en) * 2002-07-30 2009-12-29 Photronics, Inc. User-friendly rule-based system and method for automatically generating photomask orders
US7669167B2 (en) * 2002-07-30 2010-02-23 Photronics, Inc. Rule based system and method for automatically generating photomask orders by conditioning information from a customer's computer system
US20030182458A1 (en) * 2002-03-22 2003-09-25 Ali Syed M. Generating a decoupled presentation layer in an application
US7287229B2 (en) * 2002-04-03 2007-10-23 Hewlett-Packard Development Company, L.P. Template-driven process system
JP2005525630A (en) * 2002-04-19 2005-08-25 コンピューター アソシエイツ シンク，インク． System and method for providing reasoning services
US7383532B2 (en) * 2002-04-19 2008-06-03 Computer Associates Think, Inc. System and method for client-side locale specific numeric format handling in a web environment
US6804686B1 (en) * 2002-04-29 2004-10-12 Borland Software Corporation System and methodology for providing fixed UML layout for an object oriented class browser
US7725560B2 (en) 2002-05-01 2010-05-25 Bea Systems Inc. Web service-enabled portlet wizard
AU2003239326A1 (en) * 2002-05-01 2003-11-17 Bea Systems, Inc. Enterprise application platform
US7127467B2 (en) * 2002-05-10 2006-10-24 Oracle International Corporation Managing expressions in a database system
US7107280B2 (en) * 2002-05-14 2006-09-12 Haestad Methods, Inc. Method and system for the storage and use of engineering modeling alternatives with unitized data
US7640548B1 (en) 2002-06-21 2009-12-29 Siebel Systems, Inc. Task based user interface
US7426521B2 (en) * 2002-07-19 2008-09-16 Microsoft Corporation Property and object validation in a database system
EP1387261A1 (en) * 2002-07-30 2004-02-04 Sereneo Application software generation and language for software description
US7237014B2 (en) * 2002-08-01 2007-06-26 Drummond Group System and method for in situ, real-time, supply chain, interoperability verification
US20040031017A1 (en) * 2002-08-12 2004-02-12 Shankar Vaidyanathan System and method for context-sensitive help in a design environment
US7219328B2 (en) * 2002-08-28 2007-05-15 Honeywell International Inc. Model-based composable code generation
AU2003261021A1 (en) * 2002-08-29 2004-03-19 Crossmarx B.V. System and method for executing and building a software application
US20060130002A1 (en) * 2002-09-09 2006-06-15 Sadahiro Hirayama Requirement defining method, method for developing software, and method for changing requirement word, and newly defining method
US7383513B2 (en) * 2002-09-25 2008-06-03 Oracle International Corporation Graphical condition builder for facilitating database queries
BR0313490A (en) * 2002-09-30 2005-07-05 Microsoft Corp System and method for making user interface elements known to an application and user
US7114148B2 (en) * 2002-09-30 2006-09-26 Microsoft Corporation Runtime services for network software platform
US8832178B2 (en) 2002-11-06 2014-09-09 Noel William Lovisa Service implementation
US7412658B2 (en) * 2002-11-14 2008-08-12 Sap Ag Modeling system for graphic user interface
US7149752B2 (en) * 2002-12-03 2006-12-12 Jp Morgan Chase Bank Method for simplifying databinding in application programs
US7191431B2 (en) * 2002-12-20 2007-03-13 International Business Machines Corporation System and method for selecting a translator to translate a component request using semantic typing
US7117449B1 (en) * 2002-12-31 2006-10-03 Siebel Systems, Inc. Method and apparatus to present an integrated process modeler
US8032439B2 (en) * 2003-01-07 2011-10-04 Jpmorgan Chase Bank, N.A. System and method for process scheduling
US7401156B2 (en) * 2003-02-03 2008-07-15 Jp Morgan Chase Bank Method using control interface to suspend software network environment running on network devices for loading and executing another software network environment
US7591000B2 (en) 2003-02-14 2009-09-15 Oracle International Corporation System and method for hierarchical role-based entitlements
US8831966B2 (en) 2003-02-14 2014-09-09 Oracle International Corporation Method for delegated administration
US7653930B2 (en) 2003-02-14 2010-01-26 Bea Systems, Inc. Method for role and resource policy management optimization
US7415478B2 (en) * 2003-02-20 2008-08-19 Bea Systems, Inc. Virtual repository complex content model
US7840614B2 (en) 2003-02-20 2010-11-23 Bea Systems, Inc. Virtual content repository application program interface
US7293286B2 (en) 2003-02-20 2007-11-06 Bea Systems, Inc. Federated management of content repositories
US7810036B2 (en) 2003-02-28 2010-10-05 Bea Systems, Inc. Systems and methods for personalizing a portal
US7313754B2 (en) * 2003-03-14 2007-12-25 Texterity, Inc. Method and expert system for deducing document structure in document conversion
US7379998B2 (en) * 2003-03-31 2008-05-27 Jp Morgan Chase Bank System and method for multi-platform queue queries
US7114146B2 (en) * 2003-05-02 2006-09-26 International Business Machines Corporation System and method of dynamic service composition for business process outsourcing
US20040230602A1 (en) * 2003-05-14 2004-11-18 Andrew Doddington System and method for decoupling data presentation layer and data gathering and storage layer in a distributed data processing system
US7366722B2 (en) * 2003-05-15 2008-04-29 Jp Morgan Chase Bank System and method for specifying application services and distributing them across multiple processors using XML
US8095659B2 (en) 2003-05-16 2012-01-10 Jp Morgan Chase Bank Service interface
US8239833B2 (en) * 2003-06-26 2012-08-07 Stmicroelectronics S.A. Statistical control of the integrity of a program
US20050010551A1 (en) * 2003-06-27 2005-01-13 Mcgeachie John S. Method of and system for determining connections between parties using private links
US20050197998A1 (en) * 2003-07-11 2005-09-08 Asbury Mark R. Dynamic database SQL script execution through JDBC
US8219968B2 (en) * 2003-07-17 2012-07-10 Raytheon Company Designing computer programs
US7519952B2 (en) * 2003-07-28 2009-04-14 International Business Machines Corporation Detecting an integrity constraint violation in a database by analyzing database schema, application and mapping and inserting a check into the database and application
US7840943B2 (en) * 2003-08-08 2010-11-23 Oracle America, Inc. Method and apparatus for transferring data in a distributed testing system
US20050065970A1 (en) * 2003-08-20 2005-03-24 King Anthony Graham System, method and apparatus for developing software
US7237224B1 (en) 2003-08-28 2007-06-26 Ricoh Company Ltd. Data structure used for skeleton function of a class in a skeleton code creation tool
US7793257B2 (en) * 2003-08-28 2010-09-07 Ricoh Company, Ltd. Technique for automating code generation in developing software systems
US7308675B2 (en) * 2003-08-28 2007-12-11 Ricoh Company, Ltd. Data structure used for directory structure navigation in a skeleton code creation tool
US20050060188A1 (en) * 2003-09-03 2005-03-17 Electronic Data Systems Corporation System, method, and computer program product for health care patient and service management
US7822795B2 (en) * 2003-09-19 2010-10-26 Lattix, Inc. Apparatus and methods for displaying and determining dependency relationships among subsystems in a computer software system
US7356802B2 (en) * 2003-09-29 2008-04-08 International Business Machines Corporation Automatic customization of classes
US7870504B1 (en) * 2003-10-01 2011-01-11 TestPlant Inc. Method for monitoring a graphical user interface on a second computer display from a first computer
US20050251852A1 (en) * 2003-10-10 2005-11-10 Bea Systems, Inc. Distributed enterprise security system
US20050257245A1 (en) * 2003-10-10 2005-11-17 Bea Systems, Inc. Distributed security system with dynamic roles
US20050081166A1 (en) * 2003-10-14 2005-04-14 Stokke Michael A. System and method facilitating automated navigation for user interface(s)
US8024705B2 (en) * 2003-11-12 2011-09-20 Siemens Product Lifecycle Management Software Inc. System, method, and computer program product for distributed testing of program code
US7325227B2 (en) * 2003-11-12 2008-01-29 Siemens Product Lifecycle Management Software System, method, and computer program product for identifying code development errors
US8799001B2 (en) * 2003-11-17 2014-08-05 Nuance Communications, Inc. Method and system for defining standard catch styles for speech application code generation
US20050114841A1 (en) * 2003-11-21 2005-05-26 Moskowitz Milton E. Automatic computer code review tool
US20050154742A1 (en) * 2003-11-26 2005-07-14 Aviv Roth Business software application generation system and method
US8381207B2 (en) 2003-12-02 2013-02-19 International Business Machines Corporation Script generation engine and mapping semantic models for target platform
US8700533B2 (en) * 2003-12-04 2014-04-15 Black Duck Software, Inc. Authenticating licenses for legally-protectable content based on license profiles and content identifiers
US9489687B2 (en) * 2003-12-04 2016-11-08 Black Duck Software, Inc. Methods and systems for managing software development
US7752559B1 (en) * 2003-12-05 2010-07-06 The Mathworks, Inc. Graphical model preparation for embedded deployment
US7865480B2 (en) * 2003-12-08 2011-01-04 Oracle International Corporation Systems and methods for validating objects models
US7711753B2 (en) * 2003-12-08 2010-05-04 Oracle International Corporation Systems and methods for validating design meta-data
US7844640B2 (en) * 2003-12-17 2010-11-30 Sap Ag Data mapping visualization
AU2003291794A1 (en) * 2003-12-18 2005-07-05 Motorola Inc A method of automatically generating test scripts from a system specification model
FR2864280A1 (en) * 2003-12-19 2005-06-24 Thales Sa Documentary transfer chain creating method, involves establishing dynamic link for each document fragment, between its location in documentary transfer chain and its physical file issued from automatic document generator
US7930149B2 (en) 2003-12-19 2011-04-19 Sap Aktiengesellschaft Versioning of elements in a configuration model
US20070074180A1 (en) * 2003-12-22 2007-03-29 Nasa Hq's Systems, Methods and Apparatus for Procedure Development and Verification
US7752608B1 (en) * 2003-12-22 2010-07-06 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Systems, methods and apparatus for verification of knowledge-based systems
US7739671B1 (en) 2003-12-22 2010-06-15 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Systems, methods and apparatus for implementation of formal specifications derived from informal requirements
US7712073B1 (en) * 2003-12-23 2010-05-04 Sprint Communications Company L.P. Software development artifact creation tool
JP2005196291A (en) * 2003-12-26 2005-07-21 Fujitsu Ltd User interface application development program and development device
US20050144174A1 (en) * 2003-12-31 2005-06-30 Leonid Pesenson Framework for providing remote processing of a graphical user interface
GB2410577A (en) * 2004-01-31 2005-08-03 Patrick Ian Carmody Development and maintenance of computer databases
US7533365B1 (en) * 2004-02-03 2009-05-12 Borland Software Corporation Development system with methodology for run-time restoration of UML model from program code
US8112383B2 (en) * 2004-02-10 2012-02-07 Microsoft Corporation Systems and methods for a database engine in-process data provider
US6876314B1 (en) 2004-02-18 2005-04-05 Robocoder Corporation Self-generating automatic code generator
US8135755B2 (en) * 2005-06-29 2012-03-13 Microsoft Corporation Templates in a schema editor
US7788078B1 (en) * 2004-02-27 2010-08-31 Synopsys, Inc. Processor/memory co-exploration at multiple abstraction levels
US9009658B2 (en) * 2004-03-15 2015-04-14 Ramco Systems Limited Component based software system
US7657542B2 (en) * 2004-03-15 2010-02-02 Ramco Systems Limited Software life cycle availability over the internet
US20050204334A1 (en) * 2004-03-15 2005-09-15 Ramco Systems Limited Component based software system
US7640251B2 (en) * 2004-03-15 2009-12-29 Rameo Systems Limited Structured approach to software specification
US7793258B2 (en) * 2004-03-15 2010-09-07 Ramco Systems Limited Software development using visual interfaces
US20050216884A1 (en) * 2004-03-25 2005-09-29 Microsoft Corporation Object generation
US8677312B1 (en) 2004-03-30 2014-03-18 Synopsys, Inc. Generation of compiler description from architecture description
US8689202B1 (en) 2004-03-30 2014-04-01 Synopsys, Inc. Scheduling of instructions
US9734222B1 (en) 2004-04-06 2017-08-15 Jpmorgan Chase Bank, N.A. Methods and systems for using script files to obtain, format and transport data
US7774601B2 (en) 2004-04-06 2010-08-10 Bea Systems, Inc. Method for delegated administration
US20050222990A1 (en) * 2004-04-06 2005-10-06 Milne Kenneth T Methods and systems for using script files to obtain, format and disseminate database information
US20050229152A1 (en) * 2004-04-08 2005-10-13 Brian Connell Integrated modeling environment
US20060028252A1 (en) * 2004-04-13 2006-02-09 Bea Systems, Inc. System and method for content type management
US7246138B2 (en) * 2004-04-13 2007-07-17 Bea Systems, Inc. System and method for content lifecycles in a virtual content repository that integrates a plurality of content repositories
US20050251512A1 (en) * 2004-04-13 2005-11-10 Bea Systems, Inc. System and method for searching a virtual content repository
US20060041558A1 (en) * 2004-04-13 2006-02-23 Mccauley Rodney System and method for content versioning
US7590969B2 (en) * 2004-04-14 2009-09-15 Microsoft Corporation Type system
US7797676B2 (en) * 2004-04-20 2010-09-14 International Business Machines Corporation Method and system for switching between prototype and real code production in a graphical call flow builder
CA2563354C (en) * 2004-04-26 2010-08-17 Jp Morgan Chase Bank System and method for routing messages
GB0410047D0 (en) * 2004-05-05 2004-06-09 Silverdata Ltd An analytical software design system
DE102004023634B4 (en) * 2004-05-10 2007-09-27 Siemens Ag Method for checking the completeness and consistency of an information library
US20050257154A1 (en) * 2004-05-14 2005-11-17 Bea Systems, Inc. Graphical association of elements for portal and webserver administration
US20050256906A1 (en) * 2004-05-14 2005-11-17 Bea Systems, Inc. Interface for portal and webserver administration-efficient updates
US20050257172A1 (en) * 2004-05-14 2005-11-17 Bea Systems, Inc. Interface for filtering for portal and webserver administration
JP4100630B2 (en) * 2004-05-14 2008-06-11 インターナショナル・ビジネス・マシーンズ・コーポレーション UML design method
US20050256899A1 (en) * 2004-05-14 2005-11-17 Bea Systems, Inc. System and method for representing hierarchical data structures
CA2566000C (en) 2004-05-20 2016-11-08 Code Valley Corp Pty Ltd. Code generation techniques
US7343379B2 (en) * 2004-05-21 2008-03-11 Bea Systems, Inc. System and method for controls
US7451433B2 (en) 2004-05-21 2008-11-11 Bea Systems, Inc. System and method for descriptor classes
US7607126B2 (en) * 2004-05-21 2009-10-20 Bea Systems, Inc. System and method for external override of annotations
US9280326B1 (en) 2004-05-26 2016-03-08 Synopsys, Inc. Compiler retargeting based on instruction semantic models
US20050278227A1 (en) * 2004-05-28 2005-12-15 Niel Esary Systems and methods of managing price modeling data through closed-loop analytics
US8458060B2 (en) * 2004-05-28 2013-06-04 Vendavo, Inc. System and method for organizing price modeling data using hierarchically organized portfolios
US20060004861A1 (en) * 2004-05-28 2006-01-05 Albanese Michael J System and method for displaying price modeling data
US8006225B1 (en) * 2004-06-03 2011-08-23 Synposys, Inc. Method and system for automatic generation of instruction-set documentation from an abstract processor model described using a hierarchical architectural description language
US20050289264A1 (en) * 2004-06-08 2005-12-29 Daniel Illowsky Device and method for interoperability instruction set
US7360209B2 (en) * 2004-07-16 2008-04-15 Graphlogic Inc. Object process graph application controller-viewer
US8341590B1 (en) 2007-12-12 2012-12-25 Accurev, Inc. System for relating workflow status to code component status in a software project
US8548967B1 (en) * 2007-12-12 2013-10-01 Accurev, Inc. System for visual query and manipulation of configuration management records
US8473893B2 (en) * 2008-09-30 2013-06-25 Accurev, Inc. Integration of external software analysis processes with software configuration management applications
US9292276B1 (en) 2004-07-19 2016-03-22 Micro Focus (IP) Development Limited Method and system for utilizing change packages
US8667465B2 (en) * 2008-03-31 2014-03-04 Accurev, Inc. System for estimating a software product release time from version information
US20060031819A1 (en) * 2004-08-06 2006-02-09 Microsoft Corporation Methods and apparatus for creating solutions
US7698291B2 (en) * 2004-08-26 2010-04-13 Sap Ag Method and system for integrating user-defined objects into a business management application
US8051408B1 (en) * 2004-09-13 2011-11-01 The Mathworks, Inc. Method of providing interactive usage descriptions based on source code analysis
US20060059459A1 (en) * 2004-09-13 2006-03-16 Microsoft Corporation Generating solution-based software documentation
US7376933B2 (en) * 2004-10-22 2008-05-20 International Business Machines Corporation System and method for creating application content using an open model driven architecture
US20060101385A1 (en) * 2004-10-22 2006-05-11 Gerken Christopher H Method and System for Enabling Roundtrip Code Protection in an Application Generator
US20060101387A1 (en) * 2004-10-22 2006-05-11 Gerken Christopher H An Open Model Driven Architecture Application Implementation Service
US8024703B2 (en) * 2004-10-22 2011-09-20 International Business Machines Corporation Building an open model driven architecture pattern based on exemplars
US7783670B2 (en) * 2004-11-18 2010-08-24 Bea Systems, Inc. Client server conversion for representing hierarchical data structures
US7689999B2 (en) 2004-12-01 2010-03-30 Bea Systems, Inc. Sharing dynamically changing resources in software systems
US20060122724A1 (en) * 2004-12-07 2006-06-08 Photoronics, Inc. 15 Secor Road P.O. Box 5226 Brookfield, Connecticut 06804 System and method for automatically generating a tooling specification using a logical operations utility that can be used to generate a photomask order
US7627866B2 (en) 2004-12-15 2009-12-01 Bea Systems, Inc. Systems and methods for dynamic application patching
EP1674957A1 (en) * 2004-12-21 2006-06-28 Siemens Aktiengesellschaft Rule based, distributed engineering
US7814427B2 (en) * 2005-01-05 2010-10-12 Microsoft Corporation Object model tree diagram
US7774787B2 (en) * 2005-01-11 2010-08-10 Microsoft Corporation Method for specifying and verifying multi-threaded object-oriented programs with invariants
US7610576B2 (en) * 2005-01-19 2009-10-27 Sap Ag System and method for simultaneous display of processes and associated files
US7814457B2 (en) * 2005-01-19 2010-10-12 Sap Ag System and method for revising flow diagrams displaying a process
US7853931B2 (en) * 2005-01-19 2010-12-14 Sap Ag System and method for automatically generating flow diagrams
US8225283B2 (en) * 2005-01-31 2012-07-17 International Business Machines Corporation Method and apparatus for enabling collaborative product development processes
US7793255B1 (en) * 2005-03-01 2010-09-07 Oracle America, Inc. System and method for maintaining alternate object views
US7567975B2 (en) * 2005-03-16 2009-07-28 Oracle International Corporation Incremental evaluation of complex event-condition-action rules in a database system
US9129226B2 (en) * 2011-12-04 2015-09-08 Beyondcore, Inc. Analyzing data sets with the help of inexpert humans to find patterns
US10127130B2 (en) 2005-03-18 2018-11-13 Salesforce.Com Identifying contributors that explain differences between a data set and a subset of the data set
US20060230389A1 (en) * 2005-04-12 2006-10-12 Moulckers Ingrid M System and method for specifying business requirements for dynamically generated runtime solution to a business problem
US20060229894A1 (en) * 2005-04-12 2006-10-12 Moulckers Ingrid M System and method for estimating expense and return on investment of a dynamically generated runtime solution to a business problem
EP1615125A1 (en) * 2005-04-14 2006-01-11 Agilent Technologies, Inc. Automatic source code generation
US7590978B2 (en) * 2005-04-15 2009-09-15 Microsoft Corporation Inferring object invariant method and system
US7559054B2 (en) * 2005-04-19 2009-07-07 Microsoft Corporation Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain
US7702638B2 (en) * 2005-04-22 2010-04-20 Sap Ag Systems and methods for off-line modeling a business application
US8539003B2 (en) * 2005-04-22 2013-09-17 Sap Ag Systems and methods for identifying problems of a business application in a customer support system
US20060293935A1 (en) * 2005-04-22 2006-12-28 Igor Tsyganskiy Methods and systems for incrementally exposing business application errors using an integrated display
US7958486B2 (en) * 2005-04-22 2011-06-07 Sap Ag Methods and systems for data-focused debugging and tracing capabilities
US20060242197A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of transforming application layer structure as objects
US20060242188A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of exposing a missing collection of application elements as deprecated
US20060242171A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of using code-based case tools to verify application layer configurations
US20060242194A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Systems and methods for modeling and manipulating a table-driven business application in an object-oriented environment
US20060242174A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Systems and methods for using object-oriented tools to debug business applications
US20060242177A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of exposing business application runtime exceptions at design time
US7542980B2 (en) * 2005-04-22 2009-06-02 Sap Ag Methods of comparing and merging business process configurations
US20060241961A1 (en) * 2005-04-22 2006-10-26 Igor Tsyganskiy Methods of optimizing legacy application layer control structure using refactoring
US20060293934A1 (en) * 2005-04-22 2006-12-28 Igor Tsyganskiy Methods and systems for providing an integrated business application configuration environment
JP4855710B2 (en) * 2005-04-28 2012-01-18 株式会社東芝 Software plug-in method and application program
US7886273B2 (en) * 2005-04-29 2011-02-08 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Systems, methods and apparatus for generation and verification of policies in autonomic computing systems
EP1734442A1 (en) * 2005-05-19 2006-12-20 Agilent Technologies, Inc. Modular code generation
US20060265697A1 (en) * 2005-05-20 2006-11-23 Sun Microsystems, Inc. Pattern query language
US7571434B1 (en) 2005-05-20 2009-08-04 Sun Microsystems, Inc. Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis
US7634766B2 (en) * 2005-05-20 2009-12-15 Sun Microsystems, Inc. Method and apparatus for pattern-based system design analysis using a meta model
US20060265700A1 (en) * 2005-05-20 2006-11-23 Sun Microsystems, Inc. Method and apparatus for pattern-based system design analysis
US7653898B1 (en) 2005-05-20 2010-01-26 Sun Microsystems, Inc. Method and apparatus for generating a characteristics model for a pattern-based system design analysis using a schema
US7660802B2 (en) * 2005-05-20 2010-02-09 Sun Microsystems, Inc. Method and apparatus for generating components for pattern-based system design analysis using a characteristics model
US7703074B2 (en) * 2005-05-20 2010-04-20 Oracle America, Inc. Method and apparatus for tracking changes in a system
US20060277525A1 (en) * 2005-06-06 2006-12-07 Microsoft Corporation Lexical, grammatical, and semantic inference mechanisms
FR2887349B1 (en) * 2005-06-21 2008-04-04 Alcatel Sa DATA PROCESSING METHOD COMPATIBLE WITH FORMALISM FOR MODELING OBJECTS
EP1915721A4 (en) * 2005-06-28 2010-09-22 Exxonmobil Upstream Res Co High-level graphical programming language and tool for well management programming
US7437341B2 (en) * 2005-06-29 2008-10-14 American Express Travel Related Services Company, Inc. System and method for selecting a suitable technical architecture to implement a proposed solution
US20070006160A1 (en) * 2005-06-29 2007-01-04 Sue Kunz Software digital fingerprint
US7480673B2 (en) * 2005-07-06 2009-01-20 International Business Machines Corporation Optimized computer diagramming method
US20070022405A1 (en) * 2005-07-20 2007-01-25 Caterpillar Inc. Method and system for software design
US8250226B2 (en) * 2005-07-21 2012-08-21 Ca, Inc. Generating one or more clients for generating one or more synthetic transactions with one or more web service operations
US7979472B2 (en) * 2005-07-29 2011-07-12 Sap Ag Method for conditionally branching a validation
US20070027905A1 (en) * 2005-07-29 2007-02-01 Microsoft Corporation Intelligent SQL generation for persistent object retrieval
US20070044083A1 (en) * 2005-07-29 2007-02-22 Microsoft Corporation Lambda expressions
US20070027849A1 (en) * 2005-07-29 2007-02-01 Microsoft Corporation Integrating query-related operators in a programming language
US7870162B2 (en) * 2005-07-29 2011-01-11 Sap Ag Method for generating properly formed expressions
US7702686B2 (en) * 2005-07-29 2010-04-20 Microsoft Corporation Retrieving and persisting objects from/to relational databases
US7685567B2 (en) * 2005-07-29 2010-03-23 Microsoft Corporation Architecture that extends types using extension methods
US7631011B2 (en) * 2005-07-29 2009-12-08 Microsoft Corporation Code generation patterns
US7752606B2 (en) * 2005-08-10 2010-07-06 Capital One Financial Corporation Software development tool using a structured format to generate software code
US8667395B2 (en) * 2005-08-19 2014-03-04 Nintendo Co., Ltd. Method and apparatus for creating video game and entertainment demonstrations with full preview and/or other features
US8196104B2 (en) * 2005-08-31 2012-06-05 Sap Ag Systems and methods for testing application accessibility
JP2007079954A (en) * 2005-09-14 2007-03-29 Sony Corp Information processing method and device, recording medium and program
US8719716B2 (en) * 2005-09-15 2014-05-06 The Mathworks, Inc. Locked element for use in a graphical modeling environment
US20070067341A1 (en) * 2005-09-20 2007-03-22 International Business Machines Corporation Automated user interface functional requirements tool
US7752205B2 (en) 2005-09-26 2010-07-06 Bea Systems, Inc. Method and system for interacting with a virtual content repository
US7818344B2 (en) 2005-09-26 2010-10-19 Bea Systems, Inc. System and method for providing nested types for content management
US7917537B2 (en) 2005-09-26 2011-03-29 Oracle International Corporation System and method for providing link property types for content management
US7953734B2 (en) 2005-09-26 2011-05-31 Oracle International Corporation System and method for providing SPI extensions for content management system
JP4783612B2 (en) * 2005-10-12 2011-09-28 富士通セミコンダクター株式会社 Extended language specification designation method, program development method, program, and computer-readable storage medium
US8397209B2 (en) * 2005-11-17 2013-03-12 The Government Of The United States Of America, As Represented By The Secretary Of The Navy Software modeling system and method
US8930889B2 (en) * 2005-11-17 2015-01-06 The United States Of America, As Represented By The Secretary Of The Navy Software modeling system and method
AU2006315078B2 (en) * 2005-11-18 2012-02-16 Robert Arthur Crewdson Computer software development system and method
WO2007056807A1 (en) * 2005-11-18 2007-05-24 Robert Arthur Crewdson Computer software development system and method
US8176468B2 (en) * 2005-12-01 2012-05-08 Cypress Semiconductor Corporation Multivariable transfer functions
US7716639B2 (en) * 2005-12-15 2010-05-11 Abb Technology Ltd. Specification wizard
US20070143307A1 (en) * 2005-12-15 2007-06-21 Bowers Matthew N Communication system employing a context engine
US8464210B1 (en) * 2005-12-22 2013-06-11 Rockstar Consortium Us Lp Software development and testing environment
JP2007179165A (en) * 2005-12-27 2007-07-12 Internatl Business Mach Corp <Ibm> Computer program and method for deriving stochastic performance evaluation model from ulm design model
US8983823B1 (en) * 2005-12-29 2015-03-17 The Mathworks, Inc. Verification harness for automatically generating a text-based representation of a graphical model
US7757204B2 (en) * 2005-12-29 2010-07-13 Sap Ag Limiting extensibility of a visual modeling language
US8522194B2 (en) 2005-12-30 2013-08-27 Sap Ag Software modeling
US8380553B2 (en) 2005-12-30 2013-02-19 Sap Ag Architectural design for plan-driven procurement application software
US8448137B2 (en) * 2005-12-30 2013-05-21 Sap Ag Software model integration scenarios
US8316344B2 (en) 2005-12-30 2012-11-20 Sap Ag Software model deployment units
US8402426B2 (en) 2005-12-30 2013-03-19 Sap Ag Architectural design for make to stock application software
US8396731B2 (en) 2005-12-30 2013-03-12 Sap Ag Architectural design for service procurement application software
US7882486B2 (en) * 2006-02-10 2011-02-01 Microsoft Corporation Adding interactivity to artwork
US20120124550A1 (en) * 2006-02-22 2012-05-17 Robert Nocera Facilitating database application code translation from a first application language to a second application language
US8490048B2 (en) * 2006-03-17 2013-07-16 International Business Machines Corporation Apparatus, system, and method for tool-based creation of a hub server/application interface
US7415448B2 (en) * 2006-03-20 2008-08-19 Microsoft Corporation Adaptive engine for processing geographic data
US8442850B2 (en) 2006-03-30 2013-05-14 Sap Ag Providing accounting software application as enterprise services
US20070240128A1 (en) * 2006-04-07 2007-10-11 Patton Richard D Systems and methods for generating a user interface using a domain specific language
US7934193B2 (en) * 2006-04-11 2011-04-26 Rojer Alan S Processing a module specification to produce a module definition
US8091069B2 (en) * 2006-04-11 2012-01-03 Rojer Alan S Module specification language and meta-module
US7962888B2 (en) * 2006-04-11 2011-06-14 Rojer Alan S Producing unitary class definitions from module specifications
US20070244691A1 (en) * 2006-04-17 2007-10-18 Microsoft Corporation Translation of user interface text strings
US7784022B2 (en) * 2006-04-25 2010-08-24 Sap Ag Mapping a new user interface onto an existing integrated interface
US20070282719A1 (en) * 2006-04-27 2007-12-06 Zemah Haim Platform generator for processing financial activities and management thereof
US20080126264A1 (en) * 2006-05-02 2008-05-29 Tellefsen Jens E Systems and methods for price optimization using business segmentation
US8234630B2 (en) * 2006-05-03 2012-07-31 The Mathworks, Inc. Calling an entity of a graphical model with a non-graphical entity and calling a non-graphical entity of a graphical model with a graphical entity
US20070266366A1 (en) * 2006-05-12 2007-11-15 Iosemantics, Llc Generating and utilizing finite input output models, comparison of semantic models and software quality assurance
JP2007304998A (en) * 2006-05-12 2007-11-22 Hitachi Software Eng Co Ltd Source code generation method, device, and program
US20070294192A1 (en) * 2006-05-15 2007-12-20 Tellefsen Jens E Systems and methods for price setting and triangulation
US8006226B2 (en) * 2006-06-09 2011-08-23 Sorriso Technologies Inc. Methods and apparatus for generating a web site from a use case
JP2007328692A (en) * 2006-06-09 2007-12-20 Canon Inc Algebra operation method and device therefor, and program
US7844942B2 (en) * 2006-06-12 2010-11-30 International Business Machines Corporation System and method for model driven transformation filtering
US7610172B2 (en) * 2006-06-16 2009-10-27 Jpmorgan Chase Bank, N.A. Method and system for monitoring non-occurring events
US8024235B2 (en) * 2006-06-21 2011-09-20 Microsoft Corporation Automatic search functionality within business applications
CN101093493B (en) * 2006-06-23 2011-08-31 国际商业机器公司 Speech conversion method for database inquiry and converter
WO2008000878A2 (en) * 2006-06-30 2008-01-03 Business Excellence Through Information Technologies, S.L. Electronic commerce system for the purchase of custom-developed computer applications for managing information using structured data models.
US8706776B1 (en) 2006-06-30 2014-04-22 Sap Ag Extending status models in a computer system
US8365200B1 (en) 2006-06-30 2013-01-29 Sap Ag Using cancellation status models in a computer system
US8522261B2 (en) * 2006-06-30 2013-08-27 Sap Ag Using status models with state guards in a computer system
US8200715B1 (en) 2006-06-30 2012-06-12 Sap Ag Using status models with adaptable process steps in a computer system
CN101101547B (en) * 2006-07-04 2012-07-18 霍尼韦尔(北京)技术研发实验有限公司 Dynamic computer system and structure
US8176467B2 (en) * 2006-07-25 2012-05-08 Harris Corporation Computer program generation system and method thereof
US7966599B1 (en) * 2006-08-29 2011-06-21 Adobe Systems Incorporated Runtime library including a virtual file system
US7917890B2 (en) * 2006-08-31 2011-03-29 Jon Barcellona Enterprise-scale application development framework utilizing code generation
US8200807B2 (en) * 2006-08-31 2012-06-12 The Mathworks, Inc. Non-blocking local events in a state-diagramming environment
US8589869B2 (en) * 2006-09-07 2013-11-19 Wolfram Alpha Llc Methods and systems for determining a formula
US8381180B2 (en) * 2006-09-08 2013-02-19 Sap Ag Visually exposing data services to analysts
US7584163B2 (en) * 2006-09-14 2009-09-01 Sap Ag Method and system for expression evaluation
KR20090071596A (en) * 2006-09-20 2009-07-01 내셔널 아이씨티 오스트레일리아 리미티드 Generating a transition system for use with model checking
US7861290B2 (en) * 2006-09-22 2010-12-28 Oracle International Corporation Non-invasive insertion of pagelets
US7647522B2 (en) * 2006-09-28 2010-01-12 Microsoft Corporation Operating system with corrective action service and isolation
US8127278B2 (en) 2006-09-28 2012-02-28 Sap Ag System and method for extending legacy applications with undo/redo functionality
US8156480B2 (en) 2006-09-29 2012-04-10 Intel Corporation Methods and apparatus to form a resilient objective instruction construct
US8146051B2 (en) * 2006-10-02 2012-03-27 International Business Machines Corporation Method and computer program product for providing a representation of software modeled by a model
US8463852B2 (en) 2006-10-06 2013-06-11 Oracle International Corporation Groupware portlets for integrating a portal with groupware systems
US8739137B2 (en) * 2006-10-19 2014-05-27 Purdue Research Foundation Automatic derivative method for a computer programming language
US7894917B2 (en) * 2006-10-20 2011-02-22 Rockwell Automation Technologies, Inc. Automatic fault tuning
US8601435B2 (en) * 2006-10-20 2013-12-03 Rockwell Automation Technologies, Inc. Module class subsets for industrial control
US20080095196A1 (en) * 2006-10-20 2008-04-24 Rockwell Automation Technologies, Inc. Unit to unit transfer synchronization
US7844349B2 (en) * 2006-10-20 2010-11-30 Rockwell Automation Technologies, Inc. Standard MES interface for discrete manufacturing
US8392008B2 (en) * 2006-10-20 2013-03-05 Rockwell Automation Technologies, Inc. Module arbitration and ownership enhancements
JP4589294B2 (en) 2006-11-21 2010-12-01 富士通株式会社 Design / verification support program and recording medium recording the program
EP1926019B1 (en) * 2006-11-24 2012-05-16 Tangro Software Components GmbH Data exchange method and control method between software components as well as reusable software components.
GB0624168D0 (en) 2006-12-04 2007-01-10 Axiom Systems Ltd Service assembly and delivery
US8756561B2 (en) * 2006-12-05 2014-06-17 International Business Machines Corporation Software model normalization and mediation
US8930890B2 (en) * 2006-12-05 2015-01-06 International Business Machines Corporation Software model skinning
US7926026B2 (en) * 2006-12-20 2011-04-12 Sap Ag Graphical analysis to detect process object anomalies
US8689174B2 (en) * 2006-12-28 2014-04-01 Sap Ag Extensibility of pattern components
US8219650B2 (en) * 2006-12-28 2012-07-10 Sap Ag Communicating with a status management component in a computer system
US8843883B2 (en) * 2007-01-03 2014-09-23 International Business Machines Corporation System and method for model-driven dashboard for business performance management
US8161454B2 (en) * 2007-01-22 2012-04-17 Ford Motor Company Software architecture for developing in-vehicle software applications
US8997091B1 (en) * 2007-01-31 2015-03-31 Emc Corporation Techniques for compliance testing
US8812957B2 (en) * 2007-01-31 2014-08-19 Adobe Systems Incorporated Relevance slider in a site analysis report
US8099491B2 (en) * 2007-01-31 2012-01-17 Adobe Systems Incorporated Intelligent node positioning in a site analysis report
US20080189679A1 (en) * 2007-02-05 2008-08-07 Jared Rodriguez Method and system for creating, deploying, and utilizing a service
US8336025B1 (en) 2007-02-08 2012-12-18 The Mathworks, Inc. Pattern modeling methods and systems
US8776015B1 (en) * 2007-02-08 2014-07-08 The Mathworks, Inc. Pattern modeling methods and systems
US8904340B2 (en) * 2007-02-13 2014-12-02 International Business Machines Corporation Use of temporary optimized settings to reduce cycle time of automatically created spreadsheets
US8768689B2 (en) * 2007-02-14 2014-07-01 Nuance Communications, Inc. Method and system for translation management of source language text phrases
KR100871563B1 (en) * 2007-02-14 2008-12-02 삼성전자주식회사 Apparatus and method for developing software based on component
EP1965300A1 (en) * 2007-03-02 2008-09-03 Siemens Aktiengesellschaft A method for validating a graphical workflow translation
US20080235658A1 (en) * 2007-03-21 2008-09-25 Asaf Adi Code generation for real-time event processing
US8296719B2 (en) * 2007-04-13 2012-10-23 International Business Machines Corporation Software factory readiness review
US8327318B2 (en) * 2007-04-13 2012-12-04 International Business Machines Corporation Software factory health monitoring
US8566777B2 (en) * 2007-04-13 2013-10-22 International Business Machines Corporation Work packet forecasting in a software factory
US20080256390A1 (en) * 2007-04-13 2008-10-16 Chaar Jarir K Project Induction in a Software Factory
US8359566B2 (en) * 2007-04-13 2013-01-22 International Business Machines Corporation Software factory
US8141040B2 (en) * 2007-04-13 2012-03-20 International Business Machines Corporation Assembling work packets within a software factory
US8464205B2 (en) * 2007-04-13 2013-06-11 International Business Machines Corporation Life cycle of a work packet in a software factory
US7882445B2 (en) * 2007-04-20 2011-02-01 National Instruments Corporation Configurable wires in a statechart
US8108833B2 (en) * 2007-04-20 2012-01-31 National Instruments Corporation Automatically generating a graphical data flow program from a statechart
US8566793B2 (en) * 2007-04-27 2013-10-22 International Business Machines Corporation Detecting and displaying errors in database statements within integrated development environment tool
US8392880B2 (en) * 2007-04-27 2013-03-05 International Business Machines Corporation Rapid application development for database-aware applications
US9489418B2 (en) 2007-04-27 2016-11-08 International Business Machines Corporation Processing database queries embedded in application source code from within integrated development environment tool
US9047337B2 (en) * 2007-04-27 2015-06-02 International Business Machines Corporation Database connectivity and database model integration within integrated development environment tool
US20080276221A1 (en) * 2007-05-02 2008-11-06 Sap Ag. Method and apparatus for relations planning and validation
JP5166519B2 (en) * 2007-05-16 2013-03-21 インターナショナル・ビジネス・マシーンズ・コーポレーション Consistent method system and computer program for developing software asset based solutions
US8060868B2 (en) * 2007-06-21 2011-11-15 Microsoft Corporation Fully capturing outer variables as data objects
US8090735B2 (en) * 2007-06-22 2012-01-03 International Business Machines Corporation Statement generation using statement patterns
US8375351B2 (en) * 2007-06-23 2013-02-12 International Business Machines Corporation Extensible rapid application development for disparate data sources
US10783463B2 (en) * 2007-06-27 2020-09-22 International Business Machines Corporation System, method and program for tracking labor costs
US7702695B2 (en) * 2007-06-27 2010-04-20 Microsoft Corporation Object relational map verification system
US8001519B2 (en) * 2007-06-27 2011-08-16 International Business Machines Corporation Model driven development including aspect integration tool
US8020144B2 (en) * 2007-06-29 2011-09-13 Microsoft Corporation Metadata-based application deployment
US8200604B2 (en) 2007-06-29 2012-06-12 Microsoft Corporation Multi-platform business calculation rule language and execution environment
US20090024979A1 (en) * 2007-07-20 2009-01-22 International Business Machines Corporation Method and system for configuring a user interface
US8141030B2 (en) * 2007-08-07 2012-03-20 International Business Machines Corporation Dynamic routing and load balancing packet distribution with a software factory
US8250534B2 (en) * 2007-08-09 2012-08-21 Infonovus Technologies, Llc Method and system for constructing a software application from a complete and consistent specification in a software development process
US8386999B2 (en) * 2007-08-09 2013-02-26 Infonovus Technologies, Llc Method and system for analyzing a software design
US8332807B2 (en) * 2007-08-10 2012-12-11 International Business Machines Corporation Waste determinants identification and elimination process model within a software factory operating environment
US8689194B1 (en) * 2007-08-20 2014-04-01 The Mathworks, Inc. Optimization identification
US9189757B2 (en) * 2007-08-23 2015-11-17 International Business Machines Corporation Monitoring and maintaining balance of factory quality attributes within a software factory environment
US8539437B2 (en) * 2007-08-30 2013-09-17 International Business Machines Corporation Security process model for tasks within a software factory
EP3023876A1 (en) * 2007-08-31 2016-05-25 Phase Change Software LLC Quality assurance tools for use with source code and a semantic model
US8429618B2 (en) * 2007-09-19 2013-04-23 Siemens Industry, Inc. Parametric regular object types with comprehensions for automated generation of software test fixtures
WO2009042129A2 (en) * 2007-09-24 2009-04-02 Simio Llc A system and method for creating intelligent simulation objects using graphical process descriptions
US8091094B2 (en) 2007-10-10 2012-01-03 Sap Ag Methods and systems for ambistateful backend control
US8381174B2 (en) * 2007-10-31 2013-02-19 National Instruments Corporation Global variable structure in a graphical program
US8316346B2 (en) * 2007-11-06 2012-11-20 International Business Machines Corporation Method and system for selecting a software architecture for implementing service integration
JP5226283B2 (en) * 2007-11-15 2013-07-03 キヤノン株式会社 Information processing apparatus, information processing system, method, and program
US8671121B2 (en) * 2007-11-26 2014-03-11 International Business Machines Corporation Model augmentation in a model-driven application development environment
US8412516B2 (en) * 2007-11-27 2013-04-02 Accenture Global Services Limited Document analysis, commenting, and reporting system
US8271870B2 (en) * 2007-11-27 2012-09-18 Accenture Global Services Limited Document analysis, commenting, and reporting system
US8266519B2 (en) 2007-11-27 2012-09-11 Accenture Global Services Limited Document analysis, commenting, and reporting system
EP2071451A1 (en) * 2007-12-07 2009-06-17 Alcatel Lucent Device and method for building compilable and executable applications from specifications expressed by classes
US8458648B2 (en) * 2007-12-10 2013-06-04 International Business Machines Corporation Graphical modelization of user interfaces for data intensive applications
US8447657B2 (en) 2007-12-31 2013-05-21 Sap Ag Architectural design for service procurement application software
US8782618B1 (en) * 2008-01-08 2014-07-15 The Mathworks, Inc. Instrument based processing
US8468117B1 (en) * 2008-01-22 2013-06-18 Salesforce.Com, Inc. System, method and computer program product for creating a visual component for tenants of an on-demand database service
US8458667B2 (en) * 2008-01-30 2013-06-04 National Instruments Corporation Debugging a statechart for a real time target
US8370795B1 (en) * 2008-01-31 2013-02-05 Intuit Inc. Method and system for explaining a value of a field in a form
US8196112B1 (en) * 2008-02-15 2012-06-05 Amazon Technologies, Inc. Systems and methods for testing widgets in computer environments
US20090210853A1 (en) * 2008-02-19 2009-08-20 Anand Kumar Systems and apparatus for software development
US8271951B2 (en) * 2008-03-04 2012-09-18 International Business Machines Corporation System and methods for collecting software development feedback
KR100994070B1 (en) * 2008-03-19 2010-11-11 (주)케투씨소프트 A Reserved Component Container Based Software Development Method and Apparatus
US20110010692A1 (en) * 2008-03-21 2011-01-13 The Bank Of Tokyo-Mitsubishi Ufj, Ltd. Application development support device, program and storage medium
US8504980B1 (en) 2008-04-14 2013-08-06 Sap Ag Constraining data changes during transaction processing by a computer system
US20100058198A1 (en) * 2008-04-16 2010-03-04 Modria, Inc. Collaborative realtime planning using a model driven architecture and iterative planning tools
US20090271765A1 (en) * 2008-04-29 2009-10-29 Microsoft Corporation Consumer and producer specific semantics of shared object protocols
US20090276757A1 (en) * 2008-04-30 2009-11-05 Fraunhofer Usa, Inc. Systems and methods for inference and management of software code architectures
US20090282384A1 (en) * 2008-05-12 2009-11-12 Raytheon Company Framework-Based Model-Driven Software Development
US8850409B2 (en) * 2008-05-21 2014-09-30 Optumsoft, Inc. Notification-based constraint set translation to imperative execution
US8595044B2 (en) * 2008-05-29 2013-11-26 International Business Machines Corporation Determining competence levels of teams working within a software
US8667469B2 (en) * 2008-05-29 2014-03-04 International Business Machines Corporation Staged automated validation of work packets inputs and deliverables in a software factory
US8010512B2 (en) * 2008-06-16 2011-08-30 International Business Machines Corporation System and method for model-driven object store
US8732838B2 (en) * 2008-06-26 2014-05-20 Microsoft Corporation Evaluating the effectiveness of a threat model
US8255869B2 (en) * 2008-06-30 2012-08-28 Rockwell Automation Technologies, Inc. Industry template customization and transclusion for use in industrial automation and information solutions
US8677310B2 (en) * 2008-06-30 2014-03-18 Rockwell Automation Technologies, Inc. Industry template abstracting and creation for use in industrial automation and information solutions
US8245191B2 (en) * 2008-07-03 2012-08-14 International Business Machines Corporation Policy application rules for automated configuration of software components
US9639331B2 (en) 2008-07-09 2017-05-02 International Business Machines Corporation Service interface creation and modification for object-oriented services
JP4894826B2 (en) 2008-07-14 2012-03-14 ソニー株式会社 COMMUNICATION DEVICE, COMMUNICATION SYSTEM, NOTIFICATION METHOD, AND PROGRAM
US8452629B2 (en) 2008-07-15 2013-05-28 International Business Machines Corporation Work packet enabled active project schedule maintenance
US8527329B2 (en) * 2008-07-15 2013-09-03 International Business Machines Corporation Configuring design centers, assembly lines and job shops of a global delivery network into “on demand” factories
US8140367B2 (en) * 2008-07-22 2012-03-20 International Business Machines Corporation Open marketplace for distributed service arbitrage with integrated risk management
US20100023920A1 (en) * 2008-07-22 2010-01-28 International Business Machines Corporation Intelligent job artifact set analyzer, optimizer and re-constructor
US8375370B2 (en) * 2008-07-23 2013-02-12 International Business Machines Corporation Application/service event root cause traceability causal and impact analyzer
US8418126B2 (en) * 2008-07-23 2013-04-09 International Business Machines Corporation Software factory semantic reconciliation of data models for work packets
US8448129B2 (en) * 2008-07-31 2013-05-21 International Business Machines Corporation Work packet delegation in a software factory
US8271949B2 (en) * 2008-07-31 2012-09-18 International Business Machines Corporation Self-healing factory processes in a software factory
US8336026B2 (en) * 2008-07-31 2012-12-18 International Business Machines Corporation Supporting a work packet request with a specifically tailored IDE
US20100031175A1 (en) * 2008-08-04 2010-02-04 Michael Lee Kijewski Computerized method for relating variables in user-defined equations to dimensions on digital drawings
EP2329376A1 (en) * 2008-08-15 2011-06-08 Verum Holding B.V. A method and system for testing complex machine control software
US20110224954A1 (en) * 2008-08-26 2011-09-15 Cinergix Pty Ltd Modelling of systems
US8401928B2 (en) * 2008-09-18 2013-03-19 Sap Ag Providing supplier relationship management software application as enterprise services
CA2680306C (en) * 2008-09-24 2018-01-16 Accenture Global Services Gmbh Identification of concepts in software
US9335761B2 (en) * 2008-09-30 2016-05-10 Rockwell Automation Technologies, Inc. Procedure classification for industrial automation
US20100088685A1 (en) * 2008-10-06 2010-04-08 Microsoft Corporation System and method for mapping a domain modeling language to a relational store
US8356288B2 (en) * 2008-11-10 2013-01-15 Sap Ag Method and apparatus for monitoring runtime of persistence applications
JP2010128583A (en) * 2008-11-25 2010-06-10 Toshiba Corp Test-facilitating design apparatus, its method and program
US8401908B2 (en) 2008-12-03 2013-03-19 Sap Ag Architectural design for make-to-specification application software
WO2010064317A2 (en) * 2008-12-05 2010-06-10 富士通株式会社 Operation management support program, recording medium on which said program is recorded, operation management support device, and operation management support method
US8671035B2 (en) 2008-12-11 2014-03-11 Sap Ag Providing payroll software application as enterprise services
US8949788B2 (en) * 2008-12-17 2015-02-03 Red Hat, Inc. Building and packaging software
US8495596B1 (en) * 2009-02-09 2013-07-23 Amdocs Software Systems Limited System, method, and computer program for interfacing an automatic operational support system with a legacy operational support system
US20100235275A1 (en) * 2009-03-06 2010-09-16 Carl Ansley Card Processing
US8849873B2 (en) * 2009-03-18 2014-09-30 Bentley Systems, Incorporated Specifications automation system and method
TW201106251A (en) 2009-04-24 2011-02-16 Ibm Editing apparatus, editing method and program
US8788524B1 (en) 2009-05-15 2014-07-22 Wolfram Alpha Llc Method and system for responding to queries in an imprecise syntax
US8601015B1 (en) 2009-05-15 2013-12-03 Wolfram Alpha Llc Dynamic example generation for queries
JP5304475B2 (en) * 2009-06-23 2013-10-02 富士通株式会社 Information processing apparatus and information processing method
US8595697B2 (en) * 2009-07-01 2013-11-26 International Business Machines Corporation Serializing a templated markup language representation of test artifacts
FR2948788B1 (en) * 2009-07-30 2011-09-16 Xaga Network APPLICATION MANAGEMENT SYSTEM
US8589858B1 (en) * 2009-09-14 2013-11-19 Lockheed Martin Corporation Requirement manager for UML and SysML application
US8706771B2 (en) * 2009-09-30 2014-04-22 Smartshift Gmbh Systems and methods for analyzing and transforming an application from a source installation to a target installation
US8301168B2 (en) * 2009-10-16 2012-10-30 At&T Mobility Ii Llc Devices and methods for selectively filtering message content
US10185594B2 (en) * 2009-10-29 2019-01-22 International Business Machines Corporation System and method for resource identification
US8436867B1 (en) * 2009-11-06 2013-05-07 Pixar System and method for generating computer graphic images by identifying variant and invariant shader arguments
US8677313B2 (en) * 2009-11-30 2014-03-18 Accenture Global Services Limited Functional design creation tool
US8707250B2 (en) * 2009-12-22 2014-04-22 Board Of Regents, The University Of Texas System Automation support for domain modeling
US8549353B2 (en) * 2009-12-29 2013-10-01 Microgen Aptitutde Limited Batch processing error handling modes
US8997053B2 (en) * 2010-01-14 2015-03-31 Worksoft, Inc. System and method for automated testing of software applications with dynamic user interfaces spanning multiple technologies
US20110191748A1 (en) * 2010-01-29 2011-08-04 International Business Machines Corporation Systems and methods for design time service verification and validation
EP2362333A1 (en) 2010-02-19 2011-08-31 Accenture Global Services Limited System for requirement identification and analysis based on capability model structure
US20110213637A1 (en) * 2010-02-26 2011-09-01 Gm Global Technology Operations, Inc Requirements engineering tool called requirement editor
US9116708B2 (en) * 2010-03-05 2015-08-25 Nec Corporation Program creation support apparatus, program, and information system
US8949773B2 (en) * 2010-03-25 2015-02-03 International Business Machines Corporation Deriving process models from natural language use case models
US9146913B2 (en) 2010-03-29 2015-09-29 Bentley Systems, Incorporated Specifications automation system and method
US8701080B2 (en) 2010-04-05 2014-04-15 Accenture Global Services Limited Template components having constraints representative of best practices in integration software development
US8495580B2 (en) 2010-04-07 2013-07-23 International Business Machines Corporation Facilitating use of model transformations
US8739118B2 (en) 2010-04-08 2014-05-27 Microsoft Corporation Pragmatic mapping specification, compilation and validation
US8484015B1 (en) 2010-05-14 2013-07-09 Wolfram Alpha Llc Entity pages
US20110302551A1 (en) * 2010-06-02 2011-12-08 Hummel Jr David Martin System and method for analytic process design
US8473895B2 (en) * 2010-06-08 2013-06-25 Microsoft Corporation Providing diverse solutions using design space exploration
US20110314449A1 (en) * 2010-06-18 2011-12-22 Infosys Technologies Limited Method and system for estimating effort for maintenance of software
US8607191B2 (en) * 2010-06-30 2013-12-10 International Business Machines Corporation Automated discovery of programmatic resources
US8566731B2 (en) 2010-07-06 2013-10-22 Accenture Global Services Limited Requirement statement manipulation system
US8572574B2 (en) * 2010-07-16 2013-10-29 Fujitsu Limited Solving hybrid constraints to validate specification requirements of a software module
US8812298B1 (en) 2010-07-28 2014-08-19 Wolfram Alpha Llc Macro replacement of natural language input
US8510650B2 (en) * 2010-08-11 2013-08-13 Stephen J. Garland Multiple synchronized views for creating, analyzing, editing, and using mathematical formulas
US8407073B2 (en) 2010-08-25 2013-03-26 International Business Machines Corporation Scheduling resources from a multi-skill multi-level human resource pool
US9087236B2 (en) * 2010-09-13 2015-07-21 International Business Machines Corporation Automated recognition of process modeling semantics in flow diagrams
US8776014B2 (en) * 2010-09-23 2014-07-08 Microsoft Corporation Software build analysis
US9177017B2 (en) * 2010-09-27 2015-11-03 Microsoft Technology Licensing, Llc Query constraint encoding with type-based state machine
WO2012048162A2 (en) 2010-10-08 2012-04-12 Irise System and method for extending a visualization platform
WO2012069077A1 (en) * 2010-11-23 2012-05-31 Nokia Siemens Networks Oy Network element configuration management
WO2012074338A2 (en) * 2010-12-02 2012-06-07 에스케이텔레콤 주식회사 Natural language and mathematical formula processing method and device therefor
US9069448B2 (en) * 2010-12-03 2015-06-30 Salesforce.Com, Inc. Filtering objects in a multi-tenant environment
EP2466455A1 (en) * 2010-12-15 2012-06-20 Schneider Electric Buildings AB Definition of objects in object-oriented programming environments
US20120180033A1 (en) * 2011-01-12 2012-07-12 David Amos Brown System and Methodology for Autonomous, Value-Centric, Architectural, Software Programming
US9015011B2 (en) * 2011-01-25 2015-04-21 Accenture Global Services Limited Assistant tool
US9280442B1 (en) 2011-01-27 2016-03-08 Trimble Navigation Limited System and method for generating coverage reports for software unit tests
US9043759B1 (en) 2011-01-27 2015-05-26 Trimble Navigation Limited System and method for generating software unit tests simultaneously with API documentation
US9400778B2 (en) 2011-02-01 2016-07-26 Accenture Global Services Limited System for identifying textual relationships
US8856734B2 (en) 2011-03-11 2014-10-07 Oracle International Corporation Type-safe dependency injection of services into enterprise components
US8706881B2 (en) * 2011-03-22 2014-04-22 Oracle International Corporation Automatic registration of enterprise resources in a dynamic module system services registry
US20120246609A1 (en) 2011-03-24 2012-09-27 International Business Machines Corporation Automatic generation of user stories for software products via a product content space
US8682895B1 (en) * 2011-03-31 2014-03-25 Twitter, Inc. Content resonance
US10543715B2 (en) 2016-09-08 2020-01-28 Stempf Automotive Industries, Inc. Wheel centering sleeve
US9117227B1 (en) 2011-03-31 2015-08-25 Twitter, Inc. Temporal features in a messaging platform
US9319359B1 (en) 2011-03-31 2016-04-19 Twitter, Inc. Promoting content in a real-time messaging platform
US20120260237A1 (en) * 2011-04-10 2012-10-11 Requirementslive Llc Portable Business Language and Automated Software Application Development System
US8935654B2 (en) 2011-04-21 2015-01-13 Accenture Global Services Limited Analysis system for test artifact generation
US9817677B2 (en) * 2011-04-22 2017-11-14 Microsoft Technologies Licensing, LLC Rule based data driven validation
JP2012238235A (en) * 2011-05-12 2012-12-06 Canon Inc Program verification device and program
US9123002B2 (en) * 2011-05-27 2015-09-01 Abbott Informatics Corporation Graphically based method for developing rules for managing a laboratory workflow
US8660878B2 (en) 2011-06-15 2014-02-25 International Business Machines Corporation Model-driven assignment of work to a software factory
US9063672B2 (en) * 2011-07-11 2015-06-23 Honeywell International Inc. Systems and methods for verifying model equivalence
US9268665B2 (en) 2011-07-26 2016-02-23 Trimble Navigation Limited System and method for identifying fault prone computer code files
US9069814B2 (en) 2011-07-27 2015-06-30 Wolfram Alpha Llc Method and system for using natural language to generate widgets
US8676864B2 (en) * 2011-08-19 2014-03-18 Salesforce.Com, Inc. Methods and systems for providing schema layout in an on-demand services environment
US9507871B2 (en) * 2011-08-29 2016-11-29 The Boeing Company Methods and systems for a state-based web framework architecture
US9063673B2 (en) * 2011-08-30 2015-06-23 Uniquesoft, Llc System and method for implementing application code from application requirements
US9734252B2 (en) 2011-09-08 2017-08-15 Wolfram Alpha Llc Method and system for analyzing data using a query answering system
US8943470B2 (en) * 2011-09-23 2015-01-27 The Mathworks, Inc. Requirements framework
US8898628B2 (en) 2011-09-23 2014-11-25 Ahmad RAZA Method and an apparatus for developing software
GB2509853A (en) * 2011-10-12 2014-07-16 Ibm Method for generating workflow from business specification; program; and system
US9244819B2 (en) * 2011-10-31 2016-01-26 International Business Machines Corporation Attribute value properties for test selection with cartesian product models
US9851950B2 (en) 2011-11-15 2017-12-26 Wolfram Alpha Llc Programming in a precise syntax using natural language
US10796232B2 (en) 2011-12-04 2020-10-06 Salesforce.Com, Inc. Explaining differences between predicted outcomes and actual outcomes of a process
US10802687B2 (en) 2011-12-04 2020-10-13 Salesforce.Com, Inc. Displaying differences between different data sets of a process
US8577840B2 (en) * 2012-01-03 2013-11-05 International Business Machines Corporation Replication of data sets
GB2490190A (en) * 2012-01-11 2012-10-24 Accenture Global Services Ltd Testing a requirement statement using a grammatical parser and applying a test artefact rule set.
CN102609402B (en) * 2012-01-12 2014-02-12 北京航空航天大学 Device and method for generation and management of ontology model based on real-time strategy
JP5692418B2 (en) * 2012-01-27 2015-04-01 富士通株式会社 Information processing method, apparatus and program
US9152385B2 (en) * 2012-02-22 2015-10-06 GM Global Technology Operations LLC Systems and methods for generating high-quality formal executable software feature requirements
US9021420B2 (en) * 2012-03-02 2015-04-28 Xerox Corporation Deployment of business processes in service-oriented architecture environments
EP2639693A1 (en) * 2012-03-12 2013-09-18 Barium AB Business management system
US20130246995A1 (en) * 2012-03-13 2013-09-19 Outsystems - Software Em Rede S.A. Systems, methods, and apparatus for model-based security control
US9389872B2 (en) * 2012-03-16 2016-07-12 Vmware, Inc. Software wizard implementation framework
WO2013142433A2 (en) * 2012-03-19 2013-09-26 Enterpriseweb Llc Declarative software application meta-model and system for self-modification
US9424168B2 (en) * 2012-03-20 2016-08-23 Massively Parallel Technologies, Inc. System and method for automatic generation of software test
US9977655B2 (en) * 2012-03-20 2018-05-22 Massively Parallel Technologies, Inc. System and method for automatic extraction of software design from requirements
US8996472B2 (en) 2012-04-16 2015-03-31 Sap Se Verification of status schemas based on business goal definitions
US9400983B1 (en) 2012-05-10 2016-07-26 Jpmorgan Chase Bank, N.A. Method and system for implementing behavior isolating prediction model
US8850407B2 (en) * 2012-05-23 2014-09-30 Hewlett-Packard Development Company, L.P. Test script generation
US9400639B2 (en) 2012-06-22 2016-07-26 Microsoft Technology Licensing, Llc Generating programs using context-free compositions and probability of determined transformation rules
US8898165B2 (en) 2012-07-02 2014-11-25 International Business Machines Corporation Identification of null sets in a context-based electronic document search
US9460200B2 (en) 2012-07-02 2016-10-04 International Business Machines Corporation Activity recommendation based on a context-based electronic files search
US8903813B2 (en) 2012-07-02 2014-12-02 International Business Machines Corporation Context-based electronic document search using a synthetic event
US9098586B1 (en) * 2012-07-05 2015-08-04 EarthNetTV Inc. Private user interest recognition and targeted recommendation system
US20140012740A1 (en) * 2012-07-06 2014-01-09 Great Bridge Corporation Collecting and analyzing transaction datacollecting and analyzing transaction and demographic data to fulfill queries and target surveys
US9027001B2 (en) 2012-07-10 2015-05-05 Honeywell International Inc. Systems and methods for verifying expression folding
US8966441B2 (en) * 2012-07-12 2015-02-24 Oracle International Corporation Dynamic scripts to extend static applications
US9009736B2 (en) * 2012-07-26 2015-04-14 Sap Se Function execution framework wrapper layer
US8996473B2 (en) 2012-08-06 2015-03-31 Sap Se Checking compatibility of extended and core SAM schemas based on complex goals
US9262499B2 (en) 2012-08-08 2016-02-16 International Business Machines Corporation Context-based graphical database
US20140052757A1 (en) * 2012-08-17 2014-02-20 International Business Machines Corporation Techniques providing a software fitting assessment
US8959119B2 (en) 2012-08-27 2015-02-17 International Business Machines Corporation Context-based graph-relational intersect derived database
US9405424B2 (en) 2012-08-29 2016-08-02 Wolfram Alpha, Llc Method and system for distributing and displaying graphical items
US9582585B2 (en) 2012-09-07 2017-02-28 Splunk Inc. Discovering fields to filter data returned in response to a search
US20150019537A1 (en) 2012-09-07 2015-01-15 Splunk Inc. Generating Reports from Unstructured Data
US8788525B2 (en) 2012-09-07 2014-07-22 Splunk Inc. Data model for machine data for semantic search
US9619580B2 (en) 2012-09-11 2017-04-11 International Business Machines Corporation Generation of synthetic context objects
US8620958B1 (en) 2012-09-11 2013-12-31 International Business Machines Corporation Dimensionally constrained synthetic context objects database
US9251237B2 (en) 2012-09-11 2016-02-02 International Business Machines Corporation User-specific synthetic context object matching
US9111102B2 (en) * 2012-09-17 2015-08-18 Microsoft Technology Licensing, Llc Creation of security roles through user walkthrough of business process workflow
US9223846B2 (en) 2012-09-18 2015-12-29 International Business Machines Corporation Context-based navigation through a database
US9280322B2 (en) * 2012-09-27 2016-03-08 Intel Corporation Generating source code
US8826240B1 (en) * 2012-09-29 2014-09-02 Appurify, Inc. Application validation through object level hierarchy analysis
US9741138B2 (en) 2012-10-10 2017-08-22 International Business Machines Corporation Node cluster relationships in a graph database
US8931109B2 (en) 2012-11-19 2015-01-06 International Business Machines Corporation Context-based security screening for accessing data
US9304894B2 (en) * 2012-12-03 2016-04-05 Ca, Inc. Code-free testing framework
US9058240B2 (en) * 2012-12-03 2015-06-16 International Business Machines Corporation Multi-context remote development
US9465591B2 (en) * 2012-12-17 2016-10-11 Unisys Corporation Syntax language generator for compiler validation
US8914413B2 (en) * 2013-01-02 2014-12-16 International Business Machines Corporation Context-based data gravity wells
US8983981B2 (en) 2013-01-02 2015-03-17 International Business Machines Corporation Conformed dimensional and context-based data gravity wells
US9229932B2 (en) 2013-01-02 2016-01-05 International Business Machines Corporation Conformed dimensional data gravity wells
US9043290B2 (en) * 2013-01-14 2015-05-26 International Business Machines Corporation Rewriting relational expressions for different type systems
US9063809B2 (en) 2013-01-15 2015-06-23 International Business Machines Corporation Content space environment representation
US9141379B2 (en) 2013-01-15 2015-09-22 International Business Machines Corporation Automated code coverage measurement and tracking per user story and requirement
US9069647B2 (en) 2013-01-15 2015-06-30 International Business Machines Corporation Logging and profiling content space data and coverage metric self-reporting
US9111040B2 (en) 2013-01-15 2015-08-18 International Business Machines Corporation Integration of a software content space with test planning and test case generation
US9218161B2 (en) 2013-01-15 2015-12-22 International Business Machines Corporation Embedding a software content space for run-time implementation
US9075544B2 (en) 2013-01-15 2015-07-07 International Business Machines Corporation Integration and user story generation and requirements management
US9396342B2 (en) 2013-01-15 2016-07-19 International Business Machines Corporation Role based authorization based on product content space
US9659053B2 (en) 2013-01-15 2017-05-23 International Business Machines Corporation Graphical user interface streamlining implementing a content space
US9081645B2 (en) 2013-01-15 2015-07-14 International Business Machines Corporation Software product licensing based on a content space
US9087155B2 (en) 2013-01-15 2015-07-21 International Business Machines Corporation Automated data collection, computation and reporting of content space coverage metrics for software products
US8856946B2 (en) 2013-01-31 2014-10-07 International Business Machines Corporation Security filter for context-based data gravity wells
US9053102B2 (en) 2013-01-31 2015-06-09 International Business Machines Corporation Generation of synthetic context frameworks for dimensionally constrained hierarchical synthetic context-based objects
US10067855B2 (en) * 2013-01-31 2018-09-04 Entit Software Llc Error developer association
US9069752B2 (en) 2013-01-31 2015-06-30 International Business Machines Corporation Measuring and displaying facets in context-based conformed dimensional data gravity wells
US9292506B2 (en) 2013-02-28 2016-03-22 International Business Machines Corporation Dynamic generation of demonstrative aids for a meeting
US9110722B2 (en) 2013-02-28 2015-08-18 International Business Machines Corporation Data processing work allocation
US9672228B2 (en) 2013-03-11 2017-06-06 Honeywell International Inc. Methods and systems for creating a complex user interface adapting a generic database software application to individually manage subset domains in complex database
US9280323B2 (en) * 2013-03-13 2016-03-08 Sap Se Display of source code semantic layers
US10078575B2 (en) * 2013-03-13 2018-09-18 Microsoft Technology Licensing, Llc Diagnostics of state transitions
US20140282369A1 (en) * 2013-03-14 2014-09-18 Adminovate, Inc. Software application generator
WO2014152800A1 (en) 2013-03-14 2014-09-25 Massively Parallel Technologies, Inc. Project planning and debugging from functional decomposition
US9134962B1 (en) 2013-03-15 2015-09-15 Sanctum Solutions, Inc. Interactive content development
US10650408B1 (en) 2013-03-15 2020-05-12 Twitter, Inc. Budget smoothing in a messaging platform
US10963922B1 (en) 2013-03-15 2021-03-30 Twitter, Inc. Campaign goal setting in a messaging platform
US9661453B2 (en) * 2013-03-16 2017-05-23 Fairwayiq, Inc. Intelligent golf course
JP6461092B2 (en) 2013-03-19 2019-01-30 ブルックス シーシーエス ゲーエムベーハーＢｒｏｏｋｓ ＣＣＳ ＧｍｂＨ Tool compiler
US10152526B2 (en) 2013-04-11 2018-12-11 International Business Machines Corporation Generation of synthetic context objects using bounded context objects
US9607075B2 (en) 2013-04-29 2017-03-28 Moogsoft, Inc. Situation dashboard system and method from event clustering
US10803133B2 (en) 2013-04-29 2020-10-13 Moogsoft Inc. System for decomposing events from managed infrastructures that includes a reference tool signalizer
US10700920B2 (en) 2013-04-29 2020-06-30 Moogsoft, Inc. System and methods for decomposing events from managed infrastructures that includes a floating point unit
US11010220B2 (en) 2013-04-29 2021-05-18 Moogsoft, Inc. System and methods for decomposing events from managed infrastructures that includes a feedback signalizer functor
US10417594B2 (en) 2013-05-02 2019-09-17 Sap Se Validation of functional correctness of SAM schemas including action chains
US10346388B2 (en) * 2013-05-03 2019-07-09 Sap Se Performance and quality optimized architecture for cloud applications
US9195608B2 (en) 2013-05-17 2015-11-24 International Business Machines Corporation Stored data analysis
US9348794B2 (en) 2013-05-17 2016-05-24 International Business Machines Corporation Population of context-based data gravity wells
US10296618B1 (en) 2013-05-20 2019-05-21 EMC IP Holding Company LLC Storage system query mechanism and techniques
US10467207B2 (en) * 2013-05-24 2019-11-05 Sap Se Handling changes in automatic sort
US9940104B2 (en) * 2013-06-11 2018-04-10 Microsoft Technology Licensing, Llc. Automatic source code generation
US9454348B2 (en) 2013-06-21 2016-09-27 Here Global B.V. Methods, apparatuses, and computer program products for facilitating a data interchange protocol modeling language
US9485306B2 (en) 2013-06-21 2016-11-01 Here Global B.V. Methods, apparatuses, and computer program products for facilitating a data interchange protocol
US9569469B2 (en) * 2013-07-26 2017-02-14 Honeywell International Inc. Methods and systems for providing intuitive direction for populating complex model content into a database
IN2013MU02497A (en) 2013-07-29 2015-06-26 Tata Consultancy Services Ltd
US9223773B2 (en) * 2013-08-08 2015-12-29 Palatir Technologies Inc. Template system for custom document generation
US9329849B2 (en) * 2013-08-26 2016-05-03 Facebook, Inc. Systems and methods for converting typed code
US9619552B2 (en) 2013-09-06 2017-04-11 Sap Se Core data services extensibility for entity-relationship models
US9639572B2 (en) 2013-09-06 2017-05-02 Sap Se SQL enhancements simplifying database querying
US9176801B2 (en) * 2013-09-06 2015-11-03 Sap Se Advanced data models containing declarative and programmatic constraints
US9442977B2 (en) 2013-09-06 2016-09-13 Sap Se Database language extended to accommodate entity-relationship models
US9430523B2 (en) 2013-09-06 2016-08-30 Sap Se Entity-relationship model extensions using annotations
US9354948B2 (en) 2013-09-06 2016-05-31 Sap Se Data models containing host language embedded constraints
US9361407B2 (en) 2013-09-06 2016-06-07 Sap Se SQL extended with transient fields for calculation expressions in enhanced data models
US9146712B2 (en) * 2013-09-18 2015-09-29 Vmware, Inc. Extensible code auto-fix framework based on XML query languages
US8819617B1 (en) * 2013-09-19 2014-08-26 Fmr Llc System and method for providing access to data in a plurality of software development systems
US9092575B2 (en) 2013-09-19 2015-07-28 Fmr Llc System and method for providing access to data in a plurality of software development systems
US20150095842A1 (en) 2013-09-30 2015-04-02 Microsoft Corporation Extendable blade sequence along pannable canvas direction
US10394533B2 (en) * 2013-09-30 2019-08-27 The Mathworks, Inc. Reusable component in a modeling environment
US10521753B2 (en) * 2013-10-09 2019-12-31 Sap Se Usage description language
IN2013MU03243A (en) * 2013-10-15 2015-07-17 Tata Consultancy Services Ltd
US9311124B2 (en) 2013-11-07 2016-04-12 Sap Se Integrated deployment of centrally modified software systems
US9823905B2 (en) * 2013-11-11 2017-11-21 International Business Machines Corporation Event based code generation
DE102013225058A1 (en) * 2013-12-05 2015-06-11 Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. DEVICE, SYSTEM AND METHOD FOR THE EFFICIENT AND DELIVERABLE SYNCHRONIZATION OF GRAPHIC DATA STRUCTURES
US11087340B1 (en) * 2013-12-17 2021-08-10 EMC IP Holding Company LLC Systems and methods for configuring converged infrastructure components
IN2013CH06085A (en) * 2013-12-26 2015-07-03 Inforys Ltd
JP6249770B2 (en) * 2013-12-27 2017-12-20 キヤノン株式会社 Character input device
US9454620B2 (en) 2014-02-28 2016-09-27 Here Global B.V. Methods, apparatuses and computer program products for automated learning of data models
EP2916183B1 (en) * 2014-03-06 2016-11-09 dSPACE digital signal processing and control engineering GmbH Method for generating a control program for a control system
US9268537B1 (en) * 2014-04-29 2016-02-23 The Mathworks, Inc. Automatic generation of domain-aware phase ordering for effective optimization of code for a model
FR3021769B1 (en) 2014-05-27 2016-07-01 Thales Sa DEVICE AND METHOD FOR GENERATING AT LEAST ONE COMPUTER FILE FOR PRODUCING A GRAPHICAL INTERFACE OF ELECTRONIC EQUIPMENT, AND ASSOCIATED COMPUTER PROGRAM PRODUCT
US9736032B2 (en) * 2014-05-30 2017-08-15 Microsoft Technology Licensing, Llc Pattern-based validation, constraint and generation of hierarchical metadata
US20150356090A1 (en) * 2014-06-09 2015-12-10 Northwestern University System and Method for Dynamically Constructing Theatrical Experiences from Digital Content
CN105320504B (en) * 2014-06-25 2018-08-17 成都普中软件有限公司 A kind of visual software modeling method constructing software view based on software member view
US9672474B2 (en) 2014-06-30 2017-06-06 Amazon Technologies, Inc. Concurrent binning of machine learning data
US11100420B2 (en) 2014-06-30 2021-08-24 Amazon Technologies, Inc. Input processing for machine learning
US10540606B2 (en) 2014-06-30 2020-01-21 Amazon Technologies, Inc. Consistent filtering of machine learning data
US9886670B2 (en) * 2014-06-30 2018-02-06 Amazon Technologies, Inc. Feature processing recipes for machine learning
US10339465B2 (en) 2014-06-30 2019-07-02 Amazon Technologies, Inc. Optimized decision tree based models
US10169715B2 (en) 2014-06-30 2019-01-01 Amazon Technologies, Inc. Feature processing tradeoff management
US10318882B2 (en) 2014-09-11 2019-06-11 Amazon Technologies, Inc. Optimized training of linear machine learning models
US10963810B2 (en) 2014-06-30 2021-03-30 Amazon Technologies, Inc. Efficient duplicate detection for machine learning data sets
US10102480B2 (en) 2014-06-30 2018-10-16 Amazon Technologies, Inc. Machine learning service
US10452992B2 (en) 2014-06-30 2019-10-22 Amazon Technologies, Inc. Interactive interfaces for machine learning model evaluations
CA2953817C (en) * 2014-06-30 2023-07-04 Amazon Technologies, Inc. Feature processing tradeoff management
US9844723B2 (en) * 2014-07-25 2017-12-19 Zynga Inc. In-browser emulation of multiple technologies to create consistent visualization experience
GB2528697A (en) * 2014-07-29 2016-02-03 Ibm Generating a database structure from a scanned drawing
US11182691B1 (en) 2014-08-14 2021-11-23 Amazon Technologies, Inc. Category-based sampling of machine learning data
US10275458B2 (en) 2014-08-14 2019-04-30 International Business Machines Corporation Systematic tuning of text analytic annotators with specialized information
US9158786B1 (en) 2014-10-01 2015-10-13 Bertram Capital Management, Llc Database selection system and method to automatically adjust a database schema based on an input data
US20160098256A1 (en) * 2014-10-03 2016-04-07 General Motors Llc Visual tool and architecting logical layers of software components
US9851949B2 (en) * 2014-10-07 2017-12-26 Kevin D. Howard System and method for automatic software application creation
US9552192B2 (en) * 2014-11-05 2017-01-24 Oracle International Corporation Context-based generation of memory layouts in software programs
US10275154B2 (en) 2014-11-05 2019-04-30 Oracle International Corporation Building memory layouts in software programs
US10353793B2 (en) 2014-11-05 2019-07-16 Oracle International Corporation Identifying improvements to memory usage of software programs
US10108536B2 (en) 2014-12-10 2018-10-23 General Electric Company Integrated automated test case generation for safety-critical software
US9747079B2 (en) * 2014-12-15 2017-08-29 General Electric Company Method and system of software specification modeling
US9563450B1 (en) * 2014-12-15 2017-02-07 Emc Corporation Expression based hierarchical mechanism for HTML form data validation
US10873508B2 (en) 2015-01-27 2020-12-22 Moogsoft Inc. Modularity and similarity graphics system with monitoring policy
US10979304B2 (en) 2015-01-27 2021-04-13 Moogsoft Inc. Agent technology system with monitoring policy
US11817993B2 (en) 2015-01-27 2023-11-14 Dell Products L.P. System for decomposing events and unstructured data
US11924018B2 (en) 2015-01-27 2024-03-05 Dell Products L.P. System for decomposing events and unstructured data
US10425291B2 (en) 2015-01-27 2019-09-24 Moogsoft Inc. System for decomposing events from managed infrastructures with prediction of a networks topology
US10402390B1 (en) * 2015-02-11 2019-09-03 Workday, Inc. Model validation system
US9971838B2 (en) 2015-02-20 2018-05-15 International Business Machines Corporation Mitigating subjectively disturbing content through the use of context-based data gravity wells
US10275227B1 (en) * 2015-02-20 2019-04-30 The Mathworks, Inc. Determining functional equivalence of configurations of a model
WO2016133533A1 (en) * 2015-02-20 2016-08-25 Hewlett Packard Enterprise Development Lp Personalized profile-modified search for dialog concepts
US20160246582A1 (en) * 2015-02-25 2016-08-25 Red Hat, Inc. Generic Semantic Configuration Service
US9710238B2 (en) * 2015-03-26 2017-07-18 IfWizard Corporation Automatically optimizing analytics database server
US9477446B1 (en) * 2015-03-31 2016-10-25 Toyota Jidosha Kabushiki Kaisha Bottom-up approach for integrating models for software components using contracts
US9952837B1 (en) 2015-04-01 2018-04-24 The Mathworks, Inc. Reusable component in a modeling environment
US10831449B2 (en) 2015-04-28 2020-11-10 Lexica S.A.S. Process and system for automatic generation of functional architecture documents and software design and analysis specification documents from natural language
US10303441B2 (en) 2015-04-28 2019-05-28 Nadia Analía Huebra Process and system for automatic generation of functional architecture documents and software design and analysis specification documents from natural language
US10521209B2 (en) 2015-05-12 2019-12-31 Phase Change Software Llc Machine-based normalization of machine instructions
EP3296866B1 (en) 2015-05-13 2022-09-14 Huebra, Nadia Analía Method implemented by a computer that presents software-type applications based on design specifications
US20160350081A1 (en) 2015-05-27 2016-12-01 Runnable Inc. Automatic container definition
US9582268B2 (en) * 2015-05-27 2017-02-28 Runnable Inc. Automatic communications graphing for a source application
US10884997B2 (en) * 2015-06-10 2021-01-05 International Business Machines Corporation Maintaining a master schema
EP3106897A1 (en) * 2015-06-19 2016-12-21 Centre National d'Etudes Spatiales Gnss receiver with an on-board capability to implement an optimal error correction mode
EP3115898B1 (en) * 2015-07-06 2022-06-15 Intuilab Method for generating user-level events for an application
US10366083B2 (en) 2015-07-29 2019-07-30 Oracle International Corporation Materializing internal computations in-memory to improve query performance
US10204135B2 (en) 2015-07-29 2019-02-12 Oracle International Corporation Materializing expressions within in-memory virtual column units to accelerate analytic queries
IN2015CH03905A (en) * 2015-07-30 2015-08-14 Wipro Ltd
US10346140B2 (en) 2015-08-05 2019-07-09 General Electric Company System and method for model based technology and process for safety-critical software development
US9720652B2 (en) 2015-08-06 2017-08-01 Symphore, LLC Generating a software complex using superordinate design input
EP3331622A4 (en) 2015-08-07 2019-02-13 Fairwayiq, Inc. System and method for managing and interacting with patrons at an activity venue
US9898261B1 (en) * 2015-09-30 2018-02-20 Open Text Corporation Method and system for configuring processes of software applications using activity fragments
US10257275B1 (en) 2015-10-26 2019-04-09 Amazon Technologies, Inc. Tuning software execution environments using Bayesian models
US9891890B2 (en) 2015-11-09 2018-02-13 Microsoft Technology Licensing, Llc Generation of an application from template
US9940222B2 (en) 2015-11-20 2018-04-10 General Electric Company System and method for safety-critical software automated requirements-based test case generation
US9852053B2 (en) * 2015-12-08 2017-12-26 Google Llc Dynamic software inspection tool
JP2017107377A (en) * 2015-12-09 2017-06-15 株式会社リコー Apparatus management device, apparatus management system, verification method and program
US9747085B2 (en) * 2015-12-11 2017-08-29 Paypal, Inc. Source code generation from prototype source
US20170168792A1 (en) * 2015-12-15 2017-06-15 Futurewei Technologies, Inc. Space and time aware organization and isolation of components in real time systems
KR101731629B1 (en) 2015-12-24 2017-05-02 고려대학교 산학협력단 Method and device for automatic generating go code from circus
US11593342B2 (en) 2016-02-01 2023-02-28 Smartshift Technologies, Inc. Systems and methods for database orientation transformation
US10025696B2 (en) 2016-02-09 2018-07-17 General Electric Company System and method for equivalence class analysis-based automated requirements-based test case generation
GB2547222A (en) 2016-02-10 2017-08-16 Testplant Europe Ltd Method of, and apparatus for, testing computer hardware and software
GB2547220A (en) 2016-02-10 2017-08-16 Testplant Europe Ltd Method of, and apparatus for, testing computer hardware and software
US20170242668A1 (en) * 2016-02-24 2017-08-24 Microsoft Technology Licensing, Llc Content publishing
JP6620609B2 (en) * 2016-03-09 2019-12-18 富士通株式会社 Distributed processing execution management program, distributed processing execution management method, and distributed processing execution management device
CN107229616B (en) * 2016-03-25 2020-10-16 阿里巴巴集团控股有限公司 Language identification method, device and system
US10587708B2 (en) 2016-03-28 2020-03-10 Microsoft Technology Licensing, Llc Multi-modal conversational intercom
US11487512B2 (en) * 2016-03-29 2022-11-01 Microsoft Technology Licensing, Llc Generating a services application
US11100449B1 (en) * 2016-04-05 2021-08-24 Jpmorgan Chase Bank, N.A. Systems and methods for efficiency management
US11295229B1 (en) 2016-04-19 2022-04-05 Amazon Technologies, Inc. Scalable generation of multidimensional features for machine learning
US10713015B2 (en) * 2016-05-15 2020-07-14 Servicenow, Inc. Visual programming system
US10394552B2 (en) * 2016-05-17 2019-08-27 Dropbox, Inc. Interface description language for application programming interfaces
US10585655B2 (en) 2016-05-25 2020-03-10 Smartshift Technologies, Inc. Systems and methods for automated retrofitting of customized code objects
US10719188B2 (en) 2016-07-21 2020-07-21 Palantir Technologies Inc. Cached database and synchronization system for providing dynamic linked panels in user interface
US10324609B2 (en) * 2016-07-21 2019-06-18 Palantir Technologies Inc. System for providing dynamic linked panels in user interface
US10528607B2 (en) 2016-07-29 2020-01-07 Splunk Inc. Syntax templates for coding
US10089103B2 (en) 2016-08-03 2018-10-02 Smartshift Technologies, Inc. Systems and methods for transformation of reporting schema
US10521502B2 (en) 2016-08-10 2019-12-31 International Business Machines Corporation Generating a user interface template by combining relevant components of the different user interface templates based on the action request by the user and the user context
AU2017319140B2 (en) 2016-08-30 2022-11-17 Lifecell Corporation Systems and methods for medical device control
US10324908B2 (en) * 2016-09-01 2019-06-18 Sap Se Exposing database artifacts
US10893011B2 (en) * 2016-09-13 2021-01-12 Gluru Limited Semantic interface definition language for action discovery in cloud services and smart devices
US10120665B1 (en) 2016-09-29 2018-11-06 Amazon Technologies, Inc. Latency-aware host-agnostic runtime
US10540371B2 (en) 2016-10-05 2020-01-21 Walmart Apollo, Llc Systems and methods for synchronizing database schema
US10372443B2 (en) 2016-10-18 2019-08-06 Oracle International Corporation Multi-platform pattern-based user interfaces
US10331415B2 (en) * 2016-11-08 2019-06-25 International Business Machines Corporation Formal specification generation using examples
US10521197B1 (en) 2016-12-02 2019-12-31 The Mathworks, Inc. Variant modeling elements in graphical programs
US10326864B2 (en) * 2017-02-15 2019-06-18 Sap Se Dynamic orchestration of microservices
CN106997378B (en) * 2017-03-13 2020-05-15 上海摩库数据技术有限公司 Redis-based database data aggregation synchronization method
US11537590B2 (en) 2017-03-28 2022-12-27 Walmart Apollo, Llc Systems and methods for computer assisted database change documentation
US11151992B2 (en) 2017-04-06 2021-10-19 AIBrain Corporation Context aware interactive robot
US10929759B2 (en) * 2017-04-06 2021-02-23 AIBrain Corporation Intelligent robot software platform
US10963493B1 (en) 2017-04-06 2021-03-30 AIBrain Corporation Interactive game with robot system
US10275225B1 (en) * 2017-05-04 2019-04-30 Amazon Technologies, Inc. Implicit value store mapping
US10379825B2 (en) * 2017-05-22 2019-08-13 Ab Initio Technology Llc Automated dependency analyzer for heterogeneously programmed data processing system
US10460044B2 (en) * 2017-05-26 2019-10-29 General Electric Company Methods and systems for translating natural language requirements to a semantic modeling language statement
CN109002279A (en) * 2017-06-01 2018-12-14 如如研创股份有限公司 The generation system of automated software
US10466979B1 (en) * 2017-06-01 2019-11-05 Nationwide Mutual Insurance Company Software requirements creating and tracking system and method
US10705868B2 (en) 2017-08-07 2020-07-07 Modelop, Inc. Dynamically configurable microservice model for data analysis using sensors
US10929384B2 (en) 2017-08-16 2021-02-23 Walmart Apollo, Llc Systems and methods for distributed data validation
US10877735B1 (en) 2017-09-25 2020-12-29 Amazon Technologies, Inc. Automated generation of software applications using analysis of submitted content items
US10691426B2 (en) * 2017-10-26 2020-06-23 Saudi Arabian Oil Company Building flexible relationships between reusable software components and data objects
US10521202B2 (en) * 2017-11-20 2019-12-31 Coupa Software Incorporated Customizable project and help building interfaces for deployable software
US10552540B2 (en) 2017-11-27 2020-02-04 International Business Machines Corporation Automated application composer with natural language processing
US10331419B2 (en) * 2017-11-30 2019-06-25 International Business Machines Corporation Creating composite templates for service instances
US11055134B2 (en) 2017-11-30 2021-07-06 International Business Machines Corporation Performing an action on a composite of software instances
US10331421B2 (en) * 2017-11-30 2019-06-25 International Business Machines Corporation Execution of a composite template to provision a composite of software service instances
WO2019113308A1 (en) 2017-12-05 2019-06-13 Franchitti Jean Claude Active adaptation of networked compute devices using vetted reusable software components
US10705805B1 (en) 2017-12-12 2020-07-07 Amazon Technologies, Inc. Application authoring using web-of-sheets data model
WO2019138458A1 (en) * 2018-01-10 2019-07-18 日本電気株式会社 Determination device, determination method, and recording medium with determination program recorded therein
US10528343B2 (en) 2018-02-06 2020-01-07 Smartshift Technologies, Inc. Systems and methods for code analysis heat map interfaces
US10698674B2 (en) 2018-02-06 2020-06-30 Smartshift Technologies, Inc. Systems and methods for entry point-based code analysis and transformation
US10740075B2 (en) 2018-02-06 2020-08-11 Smartshift Technologies, Inc. Systems and methods for code clustering analysis and transformation
US10915307B2 (en) 2018-02-22 2021-02-09 Cisco Technology, Inc. Automatically producing software images
US10664294B2 (en) * 2018-02-28 2020-05-26 Intuit Inc. Matching adopting users and contributing users for decentralized software localization
JP7036205B2 (en) * 2018-05-07 2022-03-15 日本電気株式会社 System configuration derivation device and system configuration derivation method
US11586603B1 (en) 2018-05-23 2023-02-21 Amazon Technologies, Inc. Index sheets for robust spreadsheet-based applications
US10586362B2 (en) * 2018-06-18 2020-03-10 Microsoft Technology Licensing, Llc Interactive layout-aware construction of bespoke charts
US11657061B2 (en) * 2018-06-22 2023-05-23 Otsuka America Pharmaceutical, Inc. Application programming interface using digital templates to extract information from multiple data sources
US11226955B2 (en) 2018-06-28 2022-01-18 Oracle International Corporation Techniques for enabling and integrating in-memory semi-structured data and text document searches with in-memory columnar query processing
US20200042290A1 (en) * 2018-08-02 2020-02-06 Arcare Innova Corp. BOM (bill-of-material)-Based Structured Specification Generating Method
US10783063B2 (en) * 2018-10-23 2020-09-22 Salesforce.Com, Inc. Systems and methods for testing a customer environment
US10719304B2 (en) 2018-11-16 2020-07-21 Fujitsu Limited Computer program generation using a library
US10754626B2 (en) 2018-11-30 2020-08-25 Shopify Inc. Visual and code views in a process workflow user interface
CN109726213B (en) * 2018-12-10 2021-11-19 阿里巴巴（中国）有限公司 Program code conversion method, device, medium and computing equipment
US20200184043A1 (en) * 2018-12-11 2020-06-11 Avago Technologies International Sales Pte. Limited Multimedia content recognition with local and cloud-assisted machine learning
WO2020139379A1 (en) * 2018-12-28 2020-07-02 LunaPBC Community data aggregation, completion, correction, and use
US10860295B1 (en) * 2019-01-03 2020-12-08 Amazon Technologies, Inc. Automated detection of ambiguities in software design diagrams
US10901729B2 (en) * 2019-03-20 2021-01-26 Visa International Service Association System and method for merging specification files for an application programming interface
US11681504B1 (en) 2019-04-26 2023-06-20 Opturo, Inc. Automated application builder using configuration files
CN110175019B (en) * 2019-06-04 2021-11-16 南京大学 Interrupt driving system verification method based on interrupt sequence diagram
US10698704B1 (en) * 2019-06-10 2020-06-30 Captial One Services, Llc User interface common components and scalable integrable reusable isolated user interface
US10649745B1 (en) 2019-06-10 2020-05-12 Capital One Services, Llc User interface common components and scalable integrable reusable isolated user interface
CN112230909B (en) * 2019-07-15 2023-05-23 腾讯科技（深圳）有限公司 Method, device, equipment and storage medium for binding data of applet
US10956134B2 (en) * 2019-08-02 2021-03-23 Sap Se Itemization of rule branch condition expressions
US11036478B2 (en) * 2019-08-07 2021-06-15 Sap Se Automated determination of transformation objects
US11188311B2 (en) 2019-09-30 2021-11-30 Microsoft Technology Licensing, Llc Automated software generation through mutation and artificial selection
US11113186B1 (en) * 2019-12-13 2021-09-07 Amazon Technologies, Inc. Testing and publishing of resource handlers in a cloud environment
US11144314B2 (en) 2020-01-17 2021-10-12 Accenture Global Solutions Limited Systems and methods for software documentation and code generation management
US11269694B2 (en) 2020-03-03 2022-03-08 The Toronto-Dominion Bank Automated API code generation
US11210285B2 (en) 2020-03-06 2021-12-28 Ab Initio Technology Llc Generation of optimized logic from a schema
US11829689B1 (en) 2020-06-09 2023-11-28 The Mathworks, Inc. Systems and methods for creating variant regions in acausal simulation models
US11580797B2 (en) 2020-09-14 2023-02-14 Toyota Research Institute, Inc. Systems and methods for monitoring specifications over simulation and test data
US11797541B1 (en) 2020-10-23 2023-10-24 State Farm Mutual Automobile Insurance Company Systems and methods for enhanced rules conflict checking with data validation
US11256493B1 (en) 2020-11-03 2022-02-22 Bank Of America Corporation Container image optimizer
US11429353B1 (en) * 2020-12-09 2022-08-30 Amazon Technologies, Inc. Dynamic service provisioning using templatized infrastructure resources
JP2024501045A (en) * 2020-12-28 2024-01-10 テンパー システムズ、インコーポレイテッド Creation of idiomatic software documentation for many programming languages from common specifications
US20220327012A1 (en) * 2021-04-08 2022-10-13 Dell Products L.P. Software validation framework
US11693652B2 (en) 2021-04-16 2023-07-04 27 Software U.S. Inc. Automated authoring of software solutions from a data model
WO2022218549A1 (en) * 2021-04-16 2022-10-20 Huawei Technologies Co., Ltd. Apparatus and method for generating requirement specifications
US11409505B1 (en) * 2021-04-16 2022-08-09 27 Software U.S. Inc. Automated authoring of software solutions from a data model with related patterns
US11675582B2 (en) 2021-07-15 2023-06-13 Kyndryl, Inc. Neural networks to identify source code
US11520463B1 (en) * 2021-08-09 2022-12-06 Tableau Software, LLC Validating relationships between classes in object models
US20230126702A1 (en) * 2021-10-26 2023-04-27 Sap Se Transport of master data dependent customizations
US11704233B2 (en) * 2021-11-22 2023-07-18 International Business Machines Corporation Shift left model execution in software delivery
US11416494B1 (en) 2022-01-28 2022-08-16 People Center, Inc. Providing triggers based on one-to-many or many-to-one relationships in a system of record
US20230315412A1 (en) * 2022-03-30 2023-10-05 Microsoft Technology Licensing, Llc Scalable behavioral interface specification checking
KR20240001943A (en) * 2022-06-28 2024-01-04 황수진 Automatic programming system and method using programming model

Family Cites Families (55)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4841441A (en) 1984-08-01 1989-06-20 Adata Software Limited Method of creating a computer system
US4734854A (en) 1985-10-08 1988-03-29 American Telephone And Telegraph Company System for generating software source code components
US5371895A (en) 1985-10-08 1994-12-06 The Foxboro Company Local equipment controller for computerized process control applications utilizing language structure templates in a hierarchical organization and method of operating the same
JPH0619715B2 (en) * 1987-12-03 1994-03-16 シャープ株式会社 Question answering device
IN170793B (en) 1987-12-18 1992-05-23 Hitachi Ltd
JP2624753B2 (en) 1988-03-18 1997-06-25 株式会社日立製作所 How to create higher-level specifications
ES2017029A6 (en) * 1989-07-26 1990-12-16 Erana Agustin Arana Core collecting tray provided with an in-built clipping system and adjustable cross travel allowing the core to be centered with the manipulator shaft
CA2284245C (en) 1989-09-01 2001-02-06 Amdahl Corporation Operating system and data base having an access structure formed by a plurality of tables
DE3935627A1 (en) * 1989-10-26 1991-05-02 Schlafhorst & Co W CONNECTING SYSTEM BETWEEN A SPINDING MACHINE AND A WINDING MACHINE
US5159687A (en) * 1989-11-14 1992-10-27 Caseworks, Inc. Method and apparatus for generating program code files
US5204939A (en) * 1989-12-14 1993-04-20 Fujitsu Limited Rule base processing system and rule evaluation control method therein
US5603018A (en) 1991-07-15 1997-02-11 Mitsubishi Denki Kabushiki Kaisha Program developing system allowing a specification definition to be represented by a plurality of different graphical, non-procedural representation formats
US5485601A (en) 1992-05-14 1996-01-16 Ching; Hugh Completely automated and self-generating software system
JP3181994B2 (en) 1992-09-03 2001-07-03 株式会社日立製作所 How to automatically create job flow specifications
JP3373517B2 (en) 1992-10-02 2003-02-04 富士通株式会社 Program creation system in personal language
US5742827A (en) 1992-11-02 1998-04-21 Fujitsu Limited Method of automatically forming program specifications and apparatus therefor
US5353401A (en) * 1992-11-06 1994-10-04 Ricoh Company, Ltd. Automatic interface layout generator for database systems
JPH06308918A (en) * 1993-04-21 1994-11-04 Fujitsu Ltd Control method for displaying screen and control device for displaying screen
JPH06332710A (en) * 1993-05-21 1994-12-02 Fujitsu Ltd Object directional data processing system
US5758160A (en) 1993-06-28 1998-05-26 Object Technology Licensing Corporation Method and apparatus for building a software program using dependencies derived from software component interfaces
US5581670A (en) * 1993-07-21 1996-12-03 Xerox Corporation User interface having movable sheet with click-through tools
CA2124624C (en) * 1993-07-21 1999-07-13 Eric A. Bier User interface having click-through tools that can be composed with other tools
CA2124505C (en) * 1993-07-21 2000-01-04 William A. S. Buxton User interface having simultaneously movable tools and cursor
WO1995003586A1 (en) * 1993-07-21 1995-02-02 Persistence Software, Inc. Method and apparatus for generation of code for mapping relational data to objects
US5842205A (en) 1993-12-02 1998-11-24 Vie Systems, Inc. Method and process of inter-machine communication and generalized method for program preparation therefor
US5875331A (en) * 1994-09-30 1999-02-23 International Business Machines Corp. System and method for generating target language code utilizing an object oriented code generator
JPH08234975A (en) * 1995-02-28 1996-09-13 Fujitsu Ltd Program generation device and method
JPH08255075A (en) * 1995-03-17 1996-10-01 Fujitsu Ltd Software design support device supporting task division
US5805891A (en) 1995-07-26 1998-09-08 International Business Machines Corporation System and method for managing maintenance of computer software
JPH09212352A (en) 1996-01-31 1997-08-15 Hitachi Software Eng Co Ltd Program development support system
US5742754A (en) 1996-03-05 1998-04-21 Sun Microsystems, Inc. Software testing apparatus and method
US6275976B1 (en) 1996-03-15 2001-08-14 Joseph M. Scandura Automated method for building and maintaining software including methods for verifying that systems are internally consistent and correct relative to their specifications
AU2453797A (en) * 1996-04-10 1997-10-29 Paul M. Konnersman Computer-based system for work processes that consist of interdependent decisions involving one or more participants
US5960200A (en) * 1996-05-03 1999-09-28 I-Cube System to transition an enterprise to a distributed infrastructure
US6434598B1 (en) * 1996-07-01 2002-08-13 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for a client-server graphical user interface (#9) framework in an interprise computing framework system
US6385765B1 (en) * 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US6058493A (en) 1997-04-15 2000-05-02 Sun Microsystems, Inc. Logging and reproduction of automated test operations for computing systems
US5966534A (en) 1997-06-27 1999-10-12 Cooke; Laurence H. Method for compiling high level programming languages into an integrated processor with reconfigurable logic
US5995736A (en) * 1997-07-24 1999-11-30 Ati Technologies, Inc. Method and system for automatically modelling registers for integrated circuit design
US6289502B1 (en) * 1997-09-26 2001-09-11 Massachusetts Institute Of Technology Model-based software design and validation
KR100269258B1 (en) * 1997-10-21 2000-10-16 정선종 Integrated CASE Information Repository Metamodel System for Process Methodology and its Integration Support Method
US5956725A (en) 1997-11-26 1999-09-21 Interanational Business Machines Corporation Schema mapping to a legacy table with primary and foreign key support
US6618852B1 (en) * 1998-09-14 2003-09-09 Intellichem, Inc. Object-oriented framework for chemical-process-development decision-support applications
US6393456B1 (en) * 1998-11-30 2002-05-21 Microsoft Corporation System, method, and computer program product for workflow processing using internet interoperable electronic messaging with mime multiple content type
US6199195B1 (en) * 1999-07-08 2001-03-06 Science Application International Corporation Automatically generated objects within extensible object frameworks and links to enterprise resources
US6571232B1 (en) * 1999-11-01 2003-05-27 Sun Microsystems, Inc. System and method for browsing database schema information
AU2001227857A1 (en) * 2000-01-14 2001-07-24 Saba Software, Inc. Method and apparatus for a business applications management system platform
US7334216B2 (en) * 2000-04-04 2008-02-19 Sosy, Inc. Method and apparatus for automatic generation of information system user interfaces
US6681383B1 (en) * 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US6850922B1 (en) * 2000-07-14 2005-02-01 International Business Machines Corporation Business logic support
US6721807B2 (en) * 2000-08-10 2004-04-13 International Business Machines Corporation Extensible and efficient double dispatch in single-dispatch object-oriented programming languages
JP3892685B2 (en) * 2001-07-26 2007-03-14 株式会社東芝 Helical antenna and portable terminal device
US20030079180A1 (en) * 2001-09-20 2003-04-24 Cope Warren Scott Process and system for tracking the history of communications, data input, and operations in a complex project workflow system
US7032210B2 (en) * 2001-11-11 2006-04-18 International Business Machines Corporation Method and system for generating program source code of a computer application from an information model
JP4157071B2 (en) * 2004-03-31 2008-09-24 大日本印刷株式会社 Resin for forming receptor layer of thermal transfer image receiving sheet and thermal transfer image receiving sheet using the same

Non-Patent Citations (5)

* Cited by examiner, † Cited by third party
Title
ANONYMOUS: "Features of VDMTools", IFAD VDMTOOLS PRODUCT DESCRIPTION, 23 September 1998 (1998-09-23), pages 1 - 8, XP002200823, Retrieved from the Internet <URL:http://web.archive.org/web/19990203101020/http://www.ifad.dk/Products/features.htm> [retrieved on 20020531] *
ANONYMOUS: "VDMTools - VDM++ Toolbox User Manual - Version 6.2", IFAD VDMTOOLS DOCUMENTATION, 1999, pages a,b,i - iv,1-27, XP002200826, Retrieved from the Internet <URL:http://www.cis.uab.edu/info/dept/courses/cs624/vdm/docs/userman.pdf> [retrieved on 20020528] *
HSIA J S: "Extending Rose - Your Guide to Rational Rose Add-Ins", ROSE ARCHITECT MAGAZINE - SUMMER ISSUE, June 1999 (1999-06-01), pages 1 - 9, XP002200824, Retrieved from the Internet <URL:http://www.therationaledge.com/rosearchitect/mag/archives/summer99/extend.html> [retrieved on 20020531] *
JACQUOT J P ET AL: "Early Specification of User-Interfaces: Toward a Formal Approach", PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING. BOSTON, MAY 17 - 23, 1997, PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, NEW YORK, ACM, US, 17 May 1997 (1997-05-17), pages 150 - 160, XP010239474, ISBN: 0-89791-914-9 *
KOOB F ET AL: "The VSE development method - a way to engineer high-assurance software systems", PAPER PRESENTED AT THE 5. GI/ITG-FACHGESPRÄCH "FORMALE BESCREIBUNGSTECHNIKEN FÜR VERTEILTE SYSTEME", 22 June 1995 (1995-06-22) - 23 June 1995 (1995-06-23), Kaiserslautern, DE, pages 1 - 10, XP002200825, Retrieved from the Internet <URL:http://www.dfki.de/vse/papers/uhlb93.ps.gz> [retrieved on 20020528] *

Also Published As

Publication number Publication date
US7584451B2 (en) 2009-09-01
US20090132995A1 (en) 2009-05-21
US20040233232A1 (en) 2004-11-25
WO2001075593A9 (en) 2003-07-10
CA2403975C (en) 2012-05-01
JP2004506962A (en) 2004-03-04
US8141031B2 (en) 2012-03-20
CA2403975A1 (en) 2001-10-11
AU2001241945B2 (en) 2004-11-11
WO2001075593A2 (en) 2001-10-11
US20020100014A1 (en) 2002-07-25
US7555742B2 (en) 2009-06-30
US7137100B2 (en) 2006-11-14
US8365138B2 (en) 2013-01-29
US7278130B2 (en) 2007-10-02
JP2009193592A (en) 2009-08-27
EP1272927A2 (en) 2003-01-08
US8245183B2 (en) 2012-08-14
US20030167455A1 (en) 2003-09-04
US20070089103A1 (en) 2007-04-19
US20090125546A1 (en) 2009-05-14
US20070168907A1 (en) 2007-07-19
US8037449B2 (en) 2011-10-11
CA2723005A1 (en) 2001-10-11
US20080209391A1 (en) 2008-08-28
JP2007257654A (en) 2007-10-04
US6681383B1 (en) 2004-01-20
US20020062475A1 (en) 2002-05-23
AU4194501A (en) 2001-10-15

Similar Documents

Publication Publication Date Title
WO2001075593A3 (en) Automatic software production system
WO2005057365A3 (en) System to automatically regenerate software code
WO2006028660A3 (en) Context based power management
WO2005111761A3 (en) System and method for creating tamper-resistant code
WO2003067377A3 (en) Automatic code generation for applications which run on common platforms
WO2004034304A3 (en) A rule-based system and method for checking compliance of architectural analysis and design models
CN104461516B (en) A kind of data processing method and device
WO2004059438A3 (en) System to automatically process components on a device
WO2003036469A3 (en) A template-based method and system for reverse engineering
EP1001338A3 (en) Method and apparatus for round trip software engineering
WO2003073580A3 (en) Processing system for a power distribution system
WO2002008950A8 (en) Automatic summarization of a document
WO2004081758A3 (en) System and method for maintaining installed software compliance with build standards
WO2003025698A3 (en) Method and system for transferring stored value
CA2428821A1 (en) Accessing a platform independent input method editor from an underlying operating system
WO2004053634A3 (en) Generating java bean code
WO2006008226A3 (en) Method of improving replica server performance and a replica server system
WO2004049220A8 (en) Template completion for a content management system
EP1313011A3 (en) Intermediate code execution system, intermediate code execution method, and computer program product for executing intermediate code
IS4234A (en) A method for obtaining filtrates based on a silica yeast cluster, with a very low crystallite content.
EP1187019A3 (en) Resource management
WO2002004110A3 (en) Method for preparing an acid catalyst based on mass sulphated zirconium, catalyst obtainable by said method and uses thereof
AUPQ042299A0 (en) A website development system
NL1005863A1 (en) Guide system, coupling as well as method for manufacturing a guide system.
WO2001079999A3 (en) Method and system for accepting precompiled information

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 BY BZ CA CH CN CR CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A2

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

121 Ep: the epo has been informed by wipo that ep was designated in this application
AK Designated states

Kind code of ref document: A3

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CR CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A3

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

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

WWE Wipo information: entry into national phase

Ref document number: 2403975

Country of ref document: CA

ENP Entry into the national phase

Ref country code: JP

Ref document number: 2001 573206

Kind code of ref document: A

Format of ref document f/p: F

WWE Wipo information: entry into national phase

Ref document number: 2001241945

Country of ref document: AU

DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
WWE Wipo information: entry into national phase

Ref document number: 2001913266

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 2001913266

Country of ref document: EP

COP Corrected version of pamphlet

Free format text: PAGES 1-69, DESCRIPTION, REPLACED BY NEW PAGES 1-69; PAGES 70-79, CLAIMS, REPLACED BY NEW PAGES 70-79; PAGES 1/5-5/5, DRAWINGS, REPLACED BY NEW PAGES 1/7-7/7; DUE TO LATE TRANSMITTAL BY THE RECEIVING OFFICE

WWG Wipo information: grant in national office

Ref document number: 2001241945

Country of ref document: AU