This inventor holds 5 USPTO granted patents. Top assignee: International Business Machines Corporation. Active years: 2009-2013.
Location History:
- Tokyo, JP (2009 - 2010)
- Machida, JP (2010)
- Miyagi, JP (2013)
Company Filing History:
Years Active: 2009-2013
Title: Naoshi Tabuchi: Innovator in Computer Programming Validity
Introduction
Naoshi Tabuchi is a notable inventor based in Machida, Japan. He has made significant contributions to the field of computer programming, particularly in the area of string validity and screen specification. With a total of 5 patents to his name, Tabuchi's work has had a meaningful impact on software development and validation processes.
Latest Patents
One of Tabuchi's latest patents is a system, method, and program for determining the validity of a string generated by a computer programming language program. This innovative method involves abstracting constraints between variables extracted from source code, describing these constraints in M2L, and evaluating the validity of the string using an M2L solver. This process helps determine whether the string is safe or unsafe.
Another significant patent focuses on determining whether a plurality of screens displayed by a program satisfies a specification without executing the program. This system stores schemas that prescribe specifications for screens and generates an intermediate program to calculate the set of screens displayed in response to events. It ensures that the screens meet the required specifications, enhancing the reliability of software applications.
Career Highlights
Naoshi Tabuchi is currently employed at International Business Machines Corporation (IBM), where he continues to innovate and develop new technologies. His work at IBM has allowed him to collaborate with other talented professionals in the field, further advancing the state of computer programming.
Collaborations
Some of his notable coworkers include Takaaki Tateishi and Hiroaki Nakamura. Their collaborative efforts contribute to the innovative environment at IBM, fostering advancements in technology and software development.
Conclusion
Naoshi Tabuchi's contributions to the field of computer programming through his patents and work at IBM highlight his role as a significant inventor. His innovative methods for determining string validity and screen specifications are paving the way for more reliable software solutions.