Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most flavors of the UNIX operating system. Improvise provides faciliti...
详细信息
It is becoming quite apparent that knowledge of computer science and softwareengineering alone is inadequate for the practising software engineer to be truly successful in an industrial setting. Often in practice, &q...
详细信息
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences between the methods are hard to determine, choosing the best method for a particular...
详细信息
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences between the methods are hard to determine, choosing the best method for a particular application can be difficult. We have applied several different methods, including Modechart, VFSM, Esterel, Basic LOTOS, Z, SDL and C, to an application problem encountered in the design of software for AT&T's 5ESS telephone switching system. We have developed a set of criteria for evaluating and comparing the different specification methods. We argue that the evaluation of a method must take into account not only academic concerns, but also the maturity of the method, its compatibility withthe existing software development process and system execution environment, and its suitability for the chosen application domain.
this paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN's) for analyzing memory consistency protocols for multiprocessors with Distributed Shared Memory (DSM). DSPN's are...
详细信息
In this study, we developed a prototype system for electrical equipment layout design. In order to acquire the appropriate layout design plans, we utilized the Case-Based Reasoning (CBR) approach. Our prototype system...
详细信息
ISBN:
(纸本)0780324625
In this study, we developed a prototype system for electrical equipment layout design. In order to acquire the appropriate layout design plans, we utilized the Case-Based Reasoning (CBR) approach. Our prototype system consists of 6 executive modules: 1) Problem analysis module, 2) Case retrieval module, 3) Draft layout design module, 4) Design plan evaluation module, 5) Data operation module, 6) Database that includes past layout designs. We applied the Fuzzy theory to evaluate layout design plans in the design plan evaluation module. this paper describes the basic structure and functions of the developed prototype system and some application results.
the proceedings contain 30 papers. the special focus in this conference is on Versioning Models Session and Process Session. the topics include: An overview of the CAPITL software development environment;untangling co...
ISBN:
(纸本)3540605789
the proceedings contain 30 papers. the special focus in this conference is on Versioning Models Session and Process Session. the topics include: An overview of the CAPITL software development environment;untangling configuration management;software configuration management;a tool for orthogonal version management;deductive software building;designing configuration management facilities for dynamically bound systems;configuration management in terms of modules;three dimensional versioning;a rationale for automated configuration status accounting;transaction planning to support coordination;syntactic software merging;about some relationships between configuration management, software process and cooperative work;the state-of-the-art in concurrent, distributed configuration management;supporting geographically-distributed software development;modelling systems with variability using the proteus configuration language;a system for handling third-party applications in a heterogeneous computer environment;experiences with a script-based software configuration management system;customization of a commercial CM system to provide better management mechanisms and experiences of customization and introduction of a CM model.
there is a real need for clear and sound design specifications of distributed systems at the architectural level. this is the level of the design which deals withthe high-level organisation of computational elements ...
详细信息
Automatic code translation could be a useful technique for software migration, provided it can be done in large-scale industrial applications. We have built an automatic translation system for converting IBM 370 assem...
详细信息
Automatic code translation could be a useful technique for software migration, provided it can be done in large-scale industrial applications. We have built an automatic translation system for converting IBM 370 assembly-language programs to C, in order to port the original programs to different architectures. this system, called Bogart, first analyzes the original program in terms of data flow and control flow, and translates it into an abstract internal representation. It performs various transformations on the abstract representation, and finally re-implements it in the target language. Bogart was successfully tested on several large modules withthousands of lines of assembly code each, taken from a commercial database system and application generator. the results of this research are compared withthe brute-force approach first implemented by the company, showing Bogart to be superior on all counts. this research is unusual in that it took place in industry, and had a clear objective of translating a real program and not just demonstrating the feasibility of the approach in an academic setting. Lessons from this experience are discussed at the end of the paper.
the following topics are dealt with: development methods and CASE (computer-aided softwareengineering);artificial intelligence (AI) applications;software design;systems and software analysis;software maintenance;syst...
详细信息
ISBN:
(纸本)081862065X
the following topics are dealt with: development methods and CASE (computer-aided softwareengineering);artificial intelligence (AI) applications;software design;systems and software analysis;software maintenance;systems and software testing;and parallel program development and hypertext. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.
A PC based system is an attractive alternative to conventional methods of industrial quality assurance for its high reliability at lower cost. A custom assembled system with user friendly software is ideal for industr...
详细信息
A PC based system is an attractive alternative to conventional methods of industrial quality assurance for its high reliability at lower cost. A custom assembled system with user friendly software is ideal for industries, especially when the quantity requirement is small. this concept is illustrated with an example of the development of a PC based test system for the quality assurance of hydrocephalus shunt-a neurosurgical implant. During the technology transfer of the device, a 16 channel PC controlled test system has been developed for classifying the device according to their pressure-flow characteristics. Here, the speed of the multichannel peristaltic pump is controlled for various flow rates ranging from 5 ml/hour to 50 ml/hour and the corresponding pressure drop sensed by the transducer is amplified, digitized and monitored. Depending on the measured values, the software classifies all the accepted devices in appropriate ranges and rejects the rest. the test results are printed out in proper format. All the subsystems and components used are in modular form and are standard products of leading manufacturers, enabling the user industry to operate and maintain the system without the help of the developer.
暂无评论