Abstract: A method, system, and program product for generating and processing application settings for a software application using an application configuration component operating on a computer system. An application settings object containing a plurality of application settings is generated for the software application. The application settings object are serialized and stored into an Extensible Markup Language (XML) application settings file on the computer system. A new instance of the application configuration component is generated. A request is received from the software application for an application settings object for a specific environment and module. If located on the computer system, the XML application settings file is deserialized into the application settings object. Each property of the application settings object is then processed and the application settings object is returned to the software application.

Abstract: A method facilitates development of instructions in a precise syntax, such as built-in functions of a computational system such as a spreadsheet application, using natural language (NL) input. A user may enter NL input in a workspace. An NL processing system may process the NL input to generate instruction(s) in a precise syntax that corresponds to the NL input. The instruction(s) in the precise syntax then may be included in the workspace.

Abstract: Methods and systems are provided that utilize compiler technology in identifying changed critical variables in work assignment code that cause synchronization issues between a master system and another server. The identified changed critical variables are shared by the master server in a high availability environment. In general, the sharing of changed critical variables includes sending, via a master system, changed code or critical variables to a receiving system. The receiving system can implement the changed code or critical variables to maintain synchronization with the master system.

Abstract: Embodiments are directed to methodologies for efficiently sampling data for analysis by a pipeline analysis algorithm. The amount of sampled data is maximized without increasing sampling overhead by sampling “non-pipeline activity” data if the subject pipeline is inactive during the sampling time. The non-pipeline activity data is selected to include overall system information that is relevant to the subject pipeline's performance but is not necessarily dependent on whether the subject pipeline is active. In some embodiments, the non-pipeline activity data allows for confirmation of a pipeline performance characteristic that must otherwise be inferred by the subsequent pipeline analysis algorithm from data sampled while the pipeline was active. In some embodiments, the non-pipeline activity data allows the pipeline analysis algorithm to analyze additional performance characteristics that cannot otherwise be inferred from the data sampled while the pipeline was active.

Abstract: A method is provided for synthesizing a computer program by a hardware processor and a program synthesizer. The method includes representing program components and registers by position set variables and constraints on the position set variables using Monadic Second-Order Logic. The method further includes determining potential combinations of the program components by solving the constraints. The method also includes forming the computer program from at least one of the potential combinations.

Abstract: Systems, methods, and other embodiments associated with transitioning are described. In one embodiment, a method comprises analyzing at least one interface to produce an interface analysis result. The method also comprises causing a transformation of at least one constituent element based, at least in part, on the interface analysis result.

Abstract: In an approach, a virtual machine identifies, within a set of instructions, an instruction to load a constant; identifies, based on the instruction to load the constant, a first entry in a data structure that identifies a particular constant type of the one or more constant types, wherein the first entry specifies at least constant data and a first set of instructions for assembling a value or partial value from the constant data; executes the first set of instructions to assemble the value or the partial value from the constant data; and stores a particular value or a reference to the particular value onto a run-time data structure used to pass values or references between sets of instructions executing in a run-time environment, wherein the particular value is based on the value or the particular value assembled from the constant data.

Abstract: An information processing apparatus that is capable of matching setting values among a plurality of devices of which energization states are controllable independently. A receiving unit a request from an information processor, which is provided with a plurality of devices of which energization states are controllable independently and performs an information process according to set data, for update information about set data concerning a device being in an energized state. A determination unit determines whether the set data concerning the requested update information is relevant to set data concerning a device being in a non-energized state. A control unit controls whether the update information about the set data concerning the device being in the energized state is given in a response according to the determination result by the determination unit and to transmit the response to the information processor.

Abstract: For each statement of an application executing in a debugger script-controlled debugger session, if the statement comprises an authorization check for a user in regard to an object, and if the debugger includes a set of authorization rules associated with the object, then execution of the application is discontinued. Application values for each data field of the object are obtained. These values are compared to respective values specified by each rule of the set of authorization rules. If the current values do not match values specified by at least one of the rules, the authorization check is executed normally. If the current values do match values specified by at least one of the rules, then: the authorization check is skipped, a pass or fail value for the authorization check is registered by the executing application according to the at least one rule, and execution of the application continues normally.

Abstract: A system, method, and computer program product are provided for defining and utilizing minimal testable values for software project development and operations. In operation, a system identifies a software development project. The system defines an initial list of minimal testable values (MTVs) as part of a backlog definition stage associated with a project backlog corresponding to the software development project. The system links the MTVs to the project backlog. The system confirms the MTVs as part of a backlog confirmation stage associated with the software development project. Further, the system maintains the MTVs during a backlog grooming stage associated with the software development project. Moreover, the system certifies the MTVs after each delivery of software associated with the software development project.

