HK1104100A1 - An analytical software design system - Google Patents

An analytical software design system

Info

Publication number
HK1104100A1
HK1104100A1 HK07108596.4A HK07108596A HK1104100A1 HK 1104100 A1 HK1104100 A1 HK 1104100A1 HK 07108596 A HK07108596 A HK 07108596A HK 1104100 A1 HK1104100 A1 HK 1104100A1
Authority
HK
Hong Kong
Prior art keywords
specifications
mathematical models
verified
behavior
design specifications
Prior art date
Application number
HK07108596.4A
Other languages
English (en)
Inventor
Guy Hampson Broadfoot
Philippa Jane Hopcroft
Original Assignee
Verum Holding B V
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 B V filed Critical Verum Holding B V
Publication of HK1104100A1 publication Critical patent/HK1104100A1/xx

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)
HK07108596.4A 2004-05-05 2007-08-07 An analytical software design system HK1104100A1 (en)

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
HK1104100A1 true HK1104100A1 (en) 2008-01-04

Family

ID=32482728

Family Applications (1)

Application Number Title Priority Date Filing Date
HK07108596.4A HK1104100A1 (en) 2004-05-05 2007-08-07 An analytical software design system

Country Status (10)

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

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
US8756561B2 (en) 2006-12-05 2014-06-17 International Business Machines Corporation Software model normalization and mediation
US8930890B2 (en) 2006-12-05 2015-01-06 International Business Machines Corporation Software model skinning
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 (en) * 2007-09-14 2009-03-18 Siemens Aktiengesellschaft A method and a system for generating project-related requirements
US9098635B2 (en) * 2008-06-20 2015-08-04 Cadence Design Systems, Inc. Method and system for testing and analyzing user interfaces
EP2329376A1 (en) * 2008-08-15 2011-06-08 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
US10657208B2 (en) 2010-05-27 2020-05-19 The Mathworks, Inc. Analyzing model based on design interest
US10719645B1 (en) 2010-05-27 2020-07-21 The Mathworks, Inc. Model structure analysis with integration of transformed slice
US8904358B1 (en) 2010-06-08 2014-12-02 Cadence Design Systems, Inc. Methods, systems, and articles of manufacture for synchronizing software verification flows
US8799867B1 (en) * 2010-06-08 2014-08-05 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
US9977655B2 (en) 2012-03-20 2018-05-22 Massively Parallel Technologies, Inc. System and method for automatic extraction of software design from requirements
US9324126B2 (en) 2012-03-20 2016-04-26 Massively Parallel Technologies, Inc. Automated latency management and cross-communication exchange conversion
US8959494B2 (en) 2012-03-20 2015-02-17 Massively Parallel Technologies Inc. Parallelism from functional decomposition
US8762946B2 (en) 2012-03-20 2014-06-24 Massively Parallel Technologies, Inc. Method for automatic extraction of designs from standard source code
US9424168B2 (en) 2012-03-20 2016-08-23 Massively Parallel Technologies, Inc. System and method for automatic generation of software test
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
US9146709B2 (en) 2012-06-08 2015-09-29 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
US9952965B2 (en) 2015-08-06 2018-04-24 International Business Machines Corporation Test self-verification with integrated transparent self-diagnose
US9720652B2 (en) * 2015-08-06 2017-08-01 Symphore, LLC Generating a software complex using superordinate design input
US10049337B2 (en) 2015-08-31 2018-08-14 Salesforce.Com, Inc. Quantitative metrics for assessing status of a platform architecture for cloud computing
US10372421B2 (en) * 2015-08-31 2019-08-06 Salesforce.Com, Inc. Platform provider architecture creation utilizing platform architecture type unit definitions
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
EP3862871A1 (en) * 2016-12-19 2021-08-11 (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 (en) * 2018-08-09 2020-02-12 Audi Ag Method for providing an automatic software development/generation and deployment functionality in at least one vehicle and corresponding 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
US20030033406A1 (en) * 2001-06-14 2003-02-13 Rekesh John 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
US20130117727A1 (en) 2013-05-09
SI1749264T1 (sl) 2009-12-31
WO2005106649A2 (en) 2005-11-10
US8370798B2 (en) 2013-02-05
US8943465B2 (en) 2015-01-27
EP1749264A2 (en) 2007-02-07
EP1749264B1 (en) 2009-06-17
ATE434216T1 (de) 2009-07-15
DE602005014970D1 (de) 2009-07-30
US20080263506A1 (en) 2008-10-23
WO2005106649A3 (en) 2006-03-23
DK1749264T3 (da) 2009-10-19
GB0410047D0 (en) 2004-06-09
ES2334041T3 (es) 2010-03-04

Similar Documents

Publication Publication Date Title
HK1104100A1 (en) An analytical software design system
WO2004099925A3 (en) Performance modeling for information systems
WO2006020654A3 (en) System and method for generating production-quality data to support software testing
WO2007035702A3 (en) System and method for transforming graphical models
WO2004044797A3 (en) Software simulator generated from a hardware description
WO2004111764A3 (en) Computer language translation system and method of converting procedural computer language software to object-oriented computer language software
KR20130122853A (ko) 원자력발전소 훈련용 시뮬레이터의 실시간 중대사고 모의 시스템 및 그 방법
EP1916666A3 (en) Method and system for designing a nuclear reactor core for uprated power operations
WO2005119506A3 (en) Computer system for data manipulation and related methods
WO2008005637A3 (en) Hybrid assessment tool, and systems and methods of quantifying risk
WO2005048108A3 (en) System, method, and computer program product for testing program code
Teyssier RAMSES: A new N-body and hydrodynamical code
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
Zakrzewski et al. Competition Between Phase Separation and Photopolymerization Kinetics During Polymeric Network Development
Saxena SAVED21cm: Global 21cm signal extraction pipeline
Buskirk et al. A Realistic Analytic Model for Complete Gravitational Wave Templates
Gustafson et al. Simulations of Real Time Scattering in the 1D Quantum Ising Model
Beuche et al. Variant management for embedded software product lines with pure:: consul and aspectc++
Papacharalampous et al. Multi-step ahead streamflow forecasting for the operation of hydropower reservoirs
Werth et al. How Many Realizations Are Needed to Detect a Significant Change in Simulations of the Global Climate?
WO2007075489A3 (en) Simulating execution of processor instructions
Yun et al. A Fast Method to Predict Distributions of Binary Black Hole Masses Based on Gaussian Process Regression
TW200725347A (en) System and method for designing assembling bicycle

Legal Events

Date Code Title Description
PC Patent ceased (i.e. patent has lapsed due to the failure to pay the renewal fee)

Effective date: 20210505