The objective of this study is to identify the factors which facilitate the successful use of computer-assisted softwareengineering tools. Both internal and external integration strategies are taken into account. Int...
详细信息
ISBN:
(纸本)9780897917124
The objective of this study is to identify the factors which facilitate the successful use of computer-assisted softwareengineering tools. Both internal and external integration strategies are taken into account. Internal integration strategies are related to the compatibility of CASE with current skills, the maturity of software development processes, and support factors. External integration strategies are related to user involvement in systems development, user responsibility for project management, and alignment of project objectives and business plans. Firms in each of four quadrants were compared with respect to their success with CASE. The most successful firm was depicted as having high internal integration an high external integration. The findings point to the importance of multiple strategies in making the transition to CASE. Effective communications with users an disciplined softwareengineering practices are important factors underlying the success of CASE.
In this paper two railway electro-dynamic centralization installations (RECI) supervising system are introduced. Our RECI supervising systems take into account the real state of the installations, irrespective to the ...
详细信息
ISBN:
(纸本)9781467311724;9781467311731
In this paper two railway electro-dynamic centralization installations (RECI) supervising system are introduced. Our RECI supervising systems take into account the real state of the installations, irrespective to the logic of the railway station central post of the railway station. The first system consists of a computer, an interface board, and the software programs. The interface has bi-directional data flow between the installation and computer. The computer is connected, through an Intranet network, to the Railway Circulation Regulator (RCR) and to other similar computers allocated in the area of the same RCR. The second system uses programmable logic controllers (PLC) for extending the control to a larger number of RECI units. Further research directions are also mentioned in the paper.
Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a prog...
详细信息
ISBN:
(纸本)9789048136575
Reusing the programs which have already been developed can shorten the production time and reduce costs and expenses. One of the important issues in software reuse is finding a program or a program component in a program library which has been already developed and using it in the new program. In view of precision and automation that formal methods can provide, we can use formal methods in retrieval appropriate components from the software libraries. In this paper, some of the works done in the field of retrieval of the components from the libraries by the help of formal methods have been surveyed and reviewed.
Wide variation in programmer performance has been frequently reported in the literature. In the absence of other explanation, most managers have come to accept that the variation is due to individual characteristics. ...
详细信息
ISBN:
(纸本)0818606207
Wide variation in programmer performance has been frequently reported in the literature. In the absence of other explanation, most managers have come to accept that the variation is due to individual characteristics. The presumption that there are order-of-magnitude differences in individual performance makes accurate cost projection seem nearly impossible. In an extensive study, 166 programmers from 35 different organizations participated in a one-day implementation benchmarking exercise. While there were wide variations across the sample, the authors found evidence that characteristics of the workplace and of the organization seemed to explain a significant part of the difference.
computer simulation is a powerful tool for analyzing and developing manufacturing systems. However, its potential has not yet been fully realized in manufacturing industries. More closely integrated and automated manu...
详细信息
computer simulation is a powerful tool for analyzing and developing manufacturing systems. However, its potential has not yet been fully realized in manufacturing industries. More closely integrated and automated manufacturing systems together with more powerful computers and, most important, more user friendly simulation software will heavily increase the number of users. A manufacturing simulator enables the manufacturing engineer to build a computer model of the system, run it, analyze it and evaluate different scenarios. A further development of simulation in manufacturing involves connecting a simulation model to an MRP system to explore, verify and change production programs. Expert systems will play a major role in building and analyzing simulation models. Asea Brown Boveri (ABB) has used simulation in manufacturing since 1968, when the company's first manufacturing simulator was developed. In 1986 Asea's second generation manufacturing simulator, POCUS, was introduced;POCUS is a user friendly mainframe program with extensive functions for simulating the total manufacturing context. POCUS focuses on costs, to reach an optimal balance between resources and capital employed, e.g. by trying push or pull (JIT) principles and locations for material storage.
The development of wearable biofeedback (BF) systems could be a nontrivial task: very often to build small devices it is required to adopt a software and hardware platform that provides limited features. Their optimal...
详细信息
ISBN:
(纸本)0780375793
The development of wearable biofeedback (BF) systems could be a nontrivial task: very often to build small devices it is required to adopt a software and hardware platform that provides limited features. Their optimal use is a key factor to design a system that exploits performances adequate to the application. The Bio-Feedback framework (BF++) is an Award winning C++ set of classes that were designed to scale from Workstations to Embedded systems by providing high efficiency in both performances and system resource consumption. Here the main design choices relative to this kind of applications are described and a custom Brain computer Interface (BCI) wearable system is also described.
User interface facilities are a crucial part of the infrastructure of a software environment. The authors discuss the particular demands and constraints on a user interface management system (UIMS) for a software envi...
详细信息
ISBN:
(纸本)0897912586
User interface facilities are a crucial part of the infrastructure of a software environment. The authors discuss the particular demands and constraints on a user interface management system (UIMS) for a software environment, and the relation between the architecture of the environment and the UIMS. A model for designing user interface management systems for large, extensible environments is presented. This model synthesizes several recent advances in user interfaces and specializes them to the domain of software environments. The model can be applied to a wide variety of environment contexts. A prototype implementation is described.
We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide...
详细信息
We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is proposed, which presently includes the general architecture and work flow, the structure of Object-Action Model, the syntax and semantics of Object Oriented Temporal Agent Model (ObTAM) and Timed Guarded Command Language (TGCL). A small case study shows an optimistic future of our WSL technique. Further research will aim to build the complete semantic kernel of the WSL and its associated algebraic laws, including transformation rules and abstraction rules.
Mentoring is one of the most effective pedagogical tools, holding great promise for softwareengineering education. When done badly, however, it can lead to dysfunctional interpersonal relationships and may turn off m...
详细信息
ISBN:
(纸本)9781538626719
Mentoring is one of the most effective pedagogical tools, holding great promise for softwareengineering education. When done badly, however, it can lead to dysfunctional interpersonal relationships and may turn off mentees from careers in softwareengineering. In this qualitative interview-based study we examine how socio-technical dimensions of software impact the formation of social ties important for satisfying two goals of mentorship, building technical skill and interpersonal development. We find that mentees working on user facing, interdependent software form a balance of ties that facilitate both goals, while mentees working on non-user facing software mostly form ties important for building technical skill. Work practices that create opportunities for unstructured contact between mentees and community members, such as code review in a mentee cohort, can help to overcome this imbalance. Our findings have important implications for task definition in softwareengineering e-mentoring program schemes.
We present Assume-Guarantee-Repair (AGR) - a novel framework which not only verifies that a program satisfies a set of properties, but also repairs the program in case the verification fails. We consider communicating...
详细信息
ISBN:
(纸本)9783030451899;9783030451905
We present Assume-Guarantee-Repair (AGR) - a novel framework which not only verifies that a program satisfies a set of properties, but also repairs the program in case the verification fails. We consider communicating programs - these are simple C-like programs, extended with synchronous communication actions over communication channels. Our method, which consists of a learning-based approach to assume-guarantee reasoning, performs verification and repair simultaneously: in every iteration, AGR either makes another step towards proving that the (current) system satisfies the specification, or alters the system in a way that brings it closer to satisfying the specification. We manage handling infinite-state systems by using a finite abstract representation, and reduce the semantic problems in hand - satisfying complex specifications that also contain first-order constraints - to syntactic ones, namely membership and equivalence queries for regular languages. We implemented our algorithm and evaluated it on various examples. Our experiments present compact proofs of correctness and quick repairs.
暂无评论