Specification document creation system and non-transitory computer-readable recording medium

    公开(公告)号:US11630643B2

    公开(公告)日:2023-04-18

    申请号:US17700572

    申请日:2022-03-22

    申请人: FUJITSU LIMITED

    摘要: Provided is a specification document creation system including a first computer and a second computer, wherein the first computer is configured to generate, based on configuration information, display data for displaying a first display item, which is determined by the configuration information, of a BIOS on a display device, the configuration information indicating a hardware configuration of the first computer, and analyze the display data to generate first information including the first display item included in the display data, and the second computer is configured to analyze a source code of the BIOS to generate second information including a second display item, which is determined independently of the hardware configuration of the first computer, of the BIOS, and create a specification document for the BIOS in which the first display item included in the first information and the second display item included in the second information are described.

    CHECKING SOURCE CODE VALIDITY AT TIME OF CODE UPDATE

    公开(公告)号:US20230114540A1

    公开(公告)日:2023-04-13

    申请号:US17931678

    申请日:2022-09-13

    IPC分类号: G06F8/41 G06F8/30

    摘要: A computer-implemented method includes receiving, by a processor, an updated version of a computer program that includes several source code changes. A compiler preprocesses the source code changes for a target computing platform. The preprocessing includes identifying a compile time condition associated with one or more computer instructions enclosed by a macro, determining a current value of the compile time condition at the time of compiling, and determining corresponding object code based on the current value. Further, a macro information record for the macro is generated that includes the compile time condition, the current value, and an identification of the computer instructions. Further, a linker preprocesses the source code changes. This preprocessing includes determining that the object code is not included in an executable file, and updating the macro information record to indicate that the macro is not included in the executable file.

    Transparent and Controllable Human-Ai Interaction Via Chaining of Machine-Learned Language Models

    公开(公告)号:US20230112921A1

    公开(公告)日:2023-04-13

    申请号:US17957526

    申请日:2022-09-30

    申请人: Google LLC

    IPC分类号: G06F8/35 G06F8/30 G06F8/34

    摘要: The present disclosure provides to transparent and controllable human-AI interaction via chaining of machine-learned language models. In particular, although existing language models (e.g., so-called “large language models” (LLMs)) have demonstrated impressive potential on simple tasks, their breadth of scope, lack of transparency, and insufficient controllability can make them less effective when assisting humans on more complex tasks. In response, the present disclosure introduces the concept of chaining instantiations of machine-learned language models (e.g., LLMs) together, where the output of one instantiation becomes the input for the next, and so on, thus aggregating the gains per step.

    Output prefix specification transformers

    公开(公告)号:US11620115B2

    公开(公告)日:2023-04-04

    申请号:US16827368

    申请日:2020-03-23

    摘要: Systems, methods, and computer-executable instructions for synthesizing programs using a prefix of an output. A specification of a task to synthesize a program in a domain specific language (DSL) is received. The specification includes an input and a corresponding prefix of the output. Programs for the task are synthesized. The synthesizing includes generating sub-goals based on the specification. Each of the synthesized programs include a solved subset of sub-goals and each sub-goal includes a symbol in the DSL. The symbol is transformed based on the DSL. The sub-goals are solved based on the transforming of the symbol using the input and the corresponding prefix of the output to generate the synthesized programs. The prefix of the output matches a prefix of an output from each of the plurality of synthesized programs.

    DECENTRALIZED APPLICATION DEVELOPMENT AND DEPLOYMENT

    公开(公告)号:US20230098725A1

    公开(公告)日:2023-03-30

    申请号:US17489583

    申请日:2021-09-29

    IPC分类号: G06F8/30 G06F8/60 G06F9/445

    摘要: Decentralized development and deployment of applications is described. An application may be defined as being composed of multiple code libraries, each independently developed and deployed. Packagers of individual code libraries may deploy various versions of respective code libraries in multiple code cells and may further define cell selection criteria for the libraries. An application manifest may be constructed identifying the component code libraries with optional version selection criteria for the libraries. Upon receiving a request for the application for a particular client, a refined manifest for the application may be generated for that client, the refined manifest including identifiers of particular cells for the respective component code libraries. The application may then be generated according to the refined manifest and provided to the client. Subsequent requests for the application for the same client may be serviced according to the refined manifest.

    INTEGRATED APPLICATION DEVELOPMENT SYSTEMS AND METHODS

    公开(公告)号:US20230083894A1

    公开(公告)日:2023-03-16

    申请号:US17903166

    申请日:2022-09-06

    摘要: A system for developing software provides automatically identifies, based on wireframe images, features from a library of features for a custom software application, implements simulations of a plurality of the features available for demonstration through the graphical user interface, stores blocks of source code for each feature in a source code repository wherein the blocks are adapted to provide an actual application when compiled by developers, receives from the client device, by a server running a software building component, one or more selected features for the software application, automatically integrates, by the software building component, the one or more selected features to generate an integrated feature set based on attributes of each of the selected features and an inter-feature rules set, and generates an interactive visualization of a navigable prototype of the software application based on the integrated feature set.

    SYSTEM AND METHOD FOR SOFTWARE DEVELOPMENT INCLUDING COLUMN-BASED PROCESS EDITOR

    公开(公告)号:US20230080336A1

    公开(公告)日:2023-03-16

    申请号:US17992615

    申请日:2022-11-22

    摘要: In accordance with an embodiment, described herein are systems and methods for use with business process management (BPM) systems or environments, including software development tools for developing software applications that are associated with business processes (business process software applications, business process applications, process applications, or processes). In accordance with an embodiment, the system comprises a column-based process editor and graphical user interface, that can utilize a column-based format to model and display a process, for example a dynamic process, which can subsequently be deployed and executed within the system or environment. For example, the column-based process editor and graphical user interface can include various graphical elements to indicate configured properties of artifacts of a dynamic process. Interaction with the graphical elements enables users to review, edit, and/or remove particular properties associated with the dynamic process.

    Dynamic validation framework extension

    公开(公告)号:US11604625B2

    公开(公告)日:2023-03-14

    申请号:US17466913

    申请日:2021-09-03

    发明人: Pavel Bzoch

    IPC分类号: G06F8/30 G06F8/20

    摘要: A programming language framework may be enhanced to provide for dynamic validation. Dynamic validation allows the validator function for any variable to be selected at runtime rather than statically declared at programming-time. Instead of annotating a variable with an annotation that refers to a specific validator function or constraint type, programmers can annotate a variable with an annotation that indicates that the validator function will be selected dynamically at runtime. When a runtime instance of the variable is created, the programming language framework may identify the dynamic validation annotation on the variable, and then use the runtime values in the variable to determine which validator function(s) should be used.

    Blackbox Matching Engine
    10.
    发明申请

    公开(公告)号:US20230077030A1

    公开(公告)日:2023-03-09

    申请号:US18046497

    申请日:2022-10-13

    摘要: A method and apparatus are disclosed for enhancing operable functionality of input source code files from a software program by identifying a first code snippet and a first library function which generate similar outputs from a shared input by parsing each and every line of code in a candidate code snippet to generate a templatized code snippet data structure for the first code snippet, and then testing the templatized code snippet data structure against extracted library function information to check for similarity of outputs between the first code snippet and the first library function in response to a shared input so that the developer is presented with a library function recommendation which includes the first code snippet, the first library function, and instructions for replacing the first code snippet with the first library function.