IN2014CH01330A - - Google Patents

Download PDF

Info

Publication number
IN2014CH01330A
IN2014CH01330A IN1330CH2014A IN2014CH01330A IN 2014CH01330 A IN2014CH01330 A IN 2014CH01330A IN 1330CH2014 A IN1330CH2014 A IN 1330CH2014A IN 2014CH01330 A IN2014CH01330 A IN 2014CH01330A
Authority
IN
India
Prior art keywords
statefiow
software requirements
blocks
software
create
Prior art date
Application number
Other languages
English (en)
Inventor
Bera Dr Padmalochan
Pasala Anjaneyulu
Original Assignee
Infosys Ltd
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 Infosys Ltd filed Critical Infosys Ltd
Priority to IN1330CH2014 priority Critical patent/IN2014CH01330A/en
Priority to US14/614,278 priority patent/US9965252B2/en
Publication of IN2014CH01330A publication Critical patent/IN2014CH01330A/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/10Requirements analysis; Specification techniques
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/448Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498Finite state machines

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)
IN1330CH2014 2014-03-13 2014-03-13 IN2014CH01330A (enrdf_load_stackoverflow)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN1330CH2014 IN2014CH01330A (enrdf_load_stackoverflow) 2014-03-13 2014-03-13
US14/614,278 US9965252B2 (en) 2014-03-13 2015-02-04 Method and system for generating stateflow models from software requirements

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IN1330CH2014 IN2014CH01330A (enrdf_load_stackoverflow) 2014-03-13 2014-03-13

Publications (1)

Publication Number Publication Date
IN2014CH01330A true IN2014CH01330A (enrdf_load_stackoverflow) 2015-09-18

Family

ID=54068955

Family Applications (1)

Application Number Title Priority Date Filing Date
IN1330CH2014 IN2014CH01330A (enrdf_load_stackoverflow) 2014-03-13 2014-03-13

Country Status (2)

Country Link
US (1) US9965252B2 (enrdf_load_stackoverflow)
IN (1) IN2014CH01330A (enrdf_load_stackoverflow)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10007594B2 (en) * 2015-07-21 2018-06-26 International Business Machines Corporation Proactive cognitive analysis for inferring test case dependencies
CN106445645B (zh) * 2016-09-06 2019-11-26 北京百度网讯科技有限公司 用于执行分布式计算任务的方法和装置
US11620454B2 (en) 2020-02-05 2023-04-04 Hatha Systems, LLC System and method for determining and representing a lineage of business terms and associated business rules within a software application
US11288043B2 (en) * 2020-02-05 2022-03-29 Hatha Systems, LLC System and method for creating a process flow diagram which incorporates knowledge of the technical implementations of flow nodes
US11836166B2 (en) 2020-02-05 2023-12-05 Hatha Systems, LLC System and method for determining and representing a lineage of business terms across multiple software applications
CN112114897B (zh) * 2020-09-04 2022-03-01 珠海格力电器股份有限公司 基于工控屏的参数配置方法、装置和计算机设备
CN114817067B (zh) * 2022-05-25 2022-09-02 云账户技术(天津)有限公司 一种自动mock测试的方法及装置
CN118778862A (zh) * 2024-07-04 2024-10-15 北京面壁智能科技有限责任公司 基于图文操作示范下流程的创建方法以及设备

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003528372A (ja) 2000-01-24 2003-09-24 フルー・コーポレイシヨン 制御システムのシミュレーション、試験、およびオペレータ訓練
GB0113946D0 (en) 2001-06-08 2001-11-14 Secr Defence Automatic Development of Software Codes
US7228524B2 (en) * 2002-12-20 2007-06-05 The Boeing Company Method and system for analysis of software requirements
EP1725960A2 (en) 2004-03-10 2006-11-29 Renault s.a.s. A validation method for embedded systems
WO2008143660A1 (en) * 2006-05-12 2008-11-27 Iosemantics, Llc Generating and utilizing finite input output models, comparison of semantic models and software quality assurance
US7934194B2 (en) * 2006-10-17 2011-04-26 The Mathworks, Inc. User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment
US7668860B2 (en) * 2007-04-02 2010-02-23 Business Objects Software Ltd. Apparatus and method for constructing and using a semantic abstraction for querying hierarchical data
US8280713B2 (en) 2007-04-16 2012-10-02 International Business Machines Corporation Automatic generation of test suite for processor architecture compliance
US8271943B2 (en) 2007-04-24 2012-09-18 National Instruments Corporation Automatically generating a graphical program with a plurality of models of computation
US10223246B2 (en) * 2012-07-30 2019-03-05 Infosys Limited System and method for functional test case generation of end-to-end business process models

Also Published As

Publication number Publication date
US9965252B2 (en) 2018-05-08
US20150261505A1 (en) 2015-09-17

Similar Documents

Publication Publication Date Title
IN2014CH01330A (enrdf_load_stackoverflow)
MX2025006476A (es) Composiciones y metodos para oncologia inmunologica
MX2017003189A (es) Metodos de gestion de salud y bienestar y sistemas utiles para la practica de los mismos.
MX364994B (es) Un método y aparato para identificar y comunicar ubicaciones.
SG10201403477WA (en) Method, System and Computer Program for Generating Electronic Checklists
MX2018006880A (es) Sistemas de conexion de viga-con-columna y armazones de resistencia de momento de fuerzas que incluyen los mismos.
MY190659A (en) Method for producing biohydrocarbons
MX2016009291A (es) Método para la producción de arilpropenos.
GB2548503B (en) System for generating an output file
MX2020004014A (es) Sistema optimizado de protocolo de seguridad de cabecera.
MX376491B (es) Metodo para producir 4-hidroxi-4-metil-tetrahidropiranos 2-sustituidos, donde dicho proceso usa reciclado.
FI20145305A7 (fi) Proteiinituotteet ja menetelmät niiden valmistamiseksi
MY177465A (en) A microorganism of the genus escherichia producing l-tryptophan and a method for producing l-tryptophan using the same
EA201692571A1 (ru) Порошкообразная эмульсия для кормов для животных
MX353711B (es) Sistemas, métodos y dispositivos de comunicaciones electrónicas que tienen pérdida incrementada de información.
TW201614604A (en) A traffic control cloud system
PH12017501869A1 (en) (s)-2'-vinyl-abscisic acid derivatives
EA201692246A1 (ru) Способ получения 2,6-диметилбензохинона
MY188557A (en) Lipid comprising docosapentaenoic acid
TW201613315A (en) Network grouping system and the network grouping method thereof
MX2020003611A (es) Metodos de refuerzo del pozo.
GB2532853A (en) Methods and systems for managing node
MX2019001763A (es) Metodo para preparar derivados de estireno sustituidos.
MY175821A (en) Microorganism having ability to produce o-succinylhomoserine or succinic acid, and method for producing succinic acid or o-succinylhomoserine by using same
EA201791620A1 (ru) Способ разложения материала биомассы, содержащего лигноцеллюлозу