Match Document Document Title
US20150026670 Decision Tree Ensemble Compilation  
In one embodiment, a decision tree is evaluated in interpreted mode while statistics are collected. The decision tree is then represented as source code, and each decision in the decision tree is...
US20140089908 Decision Tree Ensemble Compilation  
In one embodiment, a decision tree is evaluated in interpreted mode while statistics are collected. The decision tree is then represented as source code, and each decision in the decision tree is...
US20100333061 EXPLICIT STATE MODEL CHECKING OF SL/SF MODELS USING THE AUTO-GENERATED CODE  
A system and a method for validating a model for a control system as per a set of specifications. The method includes obtaining a model code corresponding to the model, where the model-code is...
US20140325490 Classifying Source Code Using an Expertise Model  
A technique to classify source code based on skill level. Features may be extracted from the source code. The source code may be classified based on the extracted features using an expertise model.
US20110173595 LANGUAGE-BASED MODEL FOR ASYNCHRONOUS OPERATIONS  
The compilation of user code. Upon accessing the user code, the compiler determines that the user code includes at least one top-level asynchronous operation that is 1) to operate at a top-level...
US20150193213 Computer Implemented System and Method for Checking a Program Code  
A computer implemented system for checking a program code that includes a lexical analyzer to lexically analyze the expressions of the program code and generate tokens representing these...
US20140380269 VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL  
In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code...
US20120254830 VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL  
In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code...
US20120254827 VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL  
In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code...
US20120005650 HARDWARE SPECIFIC CODE GENERATION  
A computer-implemented method for generating code based on a graphical model may include: translating the graphical model into a graphical model code, the graphical model code including a first...
US20130152061 FULL FIDELITY PARSE TREE FOR PROGRAMMING LANGUAGE PROCESSING  
An augmented parser can create an augmented parse tree that captures all the information in the source code as additional elements. Information included in the augmented parse tree can include...
US20100333076 PROGRAMMING LANGUAGE TRANSLATOR  
A computer readable medium stores a program, executable by a computer, for enabling translation of machine-centric commands in an instrument protocol to a programming language for controlling an...
US20110283260 QUALITY ASSURANCE TOOLS FOR USE WITH SOURCE CODE AND A SEMANTIC MODEL  
Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic...
US20120167070 CODE MODIFICATION OF RULE-BASED IMPLEMENTATIONS  
Code compatibility provisions are provided. These may include identifying coding that is incompatible with a rule-based environment, searching replacement code solutions for compatible code and...
US20120005649 CODE MODIFICATION OF RULE-BASED IMPLEMENTATIONS  
Code compatibility provisions are provided. These may include identifying coding that is incompatible with a rule-based environment, searching replacement code solutions for compatible code and...
US20110055800 Extensible Template-Based Code Generator Builder  
A system, method, and computer program product are provided for producing aspects of a generation model. These include a domain model having one or more elements, and templates defined for the...
US20130132928 WORKFLOW SCHEDULE AUTHORIZING TOOL  
A workflow schedule authoring tool enables a user to author a workflow by arranging building blocks in a particular order. Building blocks may correspond to events, conditions or actions. Each...
US20130125086 SOFTWARE ARCHITECTURE BY UNTANGLING UNDESIRED CODE LEVEL DEPENDENCIES USING CODE REFACTORING  
A method of improving software architecture by untangling undesired code level dependencies is provided herein. The method includes the following stages: generating an abstract representation of a...
US20150143342 FUNCTIONAL VALIDATION OF SOFTWARE  
Aspects of the subject matter described herein relate to software validation. In aspects, a baseline may be created by instrumenting code of a software application or runtime, executing the code...
US20130159964 SYSTEM AND METHOD FOR SYSTEMATIC ERROR INJECTION IN GENERATED CODE  
A system and method introduces one or more errors into computer programming code generated from a model or other source program. The one or more errors are not present in the model, but are...
US20150199259 Exception and Debugging Behaviors for JavaScript Debugging using Just My Code  
Just My Code debugging allows developers to work on problems within their own code without noise from libraries, plugins and other unrelated code. Typical debugger behaviors may be modified based...
US20110307861 INSERTING CLOSING CODE CONSTRUCTS  
The present invention extends to methods, systems, and computer program products for inserting closing code constructs. Embodiments of the invention include an interaction model allowing users to...
US20130067436 ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS  
A method that may include: building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design...
US20110271253 ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC ANALYSIS  
A method that may include: building a dependencies graph representing dependencies between code elements of a computer code; associating portions of the computer code with corresponding design...
US20120311528 REMAPPING DEBUGGABLE CODE  
User script code that has been developed for execution in a host application can be remapped to debuggable script code, based on explicit debugging gestures, allowing for appropriate debugging...
US20110271246 SOFTWARE DEVELOPMENT SUPPORT TOOL  
A software development support tool includes a software model reader configured to read a software model, a software model design intent extractor configured to extract a developer's design intent...
US20120222009 DEFECTIVE CODE WARNING RESOLUTION ANALYSIS  
In embodiments of defective code warning resolution analysis, defective code warnings are received, such as code development warnings and/or code execution warnings. The defective code warnings...
US20110265061 CODE GENERATION  
At least one business rule is received that specifies at least one template to be used in generating a code file. A configuration file is generated that identifies a location of the at least one...
US20120030653 ASSUMPTION-BASED COMPILATION  
Techniques for processing source code written in a traditionally interpreted language such as JavaScript, or another dynamic and/or interpreted language, are disclosed. In one example, compiled...
US20140325478 VISUALIZATION OF COMPLEX SYSTEMS USING BUILDINGS  
Provided herein are approaches for generating a visualization of software code using a set of buildings. Specifically, one approach comprises: representing software code using a set of buildings...
US20120291019 PROGRAM VERIFICATION APPARATUS BASED ON MODEL VERIFYING AND STORAGE MEDIUM  
An apparatus includes a unit configured to analyze a program and generate a verification formula for determining whether a specification to be verified out of a language specification of the...
US20130198715 Selective application view  
A selective outline view is described in an application development environment that allows viewing an outline of an application in either a procedural code outline view or a declarative...
US20130332902 VISUALIZED CODE REVIEW  
Visualization of the result of user interface code is provided in the context of code review. Changes to user interface code can be visualized to enable code reviewers to easily understand the...
US20140040865 SYSTEM AND METHOD FOR USING AN ABSTRACT SYNTAX TREE TO ENCAPSULATE THE DESCRIPTIVE ASSERTIONS IN AN ANNOTATION BASED STANDARD INTO A CODE BASED LIBRARY  
A system and method can support compliance tests with annotation based standards using an expectation library. The expectation library can convert one or more descriptive assertions into a...
US20130290933 TRANSLATION VERIFICATION TESTING  
Embodiments of translation verification testing are provided. An aspect includes reading a symbol table and a syntax tree to which source code corresponds. Widget objects and widget object methods...
US20110246968 Code-Clone Detection and Analysis  
Techniques for detecting, analyzing, and/or reporting code clone are described herein. In one or more implementations, clone-code detection is performed on one or more source code bases to find...
US20150089477 UNDERSTANDING COMPUTER CODE WITH HUMAN LANGUAGE ASSISTANCE  
Methods and arrangements for providing human-language descriptors for computer code. An interface is used to input computer code, and a human-language descriptor is automatically associated with...
US20150135166 SOURCE CODE GENERATION, COMPLETION, CHECKING, CORRECTION  
Automated generation, or completion, or checking of source code is described whereby a probabilistic model having been trained using a corpus of natural source code examples is used. In various...
US20140059512 Executable Software Building Block  
A methodology of encapsulating software intelligence in a software application development environment so that software solution construction resembles the independent nature of physical building...
US20140282411 Test Case Reduction for Code Regression Testing  
In at least one embodiment, a system performs regression testing of software using selected test cases. In at least one embodiment, the system selects the test case for regression testing based on...
US20110055798 ASSESSMENT OF SOFTWARE CODE QUALITY BASED ON CODING VIOLATION INDICATIONS  
A plurality of coding violation indications corresponding to software code are categorized according to a plurality of coding quality attributes. The coding violation indications may be reported...
US20140282373 AUTOMATED BUSINESS RULE HARVESTING WITH ABSTRACT SYNTAX TREE TRANSFORMATION  
Business rules may be harvested from software using automated processes and used in developing new computer software. Automated harvesting may speed up development, reduce cost, and decrease human...
US20150199261 Classification of JavaScript Code for Debugging using Just My Code  
Just My Code debugging allows developers to work on problems within their own code without noise from libraries, plugins and other unrelated code. Typical debugger behaviors may be modified based...
US20120131546 CODE DEPLOYMENT ASSISTANCE  
Computer programming is aided by way of automatic code generation, and more specifically generation of deployment code automatically. An application can be analyzed and deployment code, including...
US20150178056 GENERATING SIMD CODE FROM CODE STATEMENTS THAT INCLUDE NON-ISOMORPHIC CODE STATEMENTS  
Generating SIMD code from code statements that include non-isomorphic code statements. Code statements are received, each code statement has one or more operators in a respective operator order...
US20150007156 INJECTING PATCH CODE AT RUNTIME  
The disclosure generally describes computer-implemented methods, software, and systems for using productive code. A copy of productive code is accessed. The copy of productive code is presented in...
US20110078651 METHOD AND SYSTEM FOR TEST REDUCTION AND ANALYSIS  
Disclosed is a method, system, and computer program product that reduces the size of a failing test. A tree is created from the test's programming code, where the tree represents the syntactical...
US20150082276 EXTENSIBLE CODE AUTO-FIX FRAMEWORK BASED ON XML QUERY LANGUAGES  
A method is provided to automatically correct an original source code. An abstract syntax tree (AST) is created from the original source code where the AST includes AST nodes. AST node filter...
US20120131545 GENERATION OF CODE FROM A GRAPHICAL MODEL  
A method and system are provided for generating code from a graphical model in a graphical modeling environment. The graphical model includes at least one signal having a data size, a data...
US20150082286 REAL-TIME CODE INSTRUMENTATION  
Systems, methods, and software are disclosed for implementing real-time code instrumentation. In at least one implementation, an instrumentation environment detects a request initiated in an...