|
JP3259887B2
(ja)
*
|
1995-05-15 |
2002-02-25 |
株式会社ニフコ |
連結具
|
|
US9886309B2
(en)
|
2002-06-28 |
2018-02-06 |
Microsoft Technology Licensing, Llc |
Identity-based distributed computing for device resources
|
|
JP4938991B2
(ja)
|
2005-03-31 |
2012-05-23 |
キヤノン株式会社 |
プログラムコード生成装置、プログラムコード生成方法、及びコンピュータプログラム
|
|
JP4144889B2
(ja)
|
2005-10-31 |
2008-09-03 |
インターナショナル・ビジネス・マシーンズ・コーポレーション |
プログラムの規約違反を判断する装置、およびその方法
|
|
US7900188B2
(en)
*
|
2006-09-01 |
2011-03-01 |
The Mathworks, Inc. |
Specifying implementations of code for code generation from a model
|
|
US8584085B2
(en)
*
|
2008-09-24 |
2013-11-12 |
Accenture Global Services Limited |
Identification of concepts in software
|
|
CA2746136C
(en)
*
|
2011-07-12 |
2018-05-29 |
Ibm Canada Limited - Ibm Canada Limitee |
Managing aliasing constraints
|
|
US8874865B2
(en)
*
|
2011-09-09 |
2014-10-28 |
International Business Machines Corporation |
Memory type-specific access control of a field of a record
|
|
JP5867088B2
(ja)
|
2012-01-05 |
2016-02-24 |
富士電機株式会社 |
組込み機器用ソフトウェア作成支援装置およびプログラム
|
|
US8806458B2
(en)
*
|
2012-02-16 |
2014-08-12 |
Microsoft Corporation |
Vectorization of shaders
|
|
US20140143762A1
(en)
*
|
2012-11-21 |
2014-05-22 |
Fujitsu Limited |
Symbolic execution of dynamic programming languages
|
|
US9448820B1
(en)
*
|
2013-01-03 |
2016-09-20 |
Amazon Technologies, Inc. |
Constraint verification for distributed applications
|
|
US10095602B2
(en)
*
|
2013-03-14 |
2018-10-09 |
Syntel, Inc. |
Automated code analyzer
|
|
US9213530B2
(en)
|
2013-08-15 |
2015-12-15 |
Oracle International Corporation |
Runtime memory throttling
|
|
KR101573580B1
(ko)
*
|
2013-10-28 |
2015-12-01 |
현대자동차주식회사 |
데이터 고속 전처리 방법과 이를 지원하는 전자 장치 및 차량
|
|
US9262134B2
(en)
*
|
2014-03-21 |
2016-02-16 |
International Business Machines Corporation |
Analysis of source code changes
|
|
US9361068B2
(en)
*
|
2014-05-21 |
2016-06-07 |
International Business Machines Corporation |
System and method for using development objectives to guide implementation of source code
|
|
US20160004517A1
(en)
*
|
2014-07-01 |
2016-01-07 |
Bank Of America Corporation |
SOFTWARE DEVELOPMENT IMPROVEMENT TOOL - iREVIEW
|
|
US9619215B2
(en)
|
2014-11-26 |
2017-04-11 |
Sap Se |
Pre-compiler
|
|
US9823904B2
(en)
*
|
2014-12-18 |
2017-11-21 |
International Business Machines Corporation |
Managed assertions in an integrated development environment
|
|
US11734000B2
(en)
*
|
2015-03-31 |
2023-08-22 |
GalaxE.Solutions, Inc. |
System and method for automated cross-application dependency mapping
|
|
US9588871B1
(en)
*
|
2015-04-14 |
2017-03-07 |
Don Estes & Associates, Inc. |
Method and system for dynamic business rule extraction
|
|
US20170300306A1
(en)
*
|
2016-04-13 |
2017-10-19 |
Qualcomm Innovation Center, Inc. |
Accelerated parsing in a virtual machine for similar javascript codes in webpages
|
|
US10423518B2
(en)
|
2016-04-27 |
2019-09-24 |
The Mathworks, Inc. |
Systems and methods for analyzing violations of coding rules
|
|
CN110383238B
(zh)
*
|
2016-05-15 |
2024-01-05 |
新思科技有限公司 |
用于基于模型的软件分析的系统和方法
|
|
CN106095408B
(zh)
*
|
2016-05-31 |
2019-05-14 |
浙江网新恒天软件有限公司 |
一种数据监控和代码自动生成与部署的系统及方法
|
|
KR101850303B1
(ko)
*
|
2016-09-13 |
2018-05-31 |
슈어소프트테크주식회사 |
소스 코드 위배 수정 방법 및 이를 실행하기 위한 프로그램을 기록한 컴퓨터로 판독가능한 기록매체
|
|
JP6845429B2
(ja)
*
|
2017-03-15 |
2021-03-17 |
富士通株式会社 |
コンパイラプログラム、情報処理装置およびコンパイル方法
|
|
US10310827B2
(en)
*
|
2017-04-08 |
2019-06-04 |
Oracle International Corporation |
Flow-based scoping
|
|
US10740470B2
(en)
*
|
2017-05-31 |
2020-08-11 |
Shiftleft Inc. |
System and method for application security profiling
|
|
US20190050210A1
(en)
*
|
2017-08-11 |
2019-02-14 |
Fugue, Inc. |
System and method for providing cloud operating system verifications for a domain-specific language for cloud services infrastructure
|
|
US20190129832A1
(en)
*
|
2017-11-02 |
2019-05-02 |
Siemens Aktiengesellschaft |
System and method for test data generation for use in model based testing using source code test annotations and constraint solving
|
|
CN107885503B
(zh)
*
|
2017-11-11 |
2021-01-08 |
湖南大学 |
一种基于程序特征分析的迭代编译优化方法
|
|
EP3493051A1
(en)
*
|
2017-11-30 |
2019-06-05 |
The MathWorks, Inc. |
System and methods for evaluating compliance of implementation code with a software architecture specification
|
|
US10565014B2
(en)
*
|
2017-12-05 |
2020-02-18 |
Western Digital Technologies, Inc. |
Data processing offload using in-storage code execution
|
|
US11216255B1
(en)
*
|
2017-12-30 |
2022-01-04 |
ezbds, LLC |
Open compiler system for the construction of safe and correct computational systems
|
|
US20190258460A1
(en)
*
|
2018-02-22 |
2019-08-22 |
Dspace Digital Signal Processing And Control Engineering Gmbh |
Method and system for generating a software component
|
|
US10416972B1
(en)
*
|
2018-03-16 |
2019-09-17 |
Capital One Services, Llc |
Generating closures from abstract representation of source code
|
|
US10866792B1
(en)
*
|
2018-04-17 |
2020-12-15 |
Palantir Technologies Inc. |
System and methods for rules-based cleaning of deployment pipelines
|
|
US11074154B2
(en)
*
|
2018-06-06 |
2021-07-27 |
International Business Machines Corporation |
Identifying a source file for use in debugging compiled code
|
|
US10860338B2
(en)
*
|
2018-07-18 |
2020-12-08 |
Oracle International Corporation |
Type-constrained operations for plug-in types
|
|
US10977111B2
(en)
*
|
2018-08-28 |
2021-04-13 |
Amazon Technologies, Inc. |
Constraint solver execution service and infrastructure therefor
|
|
US11474795B2
(en)
*
|
2018-09-11 |
2022-10-18 |
Apple Inc. |
Static enforcement of provable assertions at compile
|
|
US11074049B2
(en)
*
|
2018-12-21 |
2021-07-27 |
Dspace Digital Signal Processing And Control Engineering Gmbh |
Method and system for generating program code modified by rule sets
|
|
CN109783107B
(zh)
*
|
2019-01-10 |
2022-05-24 |
深圳市小赢信息技术有限责任公司 |
一种可视化的规则生成方法、装置及电子设备
|
|
US11106437B2
(en)
*
|
2019-01-14 |
2021-08-31 |
Microsoft Technology Licensing, Llc |
Lookup table optimization for programming languages that target synchronous digital circuits
|
|
US11144725B2
(en)
*
|
2019-03-14 |
2021-10-12 |
International Business Machines Corporation |
Predictive natural language rule generation
|