Abstract: Corruption of call stacks is detected by using guard words placed in the call stacks. A determination is made as to whether a callee routine is to include corruption detection logic to detect corruption of stacks. Based on determining the callee routine is to include the corruption detection logic, corruption detection logic is provided in the callee routine.

Abstract: Techniques are described herein that are capable of trimming unused dependencies using a package graph and a module graph. For instance, the package graph and the module graph may be traversed to determine whether dependencies of an application are used during execution of the application. A version of the application may be configured to include the dependencies that are used and to not include the dependencies that are not used. For instance, the version of the application may be configured to be utilized at deployment time.

Abstract: Annotation processors defined by a module of a module system are used for processing annotations. Annotation processors defined by a module of a module system may be used with annotation processors defined by non-module code. A predefined deterministic process is used to select annotation processors for processing annotations. The predefined deterministic process imposes an order for searching and/or using annotation processors.

Abstract: A modeling environment is provided allowing a user to generate, from a source representation of a model, a target representation of a model and a listing of the optimization performed during generation of the target representation which is associated with the target representation or the source representation. The model may represent a system, such as a dynamic system. The source representation of the model may be a graphical or textual representation. In some embodiments a user may specify whether to implement the optimization.

Abstract: Embodiments include methods, and adaptive testing systems, and computer program products for performing adaptive testing using one or more system resources of a computer system dynamically determined from a platform on which a test program is executing. Aspects include: test program sending a resource query based on certain criteria to a resource query module to inquire one or more available system resources of computer system, the resource query module using certain operating system commands of computer system to determine appropriate system resources available for use on the computer system, the computer system returning the appropriate system resources determined on the computer system to the resource query module of the test program, the test program deciding one or more system resources that best meet a need of the test program, and the test program performing the adaptive testing on the computer system based on the one or more system resources decided.

Abstract: A device may receive a command to create an object. The object may be associated with representing a set of nodes. A first node, of the set of nodes, may be connected to a second node, of the set of nodes via an edge, of a set of edges. The device may create, based on the command, the object. The object may include a sparse matrix associated with representing the set of nodes and the set of edges. The object may include a first table associated with representing a set of properties associated with the set of nodes. The object may include a second table associated with representing a set of properties associated with the set of edges. The device may store the object.

Abstract: Identification of unmatched registry entries may be provided, by scanning a file system, discovering software, collecting first attribute values of the discovered software, receiving a plurality of filtering rules including a method and an attribute. The attribute may comprise a software-specific condition. The method may further comprise collecting native registry entries comprising second attribute values indicated by said attributes of at least one of said rule, and comparing said first attribute values of said discovered software with related ones of said second attribute values of said collected native registry entries. Then, the native registry entries may be grouped into two groups. The first group represents matched registry entries and the second group represents unmatched registry entries. The unmatched registry entries may be identified as unequivocal entries for further software discovery.

Abstract: A system and method for facilitating execution of a portion of a process via a subprocess. An example method includes encapsulating process logic of a portion of a parent process via the subprocess, wherein the parent process is encoded via a business process language characterized by process lifecycle management functionality; using an instance of a call activity in a scope of the parent process or subprocess to activate the subprocess, yielding a called subprocess in response thereto; and employing a business process runtime engine to adjust a scope of the subprocess to inherit the scope of the process used to call the subprocess, thereby enabling the process lifecycle management functionality to govern a lifecycle of the subprocess. In a more specific embodiment, the business process language includes standard Business Prosecution Execution Language (BPEL); the parent process represents a business process; and the subprocess includes a standalone subprocess.

Abstract: The current application is directed to implementation of crosscutting functionalities, including code instrumentation, error logging, performance monitoring and performance-data logging, and other such crosscutting functionalities. These crosscutting functionalities generally violate, or run counter to, modem code-development strategies and programming-language features that seek to partition logic into hierarchically organized compartments and modules with related functionalities, attribute values, and other common features. In current client/server environments, for certain types of programs distributed by a server to client computers, including programs embedded in files that specify web pages, cross-cutting functionality is encoded in advice included with the programs and distributed to the client computers, which weave the advice into programs prior to or during client-side interpretation of the programs.

Abstract: Workflow test case generation may include receiving an intermediate output of a workflow. The intermediate output of the workflow may reference a plurality of workflow building blocks that provide a specified functionality at each step of the workflow. Workflow definitions of the intermediate output of the workflow may be analyzed to generate a graph structure that represents the workflow. Building block attributes that include an identification of attributes for the plurality of workflow building blocks, and the graph structure may be analyzed to generate building block and attribute information for the workflow. The building block and attribute information and the graph structure may be analyzed to generate test paths for the workflow. The building block and attribute information, the test paths, and a plurality of test case templates may be analyzed to generate test artifacts that include testing to be performed for the workflow.