A description is given of the ADISSA methodology for the architectural design of information systems, which extends structured analysis methodology and utilizes modified hierarchical data-flow diagrams (DFDs). This pe...
详细信息
ISBN:
(纸本)0818689722
A description is given of the ADISSA methodology for the architectural design of information systems, which extends structured analysis methodology and utilizes modified hierarchical data-flow diagrams (DFDs). This permits design of the major system components: a menu-tree interface, the system transaction, the input-output schema, and the database schema. ADISSA PC-based tools support the methodology and assist the analyst/designer in carrying out the various stages and tasks. The tools include: a DFD drawer, a DFD analyzer, a menu-tree designer, a transactions designer, a data dictionary, and a data-store-to-database-scheme connector.
A method for specification of management information systems and a computer-aided tool for its implementation are presented. The method combines two dominant approaches, representing two different points of view of th...
详细信息
ISBN:
(纸本)0818689722
A method for specification of management information systems and a computer-aided tool for its implementation are presented. The method combines two dominant approaches, representing two different points of view of the specification process: data modeling, as reflected in the entity-relationship approach, and structured analysis. The method is implemented with a computer-aided tool, the Combined Specification System (CSS). CSS has the following goals: (1) supporting and guiding the system analyst in the steps of the specification process, while managing a user (system analyst)-system dialog;(2) organizing the accumulated information systematically, while cross checking for preciseness, completeness, consistency, and nonredundancy of the data;and (3) producing documentation that is simple and understandable by the end-user of the information system, yet comprehensive and concise for the system implementation. The method has been tested in the framework of an academic course on developing management information systems.
Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, ar...
详细信息
ISBN:
(纸本)0818689722
Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communicati...
详细信息
ISBN:
(纸本)0818689722
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communication mechanism that allows transparent distribution in networked systems. Fault tolerance is provided through replication and consistency-control mechanisms. MARUTI supports guaranteed-service scheduling, in which jobs that are accepted by the system are verified to satisfy general time constraints. Guaranteed-service scheduling means that, given a job with a set of service requirements and time constraints, the system automatically verifies the existence of a feasible schedule for each of the job components with respect to the job's constraints and those of other jobs in the system. These time constraints include those that govern interrupt processing, which allows the MARUTI approach to succeed where more rigorous approaches do not. The result is that MARUTI applications can be executed in a predictable, deterministic fashion.
A knowledge-based system (COMEX) is presented which replaces or augments the human operator of a communication station in a multilink, multidrop communication network. The system accepts some preliminary information f...
详细信息
ISBN:
(纸本)0818689722
A knowledge-based system (COMEX) is presented which replaces or augments the human operator of a communication station in a multilink, multidrop communication network. The system accepts some preliminary information from a human operator, from utility programs running on the same processor, and from external sensors. The system comprises an expert system that operates on three distinct knowledge bases in order to reach an optimal solution for the communication problem. COMEX is written in Turbo Pascal and runs on an IBM-compatible PC, which functions as the communication station controller. When used in a fully automatic mode, it performs efficiently all the functions of an experienced and expert operator, equipment parameters selection and setting, and complete message handling.
In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, pp. 340-346, Oct. 1987). Contrary to other models, the author's model was...
详细信息
ISBN:
(纸本)0818689722
In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, pp. 340-346, Oct. 1987). Contrary to other models, the author's model was a comprehensive birth-death model that was triggered by faults introduced through code submission. The repair process removed the detected defects while reintroducing new defects at a certain rate. Homogeneous statistical distributions were used to produce the model. In the present study, two important improvements are introduced, namely, the concepts of time-varying test coverage and of time-varying defect repair intensity. The test coverage and the repair intensity are increasing functions of the software coverage by the test program and the resource availability for defect repairs, respectively. The modeling of these two concepts provides a better tie of the model to reality. Nonhomogeneous distributions provide the necessary mathematical tool.
The SunPict environment supports interactive graphical composition and execution of procedural programs. It is able to effectively handle larger user programs than its predecessors, thanks to a combination of (a) effi...
详细信息
ISBN:
(纸本)0818689722
The SunPict environment supports interactive graphical composition and execution of procedural programs. It is able to effectively handle larger user programs than its predecessors, thanks to a combination of (a) efficient algorithms which underlie the implementation, and (b) careful use of traditional visual elements such as color and animation in conjunction with many novel features (including, for example, supplementing textual variable names with simple icons that convey type information, and allowing the runtime action associated with an icon to be specified by means of either an iconic SunPict subprogram or textual code written in a simple Lisp-like dialect). The authors concentrate on the user's view of SunPict. An overview of the environment within the context of previous work is followed by several detailed examples which illustrate what it is like to work in the system. Plans for future enhancements are discussed.
The author discusses software-engineering hypertext environments (SEHE), which offer a viable information management medium for organizing, structuring, retrieving, and processing the complex networks of software obje...
详细信息
ISBN:
(纸本)0818619090
The author discusses software-engineering hypertext environments (SEHE), which offer a viable information management medium for organizing, structuring, retrieving, and processing the complex networks of software object descriptions that arise within large softwareengineering projects. SEHE represent the merger of hypertext systems with an ensemble of softwareengineering tools, techniques, and strategies. An organizational knowledge-based SEHE codifies and configures a software application's domain agents, objects, attributes, relations, constraints, tasks/processes, transaction event rules, mechanisms, and resources into the information structures that are woven together to form a software hypertext. Accordingly, the author describes briefly how such a knowledge-based SEHE can be utilized in a large development project.
The proceedings contains 106 papers, six in abstract form only. The following topics are dealt with: microprocessors;parallel processing systems and software tools;information storage technology;distributed systems;so...
详细信息
ISBN:
(纸本)0818619090
The proceedings contains 106 papers, six in abstract form only. The following topics are dealt with: microprocessors;parallel processing systems and software tools;information storage technology;distributed systems;software;high performance computers and visualization;systems issues/education;legal and business issues;softwareengineering;logic synthesis;emerging workstations;systems design issues;and neural networks/animation.
Object-oriented database management system technology provides a set of capabilities which are required by computer integrated softwareengineeringsystems. The authors' objective is to take advantage of this tech...
详细信息
ISBN:
(纸本)0818619090
Object-oriented database management system technology provides a set of capabilities which are required by computer integrated softwareengineeringsystems. The authors' objective is to take advantage of this technology and develop computer integrated softwareengineeringsystems that support complete user-defined life cycles with uniform interface and logically centralized database support. They have built tools to generate object-oriented databases that represent the syntax and some of the semantics of programs. These tools are being used to develop a software-maintenance and reverse-engineering system. The authors present an overview of their prototype system and tools.
暂无评论