IN2013MU02051A - - Google Patents

Info

Publication number
IN2013MU02051A
IN2013MU02051A IN2051MU2013A IN2013MU02051A IN 2013MU02051 A IN2013MU02051 A IN 2013MU02051A IN 2051MU2013 A IN2051MU2013 A IN 2051MU2013A IN 2013MU02051 A IN2013MU02051 A IN 2013MU02051A
Authority
IN
India
Prior art keywords
software product
consistency
configuration elements
configuration
assessment
Prior art date
Application number
Other languages
English (en)
Inventor
Nistala Venkata Padmalata
Priyanka Kumari
Narayana Guru Prasada Lakshmi Mandaleeka
Original Assignee
Tata Consultancy Services 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 Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Publication of IN2013MU02051A publication Critical patent/IN2013MU02051A/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/063—Operations research, analysis or management
    • G06Q10/0633—Workflow analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G06F11/3608—Analysis of software for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Business, Economics & Management (AREA)
  • General Engineering & Computer Science (AREA)
  • Human Resources & Organizations (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Economics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Strategic Management (AREA)
  • Computer Hardware Design (AREA)
  • Educational Administration (AREA)
  • General Business, Economics & Management (AREA)
  • Tourism & Hospitality (AREA)
  • Operations Research (AREA)
  • Marketing (AREA)
  • Game Theory and Decision Science (AREA)
  • Development Economics (AREA)
  • Stored Programmes (AREA)
IN2051MU2013 2013-05-14 2013-06-17 IN2013MU02051A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US13/893,824 US9128640B2 (en) 2013-05-14 2013-05-14 Software product consistency assessment

Publications (1)

Publication Number Publication Date
IN2013MU02051A true IN2013MU02051A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) 2015-09-25

Family

ID=49084776

Family Applications (1)

Application Number Title Priority Date Filing Date
IN2051MU2013 IN2013MU02051A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) 2013-05-14 2013-06-17

Country Status (3)

Country Link
US (1) US9128640B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
EP (1) EP2804138A1 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
IN (1) IN2013MU02051A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9128640B2 (en) * 2013-05-14 2015-09-08 Tata Consultancy Services Limited Software product consistency assessment
US12010076B1 (en) * 2023-06-12 2024-06-11 Microsoft Technology Licensing, Llc Increasing security and reducing technical confusion through conversational browser

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7958494B2 (en) * 2007-04-13 2011-06-07 International Business Machines Corporation Rapid on-boarding of a software factory
US8595044B2 (en) * 2008-05-29 2013-11-26 International Business Machines Corporation Determining competence levels of teams working within a software
US8321850B2 (en) * 2008-06-06 2012-11-27 Vmware, Inc. Sharing and persisting code caches
US20100023920A1 (en) * 2008-07-22 2010-01-28 International Business Machines Corporation Intelligent job artifact set analyzer, optimizer and re-constructor
US8543985B2 (en) * 2009-07-07 2013-09-24 Nec Laboratories America, Inc. System and method for verification of programs using threads having bounded lock chains
US8762929B2 (en) * 2010-12-16 2014-06-24 Sap Ag System and method for exclusion of inconsistent objects from lifecycle management processes
US8656365B2 (en) * 2011-09-01 2014-02-18 Infosys Limited Systems, methods, and computer-readable media for measuring quality of application programming interfaces
US9128640B2 (en) * 2013-05-14 2015-09-08 Tata Consultancy Services Limited Software product consistency assessment

Also Published As

Publication number Publication date
US20140344774A1 (en) 2014-11-20
EP2804138A1 (en) 2014-11-19
US9128640B2 (en) 2015-09-08

Similar Documents

Publication Publication Date Title
MX360928B (es) Auto-calendario.
EP3787734A4 (en) Wearable, ergonomic neurostimulation system
GB2514275A (en) Identifying and ranking solutions from multiple data sources
MX345269B (es) Sistema de vista general para una excavadora.
MX2020004853A (es) Sistema de informe de prueba de bateria y metodo.
BR112017018133A2 (pt) "sistemas e métodos para coordenar o processamento de dados por múltiplos recursos de computação em rede, e meio legível por computador."
PH12016502125A1 (en) System and method for managing supply of service
TR201910636T4 (tr) Bir aerosol - üretici sistem için kartuş ve cihaz.
EP3747358A3 (en) Use of electroretinography (erg) for the assessment of psychiatric disorders
IN2013CH05400A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
MX373083B (es) Sistemas y métodos para dispositivos de almacenamiento portátiles.
PH12016000106B1 (en) Ticket solver system
HK1220281A1 (zh) 用於交易管理的專題式儲存庫
GB2549614A (en) Auditing of web-based video
BR112017012228A2 (pt) técnicas de monitoramento de funções de rede virtualizadas ou infraestrutura de virtualização de funções de rede
WO2014120583A3 (en) Activity graphs
BR112015027580A2 (pt) Método e sistema para apresentar dados em um formato escalonável
SE1751327A1 (en) System and method for optical inspection of an object
MX2016010227A (es) Recomendacion de intervencion para sitios de pozo.
GB2559069A (en) Data Analytics system
MX2022008108A (es) Sistema inteligente de carrete de cable.
UY36955A (es) Plataforma de pesaje de un animal y proceso de pesaje de un animal
WO2019027829A3 (en) Multi-device synchronization for immersive experiences
IN2013MU02051A (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html)
TW201711736A (en) Information distribution methods, computer readable media, and information distribution servers