scispace - formally typeset
Patent

Automatic software production system

José Iborra, +1 more
TLDR
In this article, an automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness, and a translator is provided to automatically generate a complete, robust software application based on the validated formal specification.
Abstract
An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness. In addition, a translator is provided to automatically generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.

read more

Citations
More filters
Patent

System, method, and computer program product for processing and visualization of information

TL;DR: In this paper, real-time monitoring of web site interactions allows users to modify and fine-tune their websites to maximize value realized, including business intelligence, data visualization, data warehousing and data mining.
Patent

Method and apparatus for automatic generation of information system user interfaces

TL;DR: A method and apparatus for the specification and automatic generation of user interfaces of information system (computer programs) is provided in this paper, which is based in pattern language to specify requirements in an unambiguous mode and with precise semantics.
Patent

System and method of dynamic service composition for business process outsourcing

TL;DR: In this article, a system and method for capturing a plurality of business requirements using a Business Process Outsourcing Language (BPOL), an XML representation for expressing business process flow rules, preferences, business rules and event-action mappings as well as service links, is presented.
Patent

System and method for server security and entitlement processing

Paul Patrick
TL;DR: In this article, a pluggable architecture allows security and business logic plugins to be inserted into a security service hosted by a server, and to control access to one or more secured resources on that server, on another server within the security domain, or between security domains.
Patent

Modeling system for graphic user interface

Yuval Gilboa
TL;DR: In this paper, the authors present a modeling system for universal specification of user interfaces, which provides a means for defining user interfaces including highly complex and dynamic user interfaces in a manner that is independent of any implementation context, leading from a user-friendly visual representation of the user interface, through progressively detailed specifications of structural and behavioral aspects of the interface parts, until a rigorous definition of user interface in all its contexts of use is achieved.
References
More filters
Book

Object-Oriented Modeling and Design

TL;DR: This book discusses Object Modeling as a Design Technique, Object Diagram Compiler, and the Future of Object-Oriented Technology.
BookDOI

Model-Based Design and Evaluation of Interactive Applications

TL;DR: Modelling task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that.
Patent

Automatically generated objects within extensible object frameworks and links to enterprise resources

TL;DR: A method for generating source code objects has steps of generating a translation file containing translation logic, inputting the translation file into a code generator, and generating translation source code as a function of the translation files as discussed by the authors.
Patent

Method and apparatus for automatic generation of object oriented code for mapping relational data to objects

TL;DR: In this article, a method and apparatus are provided for using an object model of an object-oriented application to automatically map information between an objectoriented application and a structured database, such as a relational database.
Patent

System to transition an enterprise to a distributed infrastructure

TL;DR: In this article, an automated system transitions an entire enterprise to a distributed infrastructure, including a process for organizing and managing the transition, a multi-tiered client/server architecture that adheres to open systems standards, a system to automate the transition of existing applications to this architecture, and a system for enabling the creation or modification of applications based on this architecture.