DE602005014970D1 - Analytisches software-entwurfssystem - Google Patents

Analytisches software-entwurfssystem

Info

Publication number
DE602005014970D1
DE602005014970D1 DE602005014970T DE602005014970T DE602005014970D1 DE 602005014970 D1 DE602005014970 D1 DE 602005014970D1 DE 602005014970 T DE602005014970 T DE 602005014970T DE 602005014970 T DE602005014970 T DE 602005014970T DE 602005014970 D1 DE602005014970 D1 DE 602005014970D1
Authority
DE
Germany
Prior art keywords
specifications
mathematical models
verified
behavior
design specifications
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
DE602005014970T
Other languages
English (en)
Inventor
Guy Hampson Broadfoot
Philippa Jane Hopcroft
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.)
Verum Holding BV
Original Assignee
Verum Holding BV
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 Verum Holding BV filed Critical Verum Holding BV
Publication of DE602005014970D1 publication Critical patent/DE602005014970D1/de
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G06F8/24—Object-oriented

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)
  • Executing Machine-Instructions (AREA)
  • Debugging And Monitoring (AREA)
  • Saccharide Compounds (AREA)
DE602005014970T 2004-05-05 2005-05-05 Analytisches software-entwurfssystem Active DE602005014970D1 (de)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GBGB0410047.5A GB0410047D0 (en) 2004-05-05 2004-05-05 An analytical software design system
PCT/GB2005/001704 WO2005106649A2 (en) 2004-05-05 2005-05-05 An analytical software design system

Publications (1)

Publication Number Publication Date
DE602005014970D1 true DE602005014970D1 (de) 2009-07-30

Family

ID=32482728

Family Applications (1)

Application Number Title Priority Date Filing Date
DE602005014970T Active DE602005014970D1 (de) 2004-05-05 2005-05-05 Analytisches software-entwurfssystem

Country Status (10)

Country Link
US (2) US8370798B2 (de)
EP (1) EP1749264B1 (de)
AT (1) ATE434216T1 (de)
DE (1) DE602005014970D1 (de)
DK (1) DK1749264T3 (de)
ES (1) ES2334041T3 (de)
GB (1) GB0410047D0 (de)
HK (1) HK1104100A1 (de)
SI (1) SI1749264T1 (de)
WO (1) WO2005106649A2 (de)

Families Citing this family (79)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4516001B2 (ja) * 2005-11-14 2010-08-04 富士通株式会社 ソフトウェアテスト管理プログラム、ソフトウェアテスト管理装置、ソフトウェアテスト管理方法
WO2007056807A1 (en) * 2005-11-18 2007-05-24 Robert Arthur Crewdson Computer software development system and method
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 (de) * 2007-09-14 2009-03-18 Siemens Aktiengesellschaft Verfahren und System zur Erzeugung projektbezogener Anforderungen
US9098635B2 (en) * 2008-06-20 2015-08-04 Cadence Design Systems, Inc. Method and system for testing and analyzing user interfaces
WO2010018415A1 (en) * 2008-08-15 2010-02-18 Verum Holding B.V. A method and system for testing complex machine control software
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 (en) 2010-05-27 2011-12-01 The Mathworks, Inc. Partitioning block diagrams into executable contextual models
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 (en) * 2012-06-08 2013-12-12 Massively Parallel Technologies, Inc. System and method for automatic detection of decomposition errors
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 (en) * 2016-12-19 2018-06-28 (Un)Manned N.V. Method and apparatus for real-time control loop application execution from a high-level description
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 (de) * 2018-08-09 2020-02-12 Audi Ag Verfahren zur bereitstellung eines automatischen software-entwicklung/erzeugung und einsatzfunktionalität in mindestens einem fahrzeug und zugehöriges backend-server-system
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 (en) * 2021-10-15 2023-04-20 SquareBear Technology Pty Ltd Systems and methods for generating and maintaining work units
DE102022118722A1 (de) 2022-07-26 2024-02-01 Cariad Se Anpassungsvorrichtung, eingerichtet zur Anpassung eines Betriebs einer Steuervorrichtung eines Fahrzeugs, Verfahren und Fahrzeug

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2147536A1 (en) 1994-06-01 1995-12-02 Gerard Johan Holzmann On-the-fly model checking with partial-order state space reduction
US6259969B1 (en) * 1997-06-04 2001-07-10 Nativeminds, Inc. System and method for automatically verifying the performance of a virtual robot
WO2001022228A1 (en) * 1999-09-17 2001-03-29 Nortel Networks Limited System and method for producing a verification system for verifying procedure interfaces
US6532554B1 (en) * 1999-11-29 2003-03-11 Sun Microsystems, Inc. Network event correlation system using formally specified models of protocol behavior
US6681383B1 (en) * 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
WO2002103466A2 (en) * 2001-01-19 2002-12-27 Engeneos, Inc. Methods and systems for designing machines including biologically-derived parts
WO2002103543A1 (en) * 2001-06-14 2002-12-27 Inbound Systems, Llc An apparatus for and a method of network load testing
US7694276B2 (en) * 2003-02-28 2010-04-06 Microsoft Corporation Contracts and futures in an asynchronous programming language
US7543274B2 (en) * 2003-12-22 2009-06-02 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration System and method for deriving a process-based specification

