物件導向軟體之架構(Object-Oriented Software Construction)探討

A system and method for distributing software applications and data to many thousands of clients over a network. The applications are called "channels", the server is called the "transmitter", and the client is called the "tuner". The use of channels is based on subscription. The end-user needs to subscribe to channel before it can be executed. When the end-user subscribes to a channel the associated code and data is downloaded to the local hard-disk, and once downloaded the channel can be executed many times without requiring further network access. Channels can be updated automatically at regular intervals by the tuner, and as a result the end-user is no longer required to manually install software updates, instead these software and data updates are automatically downloaded and installed in the background. This method of automatic downloading of updates achieves for the client the same result as the broadcast distribution of software over a connection based network, but wherein the client initiates each update request without requiring any special broadcast networking infra structure.

Method for the distribution of code and data updates

Computer Aided Software Engineering (CASE) environments have spread at a lower pace than expected. One reason for this is the immaturity of existing environments in supporting development in-the-large and by-many and their inability to address the varying needs of the software developers. In this paper we report on the development of a next generation CASE environment called MetaEdit+. The environment seeks to overcome all the above deficiencies, but in particular pays attention to catering for the varying needs of the software developers. MetaEdit+ is a multi-method, multi-tool platform for both CASE and Computer Aided Method Engineering (CAME). As a CASE tool it establishes a versatile and powerful multi-tool environment which enables flexible creation, maintenance, manipulation, retrieval and representation of design information among multiple developers. As a CAME environment it offers an easy-to-use yet powerful environment for method specification, integration, management and re-use. The paper explains the motivation for developing MetaEdit+, its design goals and philosophy and discusses the functionality of the CAME tools.

https://link.springer.com/content/pdf/10.1007%2F3-540-61292-0_1.pdf

MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment

Stroboscope: State and resource based simulation of construction processes.

http://eolo.cps.unizar.es/docencia/MasterUPV/Articulos/META-MODELLING%20BASED%20ASSEMBLY%20TECHNIQUES%20FOR%20SITUATIONAL%20METHOD%20ENGINEERING.pdf

Meta-Modelling Based Assembly Techniques for Situational Method Engineering

The theory and practice of compiler writing , The theory and practice of compiler writing , مرکز فناوری اطلاعات و اطلاع رسانی کشاورزی

The Theory and Practice of Compiler Writing

An Introduction to Data Structures with Applications

The use of metasystems, which can automatically generate the major parts of a software-development environment, for computer-aided software (CASE) engineering is discussed. One such system, called Metaview, is considered. Environment definition and tool development using Metaview are examined. >

The Metaview system for many specification environments

1 Propositional Calculus 2 Predicate Calculus 3 Induction and Recursion 4 Prolog 5 Sets and Relations 6 More About Functions 7 Graphs And Trees 8 Formal Requirement Specification in Z 9 Program Correctness Proofs 10 Grammars, Languages, and Parsing 11 Derivations 12 An Overview of Relational Database Systems Bibliography Solutions to Even-numbered Problems Index

Logic and Discrete Mathematics: A Computer Science Perspective

Formal descriptions, while difficult for most human readers to understand, are convenient for specifying large software systems, where completeness and consistency are important issues. Informal specifications can offer advantages in conciseness and readability, but ambiguities and contradictions are an unavoidable side-effect. Since a specification often acts as a formal contract between the software developer and the customer, it is essential that both sides be able to fully understand the specification document. Systems have been proposed which help the software client better understand the specification by automatically paraphrasing it in natural language. The authors describe the architecture of the REVIEW system, which forms a part of the Metaview metasystem for capturing requirements information. Some example natural language outputs are shown for a sample requirements database. >

J.-P. Tremblay

Papers

The Theory and Practice of Compiler Writing

An Introduction to Data Structures with Applications

The Metaview system for many specification environments

Logic and Discrete Mathematics: A Computer Science Perspective

The REVIEW system: from formal specifications to natural language