Search

Steven P C Bucuvalas

age ~69

from Bernalillo, NM

Get Report
Also known as:
  • Steven P Bucuvalas
  • Steven V Bucuvalas
  • Steven C Bucuvalas
  • Stephen P Bucuvalas
  • Steven Peter Bucuvalas
  • Steven S
Connected to:

Steven Bucuvalas Phones & Addresses

  • Bernalillo, NM
  • Placitas, NM
  • Buffalo Creek, CO
  • 30250 Chalet Cir, Pine, CO 80470 • 3038383701
  • Pembroke, MA
  • Mount Airy, MD
  • Littleton, CO
  • Evergreen, CO
  • PO Box 323, Buffalo Creek, CO 80425

Work

  • Position:
    Production Occupations

Education

  • Degree:
    Associate degree or higher

Us Patents

  • Quality Assurance Tools For Use With Source Code And A Semantic Model

    view source
  • US Patent:
    20110283260, Nov 17, 2011
  • Filed:
    Aug 29, 2008
  • Appl. No.:
    12/675198
  • Inventors:
    Steven Bucuvalas - Buffalo Creek CO, US
  • Assignee:
    IOSEMANTICS, LLC - Buffalo Creek CO
  • International Classification:
    G06F 9/44
  • US Classification:
    717124
  • Abstract:
    Tools that provide quality assurance to improve the efficiency of developing software using a Finite Input Output Semantic Model (FIOSM, or herein referred to as a Semantic Model (SM) or Semantic Model Program) and automated reasoning services compatible with a semantic model. Exemplary embodiments of the tools allow a user to validate a semantic model and its related source software system and executable, while providing the enormous benefit of automating the quality assurance process. Instead of rigorous manual analysis of code to determine where a problem resides, the tools, through their relationship with the semantic model, visualize for the user on a display or in another tangible media where in the source software system a problem(s) resides.

  • Generating And Utilizing Finite Input Output Models, Comparison Of Semantic Models And Software Quality Assurance

    view source
  • US Patent:
    20070266366, Nov 15, 2007
  • Filed:
    Mar 29, 2007
  • Appl. No.:
    11/693491
  • Inventors:
    Steven Bucuvalas - Buffalo Creek CO, US
  • Assignee:
    ioSemantics, LLC - Buffalo Creek CO
  • International Classification:
    G06F 9/44
  • US Classification:
    717104
  • Abstract:
    Aspects of the invention relate generally to software, and more specifically to one or more specifically to software development, FIOSM creation, comparison and subsumption in a software environment and software quality assurance. An exemplary embodiment includes the processes of: (i) designing and verifying that a computer language can completely and correctly generate a Finite Input-Output Semantic Model (FIOSM); and (ii) generating, typically using automation, a FIOSM for a program or system of several programs written in a FIOSM-compatible language.

  • Machine-Based Normalization Of Machine Instructions

    view source
  • US Patent:
    20180143814, May 24, 2018
  • Filed:
    May 11, 2016
  • Appl. No.:
    15/572926
  • Inventors:
    - Golden CO, US
    Steven BUCUVALAS - Golden CO, US
  • International Classification:
    G06F 8/51
    G06F 8/72
    G06F 8/75
  • Abstract:
    Computer source code maintenance represents a significant aspect of computer systems. Code that was developed for one platform, in one language, may require a significant investment in human effort to port such code to another platform or language. Converting source code to a language-agnostic source code allows a user to view the interaction of various portions of the source code in a unified view. Additionally, the language-agnostic source code may be automatically regenerated by a processor to a different platform or language. As a further benefit, documentation, standards-compliance, security, and/or other non-functional requirements may be provided to further enhance the utility of the original source code.

  • Generating And Utilizing Finite Input Output Models, Comparison Of Semantic Models And Software Quality Assurance

    view source
  • US Patent:
    20160170859, Jun 16, 2016
  • Filed:
    Feb 16, 2016
  • Appl. No.:
    15/044728
  • Inventors:
    - Golden CO, US
    Steven BUCUVALAS - Golden CO, US
  • International Classification:
    G06F 11/36
    G06F 9/45
  • Abstract:
    Aspects of the invention relate generally to software, and more specifically to one or more specifically to software development, FIOSM creation, comparison and subsumption in a software environment and software quality assurance. An exemplary embodiment includes the processes of: (i) designing and verifying that a computer language can completely and correctly generate a Finite Input-Output Semantic Model (FIOSM); and (ii) generating, typically using automation, a FIOSM for a program or system of several programs written in a FIOSM-compatible language.
Get Report for Steven P C Bucuvalas from Bernalillo, NM, age ~69
Control profile