this paper describes the problems involved in instrumenting a distributed system. the design of the MCC ES-Kit instrumentation module is used to illustrate one set of solutions to these problems. Performance measureme...
详细信息
the authors attempt to define a system of coordinate systems within which one might profitably discuss the proper role of and experience with formal methods in industrial software development. It is noted that, so far...
详细信息
ISBN:
(纸本)0818620269
the authors attempt to define a system of coordinate systems within which one might profitably discuss the proper role of and experience with formal methods in industrial software development. It is noted that, so far, contributions of formal methods have primarily been within narrow confines of techniques for carrying out minute subtasks. Formal studies of the method aspects, those of connecting various notations, techniques, and tools so as to form a coherent, formally justifiable method, have been lacking.
Production system implementations of expert systems are becoming more prevalent in a large number of diverse specialties, but the relatively slow execution speed of these systems precludes their use in most realtime a...
详细信息
It is argued that to fully achieve the goal of fully automating the design of information systems, computer-assisted softwareengineering (CASE) tools must be based on a formalization of the design process. A formulat...
详细信息
It is argued that to fully achieve the goal of fully automating the design of information systems, computer-assisted softwareengineering (CASE) tools must be based on a formalization of the design process. A formulation of this process in artificial intelligence (AI) terms and its implementation within the expert design tool OICSI are proposed. the knowledge base (KB) of the tool, which is homogeneously composed of knowledge triplets consisting of situation, decision, and action, is presented. Triplets reflect the decision-oriented view of the design process. they are defined and exemplified through the design task that consists in defining the appropriate structure for a relationship between two objects.
the authors describe the writing of a small, very specific, software tool, Igor, that automates the creation and maintenance of many routine and repetitive code fragments used in a large software system. Igor is viewe...
详细信息
ISBN:
(纸本)0818620269
the authors describe the writing of a small, very specific, software tool, Igor, that automates the creation and maintenance of many routine and repetitive code fragments used in a large software system. Igor is viewed as an application-specific application generator;it generates C source code from a higher level specification as an application generator does, and it is designed to be used only for this one purpose in this one project. the data structure is described in a concise, declarative notation, and a special-purpose translator was written to process the description. the translator generates files of source code that implement the many simple declarations, manipulations, and interrogations of this data structure. the authors discuss experience using this paradigm to implement the intermediate format and how it contributed to solving the larger task of building the CAE (computer-aided engineering) system of which it is a part. the authors compare their solution with other approaches and examine what aspects of the paradigm may be applicable to other software development efforts.
the authors present an overview of CEC, a rewrite rule laboratory for order-sorted specifications with conditional equations. CEC differs from related systems, such as OBJ-3, in that it can check or achieve by complet...
详细信息
ISBN:
(纸本)0818620269
the authors present an overview of CEC, a rewrite rule laboratory for order-sorted specifications with conditional equations. CEC differs from related systems, such as OBJ-3, in that it can check or achieve by completion the semantic prerequisites for correct operational execution of specifications by conditional term rewriting. CEC supports the modular structure of specifications in two ways. Its speculation browser allows accessing, editing, and administrating the modules of a specification through a highly interactive user interface. the completion procedure, apart from transforming a specification into executable rewrite code, will find the inconsistencies, if any, between the formal and actual parameters of generic specifications. CEC can handle a large class of conditional equations with extra variables in the condition without having to resort to inefficient goal solving methods at rewrite time.
the fundamental concepts of softwareengineering and of the process of software development are summarized. this leads to the formulation of a principle of uncertainty that applies, in general, to all computer applica...
详细信息
the fundamental concepts of softwareengineering and of the process of software development are summarized. this leads to the formulation of a principle of uncertainty that applies, in general, to all computer applications in the real world. A brief analysis of the implications of uncertainty and their relationship to softwareengineering follows. In particular, the role that computer-assisted softwareengineering, (CASE) can and should play in minimizing the degree of uncertainty in a software system and controlling it over the lifetime of a system is examined. the views presented are reviewed in the context of the relevance of the issues raised to society as a whole.< >
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based...
详细信息
the development of a system for reverse softwareengineering of real-time programs is described. It is addressed specifically to the US Navy's modernization of tactical and strategic systems. the approach is based on completely automatic translation from CMS-2 into a user-oriented nonprocedural specification language called MODEL. the user can better understand, maintain, and modernize the specification of programs in the MODEL language. there is an existing system for analysis, translation, and optimization in the conversion of MODEL to Ada. this completes the translation from the real-time CMS-2 programs to Ada programs. the overall system will use a powerful workstation with graphics.< >
Electronic data interchange (EDI) is defined, and related fields, like organizations, logistics, standardization, applications, and methodology, in which EDI plays an important role are described. the emphasis is on t...
详细信息
Electronic data interchange (EDI) is defined, and related fields, like organizations, logistics, standardization, applications, and methodology, in which EDI plays an important role are described. the emphasis is on the integration of administrative systems, especially between independent companies.< >
To fully achieve the goal of fully automating the design of information systems, computer-assisted softwareengineering (CASE) tools must be based on a formalization of the design process. A formulation of this proces...
详细信息
To fully achieve the goal of fully automating the design of information systems, computer-assisted softwareengineering (CASE) tools must be based on a formalization of the design process. A formulation of this process in artificial intelligence (AI) terms and its implementation within the expert design tool OICSI are proposed. the knowledge base (KB) of the tool, which is homogeneously composed of knowledge triplets consisting of situation, decision, and action, is presented. Triplets reflect the decision-oriented view of the design process. they are defined and exemplified through the design task that consists in defining the appropriate structure for a relationship between two objects.< >
暂无评论