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

    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements 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/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines
IN1330CH2014 2014-03-13 2014-03-13 IN2014CH01330A (fr)

Priority Applications (2)

Application Number Priority Date Filing Date Title
IN1330CH2014 IN2014CH01330A (fr) 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 (fr) 2014-03-13 2014-03-13

Publications (1)

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

Family

ID=54068955

Family Applications (1)

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

Country Status (2)

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

Families Citing this family (7)

* 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
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
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
CN112114897B (zh) * 2020-09-04 2022-03-01 珠海格力电器股份有限公司 基于工控屏的参数配置方法、装置和计算机设备
CN114817067B (zh) * 2022-05-25 2022-09-02 云账户技术(天津)有限公司 一种自动mock测试的方法及装置

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2001053841A1 (fr) 2000-01-24 2001-07-26 Fluor Corporation Simulation, test et formation d'operateurs pour un systeme de commande
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 (fr) 2004-03-10 2006-11-29 Renault s.a.s. Méthode de validation des systèmes intégrés
US20070266366A1 (en) * 2006-05-12 2007-11-15 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 (fr)
PH12018501159A1 (en) Composition and methods for immunooncology
MX2017003189A (es) Metodos de gestion de salud y bienestar y sistemas utiles para la practica de los mismos.
MX2018006148A (es) Inhibidores de cxcr2.
MX2015014699A (es) Un método y aparato para identificar y comunicar ubicaciones.
MX2018006880A (es) Sistemas de conexion de viga-con-columna y armazones de resistencia de momento de fuerzas que incluyen los mismos.
SG10201403477WA (en) Method, System and Computer Program for Generating Electronic Checklists
MY190659A (en) Method for producing biohydrocarbons
MX2016009291A (es) Método para la producción de arilpropenos.
MX2021007245A (es) Microorganismos para la produccion de putrescina u ornitina y procedimiento para la produccion de putrescina u ornitina usando los mismos.
GB2548503B (en) System for generating an output file
MX2020004014A (es) Sistema optimizado de protocolo de seguridad de cabecera.
MX2015015151A (es) Metodo para producir 4-hidroxi-4-metil-tetrahidropiranos 2-sustituidos, donde dicho proceso usa reciclado.
MY177465A (en) A microorganism of the genus escherichia producing l-tryptophan and a method for producing l-tryptophan using the same
EP3570190A4 (fr) Procédé d'analyse de déclaration pour une déclaration de base de données
MX2017011389A (es) Proceso para la preparacion de 3-cloro-2-vinilfenilsulfonatos.
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
MX2016017367A (es) Dioxido de zirconio, producto refractario, uso de dioxido de zirconio, procedimiento para la fabricacion de un producto refractario asi como un producto refractario fabricado mediante el mismo.
TW201613315A (en) Network grouping system and the network grouping method thereof
MX2019001763A (es) Metodo para preparar derivados de estireno sustituidos.
MX2017013222A (es) Derivados de acido (s)-2'-vinil-abscisico.
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) Способ разложения материала биомассы, содержащего лигноцеллюлозу