347,819 research outputs found

    Software Engineering Timeline: major areas of interest and multidisciplinary trends

    Get PDF
    IngenierĂ­a del software. EvolucionSociety today cannot run without software and by extension, without Software Engineering. Since this discipline emerged in 1968, practitioners have learned valuable lessons that have contributed to current practices. Some have become outdated but many are still relevant and widely used. From the personal and incomplete perspective of the authors, this paper not only reviews the major milestones and areas of interest in the Software Engineering timeline helping software engineers to appreciate the state of things, but also tries to give some insights into the trends that this complex engineering will see in the near future

    Requirements modelling and formal analysis using graph operations

    Get PDF
    The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

    Deflection and frequency monitoring of the Forth Road Bridge, Scotland, by GPS

    Get PDF
    Permission is granted by ICE Publishing to print one copy for personal use. Any other use of these PDF files is subject to reprint fees. Copyright © 2012 Thomas Telford Ltd.The use of carrier phase kinematic GPS (global positioning system) has evolved into a reliable technique to measure both the three-dimensional magnitudes and frequencies of movements of structures. Techniques have been developed that tackle errors caused by multipath, tropospheric delay and issues relating to satellite geometry. GPS-derived movements compare well with data from both design predictions and structural models. Results from field trials carried out on the Forth Road Bridge are presented. This paper brings together key results that outline the procedure as well as a series of new data that indicate other potential applications. GPS data were collected continuously over a period of 46 h at a minimum rate of 10 Hz. During the trials wind speed, wind direction, relative humidity and temperature were also recorded. Frequently there was very heavy traffic flow, and at one point a special load (a 100-t lorry) passed over simultaneously to the heavy daytime flow of traffic. Data from a planned load trial during a brief bridge closure are reported and compared with the limited results available from a finite element model. Measured vibration frequencies are also computed from GPS data and compared with those given in the literature. In addition, results indicating the change in structural characteristics are also presented – in particular changes of mass associated with changes in traffic loading are observed. The results show the performance of GPS as it has developed in recent years, and that it can now reliably be used as a significant part of structural health monitoring schemes, giving both the magnitude of quasi-static deflections in known time periods and hence the frequency of dynamic movements of structures.Forth Estuary Transport Authorit

    Knowledge formalization in experience feedback processes : an ontology-based approach

    Get PDF
    Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable
    • 

    corecore