701,758 research outputs found

    A knowledge based software engineering environment testbed

    Get PDF
    The Carnegie Group Incorporated and Boeing Computer Services Company are developing a testbed which will provide a framework for integrating conventional software engineering tools with Artifical Intelligence (AI) tools to promote automation and productivity. The emphasis is on the transfer of AI technology to the software development process. Experiments relate to AI issues such as scaling up, inference, and knowledge representation. In its first year, the project has created a model of software development by representing software activities; developed a module representation formalism to specify the behavior and structure of software objects; integrated the model with the formalism to identify shared representation and inheritance mechanisms; demonstrated object programming by writing procedures and applying them to software objects; used data-directed and goal-directed reasoning to, respectively, infer the cause of bugs and evaluate the appropriateness of a configuration; and demonstrated knowledge-based graphics. Future plans include introduction of knowledge-based systems for rapid prototyping or rescheduling; natural language interfaces; blackboard architecture; and distributed processin

    SHARVOT: secret SHARe-based VOTing on the blockchain

    Full text link
    Recently, there has been a growing interest in using online technologies to design protocols for secure electronic voting. The main challenges include vote privacy and anonymity, ballot irrevocability and transparency throughout the vote counting process. The introduction of the blockchain as a basis for cryptocurrency protocols, provides for the exploitation of the immutability and transparency properties of these distributed ledgers. In this paper, we discuss possible uses of the blockchain technology to implement a secure and fair voting system. In particular, we introduce a secret share-based voting system on the blockchain, the so-called SHARVOT protocol. Our solution uses Shamir's Secret Sharing to enable on-chain, i.e. within the transactions script, votes submission and winning candidate determination. The protocol is also using a shuffling technique, Circle Shuffle, to de-link voters from their submissions.Comment: WETSEB'18:IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain. 5 pages, 2 figure

    Agile Collaboration for Distributed Teams

    Full text link
    Editor Introduction: Today software engineering is characterized by two strong trends: agile and distributed. Both together are increasingly demanded and challenge teams and projects due to lack of discipline, insufficient transparency, agile "ping pong" and thus overheads and rework. Authors Fabio Calefato and I describe current technologies and tools for agile collaboration. I look forward to hearing from both readers and prospective column authors about this column and the technologies you want to know more about. -- Christof EbertComment:

    An architecture to integrate IEC 61131-3 systems in an IEC 61499 distributed solution

    Get PDF
    The IEC 61499 standard has been developed to allow the modeling and design of distributed control systems, providing advanced concepts of software engineering (such as abstraction and encapsulation) to the world of control engineering. The introduction of this standard in already existing control environments poses challenges, since programs written using the widespread IEC 61131-3 programming standard cannot be directly executed in a fully IEC 61499 environment without reengineering effort. In order to solve this problem, this paper presents an architecture to integrate modules of the two standards, allowing the exploitation of the benefits of both. The proposed architecture is based on the coexistence of control software of the two standards. Modules written in one standard interact with some particular interfaces that encapsulate functionalities and information to be exchanged with the other standard. In particular, the architecture permits to utilize available run-times without modification, it allows the reuse of software modules, and it utilizes existing features of the standards. A methodology to integrate IEC 61131-3 modules in an IEC 61499 distributed solution based on such architecture is also developed, and it is described via a case study to prove feasibility and benefits. Experimental results demonstrate that the proposed solution does not add substantial load or delays to the system when compared to an IEC 61131-3 based solution. By acting on task period, it can achieve performances similar to an IEC 61499 solution

    Configuration management for a distributed and collaborative software development environment

    Get PDF
    Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2000.Includes bibliographical references (leaves 104-106).In the face of changing technology, the world is becoming more global by the minute. This globalization has resulted in dispersed teams and collaborative opportunities, which offer value and depth to projects. Software development also reflects this globalization, as do all the processes involved in software development. It is important to understand these changes and how they affect not only the entire development process as a whole but also each individual part of the process. Configuration management is an integral part of the software development process. In order to perform good software development, it is imperative to understand and be able to implement proper configuration management. Thus, as configuration management is important to software development, it is also important to study the effects of how the changing context of software development toward distributed and collaborative environments affects configuration management. Not only does configuration management influence the transition to this type of environment, it also is quite affected by it. In this thesis, I aim to examine the impact of a distributed and collaborative development environment on configuration management. I will first give an overview of software engineering with respect to configuration management; next, I will provide and introduction to traditional configuration management, and in the following chapter, I will discuss distributed and collaborative configuration management as it exists today. Next, I will provide a case study of the ieCollab project, a project in which developers were dispersed and a great deal of collaboration occurred, and finally, I will discuss the future of collaborative and distributed configuration management.by Teresa Liu.M.Eng

    Disulfide by Design 2.0: a web-based tool for disulfide engineering in proteins

    Get PDF
    Abstract Background Disulfide engineering is an important biotechnological tool that has advanced a wide range of research. The introduction of novel disulfide bonds into proteins has been used extensively to improve protein stability, modify functional characteristics, and to assist in the study of protein dynamics. Successful use of this technology is greatly enhanced by software that can predict pairs of residues that will likely form a disulfide bond if mutated to cysteines. Results We had previously developed and distributed software for this purpose: Disulfide by Design (DbD). The original DbD program has been widely used; however, it has a number of limitations including a Windows platform dependency. Here, we introduce Disulfide by Design 2.0 (DbD2), a web-based, platform-independent application that significantly extends functionality, visualization, and analysis capabilities beyond the original program. Among the enhancements to the software is the ability to analyze the B-factor of protein regions involved in predicted disulfide bonds. Importantly, this feature facilitates the identification of potential disulfides that are not only likely to form but are also expected to provide improved thermal stability to the protein. Conclusions DbD2 provides platform-independent access and significantly extends the original functionality of DbD. A web server hosting DbD2 is provided at http://cptweb.cpt.wayne.edu/DbD2/

    Perancangan Aplikasi Clustering Sebagai Sumber Informasi Penentu Kelas Konsentrasi Bagi Mahasiswa Informatika UMS Dengan Algoritma K-Means

    Get PDF
    Department of Informatics in UMS has three concentrations. Due to these three concentrations, the students are required to choose one of these three concentrations at the end of the fourth semester. Currently, students determine the concentration based on the students’ own wishes without a system which gives the students consideration in selecting their concentration. By designing clustering k-means application, the researcher expects it can provide the students source of information to determine their class concentration. The variables used are the value of the dominant subjects of each concentration ranging from semester 1 to 4, the variables of information system and enterprise (Basic Web Programming, Algorithms and Programming, Introduction to Information System, Data Base System) concentrations. Computer network and multimedia (Data Communication, Computer Network, Practicum Computer Network, Operation System). Software engineering and animation (linear algebra and matrix, Algorithms and Data Structures, Discrete Structure 2, Digital system). The result is that the students of 2011 academic year data are distributed into 3 cluster, cluster 1 with centroid point (3,333 ; 3,548 ; 3,098) and cluster 2 with centroid point (0,915 ; 1,110 ; 0,773), also cluster 3 with centroid point (2,682 ; 3,221 ; 1,880). The members of cluster 1 are recommended to take the Computer Network and Multimedia concentration, the members of cluster 2 are recommended to take the Software engineering and animation concentration then the members of cluster 3 are recommended to take the Information System and Enterprise concentration

    Designing and implementation of robot mapping algorithm for mobile robot

    Get PDF
    .A mobile robot is an automatic machine that is capable of movement in any given environment [1]. The Capabilities of Mobile Robot(s) are: Moving around based on the user’s input, Avoiding obstacle in front of it and Calculating the path. The Criteria of Mobile Robot: Desktop size. A robot that can evolve on the desk near the computer improves drastically the student efficiency during experimentation. Wide range of possibilities from an engineering and educational point of view. To exploit this tool in various fields of education such as signal processing, automatic control, embedded programming, or distributed intelligent systems design, the robot should provide a wide set of functionalities in its basic version. User friendly. The user interface has to be simple, efficient, and intuitive. This is an important point for the acceptance of the system by the students. The broad introduction in engineering classes requires a large number of robots. Knowing that the budget of many schools is constant or decreasing, this is only feasible by reducing the cost of an individual robot. Open information. This robot has to be shared among professors, laboratories, schools and universities. An open source hardware/software development model is an effective way to achieve this goal

    Autonomic Road Transport Support Systems

    Get PDF
    The work on Autonomic Road Transport Support (ARTS) presented here aims at meeting the challenge of engineering autonomic behavior in Intelligent Transportation Systems (ITS) by fusing research from the disciplines of traffic engineering and autonomic computing. Ideas and techniques from leading edge artificial intelligence research have been adapted for ITS over the last years. Examples include adaptive control embedded in real time traffic control systems, heuristic algorithms (e.g. in SAT-NAV systems), image processing and computer vision (e.g. in automated surveillance interpretation). Autonomic computing which is inspired from the biological example of the body’s autonomic nervous system is a more recent development. It allows for a more efficient management of heterogeneous distributed computing systems. In the area of computing, autonomic systems are endowed with a number of properties that are generally referred to as self-X properties, including self-configuration, self-healing, self-optimization, self-protection and more generally self-management. Some isolated examples of autonomic properties such as self-adaptation have found their way into ITS technology and have already proved beneficial. This edited volume provides a comprehensive introduction to Autonomic Road Transport Support (ARTS) and describes the development of ARTS systems. It starts out with the visions, opportunities and challenges, then presents the foundations of ARTS and the platforms and methods used and it closes with experiences from real-world applications and prototypes of emerging applications. This makes it suitable for researchers and practitioners in the fields of autonomic computing, traffic and transport management and engineering, AI, and software engineering. Graduate students will benefit from state-of-the-art description, the study of novel methods and the case studies provided
    corecore