Yahalomit Simionovici

Person

Moshav Kerem Maharal, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Using traceability links strength for software development integrit...
- Patent number 9,292,410
- Issue date Mar 22, 2016
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstracting benefit rules from computer code
- Patent number 9,152,415
- Issue date Oct 6, 2015
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Determining functional design/requirements coverage of a computer code
- Patent number 8,972,938
- Issue date Mar 3, 2015
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enhancing functional tests coverage using traceability and static a...
- Patent number 8,954,936
- Issue date Feb 10, 2015
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstracting benefit rules from computer code
- Patent number 8,468,512
- Issue date Jun 18, 2013
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ABSTRACTING BENEFIT RULES FROM COMPUTER CODE
- Publication number 20130247002
- Publication date Sep 19, 2013
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Generating Policy Summaries From Logic Code
- Publication number 20130246080
- Publication date Sep 19, 2013
- International Business Machines Corporation
- Aharon Abadi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING TRACEABILITY LINKS STRENGTH FOR SOFTWARE DEVELOPMENT INTEGRIT...
- Publication number 20130117725
- Publication date May 9, 2013
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE
- Publication number 20130074039
- Publication date Mar 21, 2013
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC A...
- Publication number 20130067436
- Publication date Mar 14, 2013
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC A...
- Publication number 20110271253
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE
- Publication number 20110271252
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ABSTRACTING BENEFIT RULES FROM COMPUTER CODE
- Publication number 20110107315
- Publication date May 5, 2011
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SERVICE IDENTIFICATION FOR RESOURCES IN A COMPUTING ENVIRONMENT
- Publication number 20110055373
- Publication date Mar 3, 2011
- International Business Machines Corporation
- Jonathan Bnayahu
- G06 - COMPUTING CALCULATING COUNTING

Yahalomit Simionovici

Person

Patents Grantslast 30 patents

Using traceability links strength for software development integrit...

Abstracting benefit rules from computer code

Determining functional design/requirements coverage of a computer code

Enhancing functional tests coverage using traceability and static a...

Abstracting benefit rules from computer code

Patents Applicationslast 30 patents

ABSTRACTING BENEFIT RULES FROM COMPUTER CODE

Generating Policy Summaries From Logic Code

USING TRACEABILITY LINKS STRENGTH FOR SOFTWARE DEVELOPMENT INTEGRIT...

DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE

ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC A...

ENHANCING FUNCTIONAL TESTS COVERAGE USING TRACEABILITY AND STATIC A...

DETERMINING FUNCTIONAL DESIGN/REQUIREMENTS COVERAGE OF A COMPUTER CODE

ABSTRACTING BENEFIT RULES FROM COMPUTER CODE

SERVICE IDENTIFICATION FOR RESOURCES IN A COMPUTING ENVIRONMENT