JP4516001B2
(ja)
*
|
2005-11-14 |
2010-08-04 |
富士通株式会社 |
ソフトウェアテスト管理プログラム、ソフトウェアテスト管理装置、ソフトウェアテスト管理方法
|
WO2007056807A1
(fr)
*
|
2005-11-18 |
2007-05-24 |
Robert Arthur Crewdson |
Procede et systeme de developpement de logiciel informatique
|
US7813911B2
(en)
*
|
2006-07-29 |
2010-10-12 |
Microsoft Corporation |
Model based testing language and framework
|
US8930890B2
(en)
|
2006-12-05 |
2015-01-06 |
International Business Machines Corporation |
Software model skinning
|
US8756561B2
(en)
|
2006-12-05 |
2014-06-17 |
International Business Machines Corporation |
Software model normalization and mediation
|
US8191044B1
(en)
*
|
2006-12-14 |
2012-05-29 |
Fannie Mae |
System and method for maintaining requirements traceability
|
US8473910B2
(en)
*
|
2007-08-09 |
2013-06-25 |
Infonovus Technologies, Llc |
Method and system for defining a software application as a complete and consistent specification in a software development process
|
EP2037359A1
(fr)
*
|
2007-09-14 |
2009-03-18 |
Siemens Aktiengesellschaft |
Procédé et système de génération de conditions relatives à un projet
|
US9098635B2
(en)
*
|
2008-06-20 |
2015-08-04 |
Cadence Design Systems, Inc. |
Method and system for testing and analyzing user interfaces
|
WO2010018415A1
(fr)
*
|
2008-08-15 |
2010-02-18 |
Verum Holding B.V. |
Procédé et système destiné à tester un logiciel de commande de machine complexe
|
US20100114939A1
(en)
*
|
2008-10-24 |
2010-05-06 |
Schulman Elad |
Software test management system and method with facilitated reuse of test components
|
JP5236564B2
(ja)
*
|
2009-04-20 |
2013-07-17 |
株式会社日立製作所 |
ソフトウェア再利用支援方法及び装置
|
US8448133B2
(en)
*
|
2009-06-24 |
2013-05-21 |
International Business Machines Corporation |
Software development, deployment and evolution system, method and program product
|
US20110041116A1
(en)
*
|
2009-08-14 |
2011-02-17 |
Gm Global Technology Operations, Inc. |
Formal analysis driven based evolution of requirements specifications
|
US8719771B2
(en)
*
|
2009-09-28 |
2014-05-06 |
Cadence Design Systems, Inc. |
Method and system for test reduction and analysis
|
US9703550B1
(en)
*
|
2009-09-29 |
2017-07-11 |
EMC IP Holding Company LLC |
Techniques for building code entities
|
US8429605B2
(en)
*
|
2009-12-30 |
2013-04-23 |
The United States Of America As Represented By The Secretary Of The Navy |
Finite state machine architecture for software development
|
US8949773B2
(en)
*
|
2010-03-25 |
2015-02-03 |
International Business Machines Corporation |
Deriving process models from natural language use case models
|
WO2011149553A1
(fr)
|
2010-05-27 |
2011-12-01 |
The Mathworks, Inc. |
Partitionnement de schémas fonctionnels en modèles contextuels exécutables
|
US10719645B1
(en)
|
2010-05-27 |
2020-07-21 |
The Mathworks, Inc. |
Model structure analysis with integration of transformed slice
|
US10657208B2
(en)
|
2010-05-27 |
2020-05-19 |
The Mathworks, Inc. |
Analyzing model based on design interest
|
US8799867B1
(en)
*
|
2010-06-08 |
2014-08-05 |
Cadence Design Systems, Inc. |
Methods, systems, and articles of manufacture for synchronizing software verification flows
|
US8904358B1
(en)
|
2010-06-08 |
2014-12-02 |
Cadence Design Systems, Inc. |
Methods, systems, and articles of manufacture for synchronizing software verification flows
|
US9020792B2
(en)
*
|
2010-09-17 |
2015-04-28 |
International Business Machines Corporation |
Coupling architectural and implementation/behavioral models of a computer-based system
|
US8413249B1
(en)
*
|
2010-09-30 |
2013-04-02 |
Coverity, Inc. |
Threat assessment of software-configured system based upon architecture model and as-built code
|
US9747187B2
(en)
*
|
2010-10-27 |
2017-08-29 |
International Business Machines Corporation |
Simulating black box test results using information from white box testing
|
CN102270130A
(zh)
*
|
2011-06-27 |
2011-12-07 |
浙江工业职业技术学院 |
一种运行时自适应软件体系结构的形式化描述方法
|
US8661305B2
(en)
*
|
2011-07-10 |
2014-02-25 |
Ravishankar Rajarao |
Method and system for test vector generation
|
US8972928B2
(en)
*
|
2011-08-30 |
2015-03-03 |
Uniquesoft, Llc |
System and method for generating application code
|
US9063673B2
(en)
*
|
2011-08-30 |
2015-06-23 |
Uniquesoft, Llc |
System and method for implementing application code from application requirements
|
GB201116440D0
(en)
*
|
2011-09-23 |
2011-11-02 |
Airbus Operations Ltd |
Conversion method and system
|
US9424168B2
(en)
|
2012-03-20 |
2016-08-23 |
Massively Parallel Technologies, Inc. |
System and method for automatic generation of software test
|
US9324126B2
(en)
|
2012-03-20 |
2016-04-26 |
Massively Parallel Technologies, Inc. |
Automated latency management and cross-communication exchange conversion
|
US8762946B2
(en)
|
2012-03-20 |
2014-06-24 |
Massively Parallel Technologies, Inc. |
Method for automatic extraction of designs from standard source code
|
US8959494B2
(en)
|
2012-03-20 |
2015-02-17 |
Massively Parallel Technologies Inc. |
Parallelism from functional decomposition
|
US9977655B2
(en)
|
2012-03-20 |
2018-05-22 |
Massively Parallel Technologies, Inc. |
System and method for automatic extraction of software design from requirements
|
US20130317889A1
(en)
*
|
2012-05-11 |
2013-11-28 |
Infosys Limited |
Methods for assessing transition value and devices thereof
|
US8806425B1
(en)
*
|
2012-05-25 |
2014-08-12 |
The Boeing Company |
Method and apparatus for generating infrastructure code
|
WO2013185098A1
(fr)
*
|
2012-06-08 |
2013-12-12 |
Massively Parallel Technologies, Inc. |
Système et procédé de détection automatique d'erreurs de décomposition
|
US9632754B2
(en)
*
|
2012-07-06 |
2017-04-25 |
International Business Machines Corporation |
Auto generation and linkage of source code to test cases
|
US9323650B2
(en)
|
2012-07-23 |
2016-04-26 |
Infosys Limited |
Methods for generating software test input data and devices thereof
|
US9021432B2
(en)
|
2013-03-05 |
2015-04-28 |
Sap Se |
Enrichment of entity relational model
|
US9229688B2
(en)
*
|
2013-03-14 |
2016-01-05 |
Massively Parallel Technologies, Inc. |
Automated latency management and cross-communication exchange conversion
|
US9081411B2
(en)
*
|
2013-05-10 |
2015-07-14 |
Sri International |
Rapid development of virtual personal assistant applications
|
US9710263B2
(en)
*
|
2013-09-26 |
2017-07-18 |
International Business Machines Corporation |
Understanding computer code with human language assistance
|
US9195570B2
(en)
|
2013-09-27 |
2015-11-24 |
International Business Machines Corporation |
Progressive black-box testing of computer software applications
|
JP6185148B2
(ja)
*
|
2014-03-25 |
2017-08-23 |
株式会社日立製作所 |
ソフトウェア仕様間依存関係検証装置、及びソフトウェア仕様間依存関係検証方法
|
CN105446711B
(zh)
*
|
2014-08-08 |
2018-10-02 |
国际商业机器公司 |
获取用于软件开发任务的上下文信息的方法及装置
|
US9536093B2
(en)
*
|
2014-10-02 |
2017-01-03 |
Microsoft Technology Licensing, Llc |
Automated verification of a software system
|
US10318653B1
(en)
|
2015-02-26 |
2019-06-11 |
The Mathworks, Inc. |
Systems and methods for creating harness models for model verification
|
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
|
US10733520B2
(en)
|
2015-05-13 |
2020-08-04 |
Microsoft Technology Licensing, Llc |
Making a prediction regarding development of a software product
|
DE102015209715A1
(de)
*
|
2015-05-27 |
2016-12-01 |
Siemens Aktiengesellschaft |
Verfahren und System zur rechnergestützten Überführung eines Architektur-Konzepts eines technischen Systems in eine Architekturspezifikation
|
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
|
US9952965B2
(en)
|
2015-08-06 |
2018-04-24 |
International Business Machines Corporation |
Test self-verification with integrated transparent self-diagnose
|
US10372421B2
(en)
*
|
2015-08-31 |
2019-08-06 |
Salesforce.Com, Inc. |
Platform provider architecture creation utilizing platform architecture type unit definitions
|
US10049337B2
(en)
|
2015-08-31 |
2018-08-14 |
Salesforce.Com, Inc. |
Quantitative metrics for assessing status of a platform architecture for cloud computing
|
US10048946B2
(en)
|
2016-03-24 |
2018-08-14 |
Microsoft Technology Licensing, Llc |
Converting visual diagrams into code
|
GB201611967D0
(en)
|
2016-07-08 |
2016-08-24 |
Cocotec Ltd |
An interoperable extensible system for the generation of verified software
|
CN106201538B
(zh)
*
|
2016-07-18 |
2019-05-31 |
北京航空航天大学 |
一种基于rucm的实时性测试方法
|
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
|
WO2018115970A1
(fr)
*
|
2016-12-19 |
2018-06-28 |
(Un)Manned N.V. |
Procédé et appareil permettant l'exécution d'une application de boucle de commande en temps réel à partir d'une description de haut niveau
|
CN106951368A
(zh)
*
|
2017-03-12 |
2017-07-14 |
北京工业大学 |
基于uml时序图的测试用例自动生成方法
|
CN107066388A
(zh)
*
|
2017-04-19 |
2017-08-18 |
艾瑞克·李 |
软件行为模型面向对象建模方法
|
US10248385B1
(en)
*
|
2017-11-30 |
2019-04-02 |
International Business Machines Corporation |
Extracting mobile application workflow from design files
|
JP6890557B2
(ja)
*
|
2018-01-17 |
2021-06-18 |
株式会社日立製作所 |
分析モデル作成システム、プログラミング装置および分析モデル作成方法
|
CN108509339A
(zh)
*
|
2018-03-22 |
2018-09-07 |
京北方信息技术股份有限公司 |
基于浏览器和思维导图的测试用例生成方法、装置及设备
|
EP3608773A1
(fr)
*
|
2018-08-09 |
2020-02-12 |
Audi Ag |
Procédé permettant de fournir une fonctionnalité de développement/génération et de déploiement automatiques de logiciels dans au moins un véhicule et système serveur back-end correspondant
|
US11126658B1
(en)
*
|
2018-09-12 |
2021-09-21 |
Amazon Technologies, Inc. |
Scalable graph authoring and versioning techniques
|
CN109711710A
(zh)
*
|
2018-12-24 |
2019-05-03 |
浙江蓝卓工业互联网信息技术有限公司 |
一种数据分析模型中组件的排序方法及装置
|
US10860295B1
(en)
*
|
2019-01-03 |
2020-12-08 |
Amazon Technologies, Inc. |
Automated detection of ambiguities in software design diagrams
|
US11144314B2
(en)
|
2020-01-17 |
2021-10-12 |
Accenture Global Solutions Limited |
Systems and methods for software documentation and code generation management
|
US11829689B1
(en)
|
2020-06-09 |
2023-11-28 |
The Mathworks, Inc. |
Systems and methods for creating variant regions in acausal simulation models
|
US11580284B1
(en)
*
|
2021-01-06 |
2023-02-14 |
Cadence Design Systems, Inc. |
System, method, and computer program product for finding and analyzing deadlock conditions associated with the formal verification of an electronic circuit design
|
US11675582B2
(en)
|
2021-07-15 |
2023-06-13 |
Kyndryl, Inc. |
Neural networks to identify source code
|
WO2023060306A1
(fr)
*
|
2021-10-15 |
2023-04-20 |
SquareBear Technology Pty Ltd |
Systèmes et procédés de génération et de maintien d'unités de travail
|
DE102022118722A1
(de)
|
2022-07-26 |
2024-02-01 |
Cariad Se |
Anpassungsvorrichtung, eingerichtet zur Anpassung eines Betriebs einer Steuervorrichtung eines Fahrzeugs, Verfahren und Fahrzeug
|