AcclaimIP-ad

Match Document Document Title
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...
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...
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...
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...
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...
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...
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...
US20130262039 Systems and Methods for Criteria Analysis Prototyping  
A flight procedure criteria prototyping system and method is described herein. According to embodiments, the system is configured to generate a prototype, generate a dependency tree based on the...
US20120124550 FACILITATING DATABASE APPLICATION CODE TRANSLATION FROM A FIRST APPLICATION LANGUAGE TO A SECOND APPLICATION LANGUAGE  
A method of facilitating code translation from one a first application language to a second application language is provided. This method involves reading information describing the database to a...
US20130117727 ANALYTICAL SOFTWARE DESIGN SYSTEM  
An analytical software design system arranged to receive informal system design specifications and to convert them into verified design specifications for use in creating source code and carrying...
US20130318493 Model Elements in Software Tools as Automatons in a Software Customization System and Method  
Presented is a system and method for the integration of existing software development tools into a software customization system, where each software development tool has its own model of its...
US20140317593 HIGHLY EXTENSIBLE REQUIREMENT ANALYSIS METHOD AND SYSTEM OF THE SAME  
A highly extensible requirements analysis method and a system of the same are revealed. First collect user requirements of a software system and modify the user requirements by a breadth analysis...
US20130174116 SYSTEMS AND METHODS FOR METAMODEL TRANSFORMATION  
Some aspects relate to systems to determine a first metamodel conforming to a first meta-metamodel supporting metamodel class inheritance at the first metamodel level, identify one or more...
US20110126288 METHOD FOR SOFTWARE VULNERABILITY FLOW ANALYSIS, GENERATION OF VULNERABILITY-COVERING CODE, AND MULTI-GENERATION OF FUNCTIONALLY-EQUIVALENT CODE  
A method for detecting, analyzing, and mitigating vulnerabilities in software is provided. The method includes determining whether one or more vulnerabilities are present in one or more target...
US20100287528 Systems and Methods for Modifying Code Generation Templates  
Embodiments of the present invention include systems and methods for template reverse engineering. In one embodiment, the present invention includes a computer-implemented method for code...
US20140351787 Decision Service Manager  
The disclosure generally describes computer-implemented methods, software, and systems for modeling and deploying decision services. One computer-implemented method includes creating a connection...
US20110296373 COMMAND LINE SHELL COMMAND GENERATION BASED ON SCHEMA  
A code generator tool capable of creating command shell commands at compile time or runtime from a schema such as an XSD schema is provided. The code generator generates classes to represent data...
US20140289698 Tool compiler  
Automatic generation of documentation and software for an equipment or tool, together with an automatic synchronization between the corresponding documentation and software can be preformed with a...
US20110016448 SYSTEM AND METHOD FOR RAPID DEVELOPMENT OF SOFTWARE APPLICATIONS  
The present invention is a system and method for rapid development of software applications comprising: a field composer; a design composer; and a design repository; wherein the field composer is...
US20140033167 METHOD AND SYSTEM FOR GENERATING A MANIFESTATION OF A MODEL IN ACTIONSCRIPT  
Computer-based methods and systems for generating script-based code, based on a model, are described. Consistent with an embodiment of the invention, a software development application includes a...
US20150113499 RUNTIME SUPPORT FOR MODELED CUSTOMIZATIONS  
A base assembly generated from a model in a computer system and a customization assembly generated from a customization model that models customization to the computer system are run separately....
US20140047406 Path driven programming method and programming tool  
A cloud servicing system is provided to support a consumer for interactively programming a programmable product such as programmable toys or home security system. A consumer friendly path driven...
US20140196001 SOFTWARE DEVELOPMENT METHODOLOGY SYSTEM FOR IMPLEMENTING BUSINESS PROCESSES  
A software development tool for developing software that implements a customer's business processes. The software development tool determines a plurality of models to define the software to be...
US20090113381 AGGREGATION OF CONSTRAINTS ACROSS PROFILES  
Leveraging profiles to define stereotypes for other profiles introduces efficiency into modeling. Although constraints can be inherited, constraints cannot currently be aggregated across profiles....
US20130166260 Distributed Internet Protocol Network Analysis Model with Real Time Response Performance  
A system for generating a network analysis model is provided. The system comprises a text-based model definition file representing analysis flow and a hierarchical analysis tree; an analysis...
US20110246960 METHODS FOR SOFTWARE MASS PRODUCTION  
A model-oriented programming method for computer-based software system development and management. The method includes (a) obtaining the program problem specifications, (b) building a model of the...
US20110107295 Automatically Generating Artifacts for Service Delivery  
Techniques for generating one or more artifacts for service delivery are provided. The techniques include receiving one or more service design inputs, using the one or more service design inputs...
US20110041117 COMPOSITIONAL MODELING OF INTEGRATED SYSTEMS USING EVENT-BASED LEGACY APPLICATIONS  
The compositional event based modeling of integrated applications (CINEMA) tool provides a way to extend a modeling environment using legacy event based applications, such as Graphical User...
US20120198416 SUPPORT FOR HETEROGENEOUS DATABASE ARTIFACTS IN A SINGLE PROJECT  
A single software project can include heterogeneous types of artifacts. The artifact definition can be converted to a format compatible with a common model or information derived from the...
US20120117534 SYSTEMS AND METHODS FOR CREATING INTEGRATED APPLICATIONS FOR ELECTRONIC DEVICES  
The present technology relates to providing application users methods and systems for dynamically loading an entire application, or a portion of another application, within a currently operating...
US20140007039 DISCOVERY AND MODELING OF DEPLOYMENT ACTIONS FOR MULTIPLE DEPLOYMENT ENGINE PROVIDERS  
Provided are techniques for modeling operational units, each operational unit corresponding to an operational workflow and to one or more deployment engines of a plurality of deployment engines;...
US20120167035 APPARATUS AND METHOD FOR DEVELOPING CUSTOMER-ORIENTED EMOTIONAL HOME APPLICATION SERVICE  
An apparatus for developing a user-oriented emotional home application service includes: an emotional information collection unit configured to sense a user and a user's surrounding environment...
US20140196002 TOOL AND METHOD THEREOF FOR EFFICIENT DESIGN OF INFORMATION TECHNOLOGY SYSTEMS  
A design tool and method for designing information technology (IT) systems are provided. The method includes receiving at least one requirement for the IT system; receiving a layout of the IT...
US20130055194 SYSTEM AND METHOD FOR IMPLEMENTING APPLICATION CODE FROM APPLICATION REQUIREMENTS  
A method for execution by a processing module begins with receiving application requirements and parameters. The method continues by generating application code based on the application...
US20100325603 COMPUTER METHOD AND SYSTEM FOR ENFORCING DERIVED UNION CONSTRAINTS  
A computer method and system preserves derived union constraints and enforces the same in generated target code. The method includes (a) providing a model element having one or more derived union...
US20130159963 Agile Unit and Regression Testing Framework for Domain Specific Languages  
According to one aspect of the invention, a system and method for unit and regression testing has been developed. The system is capable to automate unit/regression test case preparation, remote...
US20140229910 SYSTEM AND METHOD FOR TRANSPLANTING SOURCE CODE  
A method of integrating an existing source code into a target source code, the method including mapping a plurality of candidate mappings between a change point of the existing source code and a...
US20110197174 Method, System and Computer Readable Medium for Generating Software Transaction-Level Modeling (TLM) Model  
The present invention discloses a system for generating a software TLM model, comprising a processing unit; a compiler coupled to the processing unit to generate target binary codes of a target...
US20110191748 SYSTEMS AND METHODS FOR DESIGN TIME SERVICE VERIFICATION AND VALIDATION  
Design principles of services ensure reliability, scalability and reusability of software components. Services that follow the design principles are robust to changes and are largely reusable in...
US20120246611 TRANSFORMATION FRAMEWORK  
A transformation framework accesses user story information inputted by a user into a pre-defined template designed to receive a user story and parses the accessed user story information to...
US20120278787 COLLABORATIVE REALTIME PLANNING USING A MODEL DRIVEN ARCHITECTURE AND ITERATIVE PLANNING TOOLS  
Systems and methods are disclosed that include creating a template file with at least one logic unit. These systems and methods also include creating model file with at least one type independent...
US20130318492 MECHANISM FOR FACILITATING DYNAMIC INTERACTION WITH DEVELOPMENT APPLICATIONS AND TOOLS AN ON-DEMAND SERVICES ENVIROMENT  
In accordance with embodiments, there are provided mechanisms and methods for facilitating dynamic interaction with development applications and tools in an on-demand services environment in a...
US20120254828 Flexible Modeling Architecture For Management Systems  
A flexible modeling architecture is described that allows multiple versions of entities of different types to be modeled in a structured fashion with different model sets, with a variety of...
US20120246612 SYSTEM AND METHOD FOR VERIFICATION AND VALIDATION OF REDUNDANCY SOFTWARE IN PLC SYSTEMS  
Formal methods are instituted to verify and validate the finite state machine (FSM) of PLC redundancy software. The method and system is implemented through each phase in the lifecycle of the...
US20100313179 INTEGRATED WORK LISTS FOR ENGINEERING PROJECT CHANGE MANAGEMENT  
A tool supports management of engineering project changes using a current design diagram with links to implementation components, a proposed design diagram, and a work list of tasks for...
US20150199181 REQUIREMENTS FACTORIZATION MECHANISM  
Requirement terms and a glossary having requirement terms with matching requirement term synonyms are received. It is determined whether a first requirement term is identical to a second...
US20150199179 REQUIREMENTS FACTORIZATION MECHANISM  
Requirement terms and a glossary having requirement terms with matching requirement term synonyms are received. It is determined whether a first requirement term is identical to a second...
US20120159426 SYSTEMS AND/OR METHODS FOR CREATION OF METAMODELS  
Certain example embodiments described herein relate to systems and/or methods for systems and/or methods for improved creation of metamodels. More particularly, certain example embodiments...
US20130055196 GENERATING PLC CODE FROM CAD MODELS  
Product data management systems, methods, and mediums. A method includes receiving a functional model, and identifying a plurality of elements of the functional model. Each element corresponds to...
US20140372968 SOFTWARE MODELING FRAMEWORK  
A system and method for providing a software modeling framework which supports different types of dependency injection and other software modeling or software development frameworks, and which...