Also Published As

Publication number Publication date
WO2005106649A3 (en) 2006-03-23
GB0410047D0 (en) 2004-06-09
US8370798B2 (en) 2013-02-05
US8943465B2 (en) 2015-01-27
DK1749264T3 (da) 2009-10-19
US20130117727A1 (en) 2013-05-09
US20080263506A1 (en) 2008-10-23
EP1749264A2 (de) 2007-02-07
ATE434216T1 (de) 2009-07-15
SI1749264T1 (sl) 2009-12-31
EP1749264B1 (de) 2009-06-17
HK1104100A1 (en) 2008-01-04
WO2005106649A2 (en) 2005-11-10
ES2334041T3 (es) 2010-03-04

Similar Documents

Publication Publication Date Title
ATE434216T1 (de) Analytisches software-entwurfssystem
WO2004099925A3 (en) Performance modeling for information systems
WO2004044797A3 (en) Software simulator generated from a hardware description
WO2008021777A3 (en) Formal verification of graphical programs
WO2004111764A3 (en) Computer language translation system and method of converting procedural computer language software to object-oriented computer language software
WO2005119506A3 (en) Computer system for data manipulation and related methods
Kim et al. An integrated software testing framework for FPGA-based controllers in nuclear power plants
CN102520949B (zh) 形式化计算机联锁实现方法
Chowdhury Understanding and improving cyber-physical system models and development tools
TW200632704A (en) Tester simulation system and tester simulation method using same
WO2004047049A3 (en) Signature simulator
Lee et al. A Development of Model Based Automatic Code Generation
Buskirk et al. A Realistic Analytic Model for Complete Gravitational Wave Templates
Saxena SAVED21cm: Global 21cm signal extraction pipeline
Papacharalampous et al. Multi-step ahead streamflow forecasting for the operation of hydropower reservoirs
Gustafson et al. Simulations of Real Time Scattering in the 1D Quantum Ising Model
WO2007075489A3 (en) Simulating execution of processor instructions
Li et al. Signal to noise quantification of regional climate projections
WO2004090756A3 (de) Verfahren und anordnung zur performanzvorhersage eines informationstechnischen systems
Hammerling et al. A new Ensemble Consistency Test for the Community Earth System Model
Moskal 3.29 Boogie Verification Debugger
Yuan et al. UMLTGF: A tool for generating test cases from UML activity diagrams based on grey-box method.
Kumar Generating, Optimizing and Verifying HDL Code with MATLAB and Simulink
Barkett et al. Gravitational Waveforms in the Early Inspiral of Binary Black Hole Systems
Data The Impact of Technology

Legal Events

Date Code Title Description
8364 No opposition during term of opposition