JP7473145B2 - ソフトウェア開発装置およびソフトウェア開発プログラム - Google Patents

ソフトウェア開発装置およびソフトウェア開発プログラム Download PDF

Info

Publication number
JP7473145B2
JP7473145B2 JP2019103138A JP2019103138A JP7473145B2 JP 7473145 B2 JP7473145 B2 JP 7473145B2 JP 2019103138 A JP2019103138 A JP 2019103138A JP 2019103138 A JP2019103138 A JP 2019103138A JP 7473145 B2 JP7473145 B2 JP 7473145B2
Authority
JP
Japan
Prior art keywords
software development
code
scope
source code
constraints
Prior art date
Legal status (The legal status 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 status listed.)
Active
Application number
JP2019103138A
Other languages
English (en)
Japanese (ja)
Other versions
JP2020197866A5 (https=
JP2020197866A (ja
Inventor
久利寿 帝都
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Connectfree Corp
Original Assignee
Connectfree Corp
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 Connectfree Corp filed Critical Connectfree Corp
Priority to JP2019103138A priority Critical patent/JP7473145B2/ja
Priority to EP20812818.1A priority patent/EP3979068A4/en
Priority to US17/615,027 priority patent/US12045608B2/en
Priority to PCT/JP2020/020541 priority patent/WO2020241570A1/ja
Priority to TW109117816A priority patent/TWI849133B/zh
Priority to TW113121808A priority patent/TWI898655B/zh
Publication of JP2020197866A publication Critical patent/JP2020197866A/ja
Publication of JP2020197866A5 publication Critical patent/JP2020197866A5/ja
Priority to JP2024060516A priority patent/JP7789292B2/ja
Application granted granted Critical
Publication of JP7473145B2 publication Critical patent/JP7473145B2/ja
Priority to US18/740,827 priority patent/US20240411554A1/en
Priority to JP2025186427A priority patent/JP2026016754A/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/75—Structural analysis for program understanding
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G06F8/425—Lexical analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Programmable Controllers (AREA)
JP2019103138A 2019-05-31 2019-05-31 ソフトウェア開発装置およびソフトウェア開発プログラム Active JP7473145B2 (ja)

Priority Applications (9)

Application Number Priority Date Filing Date Title
JP2019103138A JP7473145B2 (ja) 2019-05-31 2019-05-31 ソフトウェア開発装置およびソフトウェア開発プログラム
EP20812818.1A EP3979068A4 (en) 2019-05-31 2020-05-25 SOFTWARE DEVELOPMENT DEVICE AND SOFTWARE DEVELOPMENT PROGRAM
US17/615,027 US12045608B2 (en) 2019-05-31 2020-05-25 Software development device and software development program
PCT/JP2020/020541 WO2020241570A1 (ja) 2019-05-31 2020-05-25 ソフトウェア開発装置およびソフトウェア開発プログラム
TW109117816A TWI849133B (zh) 2019-05-31 2020-05-28 軟體開發裝置和軟體開發程式
TW113121808A TWI898655B (zh) 2019-05-31 2020-05-28 軟體開發裝置、軟體開發程式和軟體開發方法
JP2024060516A JP7789292B2 (ja) 2019-05-31 2024-04-04 ソフトウェア開発装置、ソフトウェア開発プログラムおよび方法
US18/740,827 US20240411554A1 (en) 2019-05-31 2024-06-12 Software development device and software development program
JP2025186427A JP2026016754A (ja) 2019-05-31 2025-11-05 ソフトウェア開発装置およびソフトウェア開発プログラム

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2019103138A JP7473145B2 (ja) 2019-05-31 2019-05-31 ソフトウェア開発装置およびソフトウェア開発プログラム

Related Child Applications (1)

Application Number Title Priority Date Filing Date
JP2024060516A Division JP7789292B2 (ja) 2019-05-31 2024-04-04 ソフトウェア開発装置、ソフトウェア開発プログラムおよび方法

Publications (3)

Publication Number Publication Date
JP2020197866A JP2020197866A (ja) 2020-12-10
JP2020197866A5 JP2020197866A5 (https=) 2022-06-01
JP7473145B2 true JP7473145B2 (ja) 2024-04-23

Family

ID=73553425

Family Applications (3)

Application Number Title Priority Date Filing Date
JP2019103138A Active JP7473145B2 (ja) 2019-05-31 2019-05-31 ソフトウェア開発装置およびソフトウェア開発プログラム
JP2024060516A Active JP7789292B2 (ja) 2019-05-31 2024-04-04 ソフトウェア開発装置、ソフトウェア開発プログラムおよび方法
JP2025186427A Pending JP2026016754A (ja) 2019-05-31 2025-11-05 ソフトウェア開発装置およびソフトウェア開発プログラム

Family Applications After (2)

Application Number Title Priority Date Filing Date
JP2024060516A Active JP7789292B2 (ja) 2019-05-31 2024-04-04 ソフトウェア開発装置、ソフトウェア開発プログラムおよび方法
JP2025186427A Pending JP2026016754A (ja) 2019-05-31 2025-11-05 ソフトウェア開発装置およびソフトウェア開発プログラム

Country Status (5)

Country Link
US (2) US12045608B2 (https=)
EP (1) EP3979068A4 (https=)
JP (3) JP7473145B2 (https=)
TW (2) TWI849133B (https=)
WO (1) WO2020241570A1 (https=)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006285582A (ja) 2005-03-31 2006-10-19 Canon Inc プログラムコード生成装置、プログラムコード生成方法、及びコンピュータプログラム
JP2007122631A (ja) 2005-10-31 2007-05-17 Internatl Business Mach Corp <Ibm> プログラムの規約違反を判断する装置、およびその方法
JP2013140513A (ja) 2012-01-05 2013-07-18 Fuji Electric Co Ltd 組込み機器用ソフトウェア作成支援装置およびその方法、並びにプログラム
US20160147511A1 (en) 2014-11-26 2016-05-26 Markus Eble Pre-compiler
US20170315903A1 (en) 2016-04-27 2017-11-02 The Mathworks, Inc. Systems and methods for analyzing violations of coding rules

Family Cites Families (42)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
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
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
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
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
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

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2006285582A (ja) 2005-03-31 2006-10-19 Canon Inc プログラムコード生成装置、プログラムコード生成方法、及びコンピュータプログラム
JP2007122631A (ja) 2005-10-31 2007-05-17 Internatl Business Mach Corp <Ibm> プログラムの規約違反を判断する装置、およびその方法
JP2013140513A (ja) 2012-01-05 2013-07-18 Fuji Electric Co Ltd 組込み機器用ソフトウェア作成支援装置およびその方法、並びにプログラム
US20160147511A1 (en) 2014-11-26 2016-05-26 Markus Eble Pre-compiler
US20170315903A1 (en) 2016-04-27 2017-11-02 The Mathworks, Inc. Systems and methods for analyzing violations of coding rules

Also Published As

Publication number Publication date
JP2026016754A (ja) 2026-02-03
WO2020241570A1 (ja) 2020-12-03
JP7789292B2 (ja) 2025-12-22
EP3979068A4 (en) 2023-02-08
US20240411554A1 (en) 2024-12-12
JP2020197866A (ja) 2020-12-10
US12045608B2 (en) 2024-07-23
TWI849133B (zh) 2024-07-21
TW202105172A (zh) 2021-02-01
TWI898655B (zh) 2025-09-21
JP2024096774A (ja) 2024-07-17
US20220236982A1 (en) 2022-07-28
EP3979068A1 (en) 2022-04-06
TW202503512A (zh) 2025-01-16

Similar Documents

Publication Publication Date Title
US9424008B2 (en) API descriptions
JP2016502219A (ja) 不変オブジェクトタイプ
JP2026035883A (ja) ソフトウェア開発装置およびソフトウェア開発プログラム
US12216565B2 (en) Programming assist system and programming assist method
CN110377367B (zh) 组件配置方法、装置、电子终端及计算机可读存储介质
US20170235943A1 (en) Application Access Control Method and Apparatus
JP7789292B2 (ja) ソフトウェア開発装置、ソフトウェア開発プログラムおよび方法
CN114995790B (zh) 一种组件开发方法、装置、计算机可读介质及电子设备
JP7592334B2 (ja) コンピューティングシステムおよび情報処理方法
CN115469917A (zh) 文件处理方法、装置、设备及存储介质
TWI921307B (zh) 計算系統以及資訊處理方法
CN119759739B (zh) 符号化调用堆栈的方法、装置、设备和存储介质
CN112068814A (zh) 可执行文件的生成方法、装置、系统及介质

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20220524

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20220524

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20230704

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20230904

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20231205

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20240205

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20240305

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20240404

R150 Certificate of patent or registration of utility model

Ref document number: 7473145

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150