Based on operational requirements of emergency management (EM), and combing the overall planning of big data system for EM with safety science theories, a set of methods for applying big data in EM are extracted. the ...
详细信息
ISBN:
(纸本)9781728165790
Based on operational requirements of emergency management (EM), and combing the overall planning of big data system for EM with safety science theories, a set of methods for applying big data in EM are extracted. the feasibility of those methods is further verified using the safety risk monitoring and early warning system of hazardous chemicals set up by the Ministry of Emergency Management, PRC. Results show that those methods are reproducible and generalizable, through which big data technology can be widely applied in the construction of operational applications in various EM industries.
we share our experience in pursuing effective software reuse in a globally distributed software engineering team that uses a lean development methodology. the paper outlines the journey, starting from recognizing the ...
详细信息
ISBN:
(纸本)9781509026807
we share our experience in pursuing effective software reuse in a globally distributed software engineering team that uses a lean development methodology. the paper outlines the journey, starting from recognizing the potential for reuse, the steps taken to enable systematic reuse in lean projects, the challenges faced, and the corrective actions taken to ensure effectiveness of systematic reuse. the main lessons learned include: i) identification of relevant domains for reuse, ii) explicitly assigning responsibilities for reuse component development, iii) providing enabling infrastructure, iv) defining more rigorous software development processes for reuse components, and v) establishing a centralized team for developing reuse components. the results of our successful reuse initiative including the significant increase in quality and a 12 percent reuse of total code developed have been presented.
Withthe development of information technologies and the furious market competitions, enterprises are facing an increasingly competitive market place. In this environment, the successes of enterprises depend criticall...
详细信息
ISBN:
(纸本)9781467397216
Withthe development of information technologies and the furious market competitions, enterprises are facing an increasingly competitive market place. In this environment, the successes of enterprises depend critically on the quality and efficiency of their product business processes. Hence, an increasing number of enterprises has applied information technologies to help them understanding, modeling and monitoring their business processes. this paper presents a BPK-CRIO methodology for guiding the design of a multiagent based business process monitoring system. the first procedure of the methodology is conceptualizing business processes with an organizational enterprise ontology, KCRIO. the result of conceptualization indicates the design of organization structures, agent/roles and interactions of MAS in the second procedure of the methodology. Finally, this paper provides a related case study of the Scrum process monitoring system that is a system for modeling and monitoring the Scrum software Development Process. It has been designed and implemented according to the proposed methodology.
We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. the development benefits from the model-based approach and makes the analysis of ...
详细信息
ISBN:
(纸本)9789897581892
We present a method to engineer the control software of transport systems and analyze their safety using the Reactive Blocks framework. the development benefits from the model-based approach and makes the analysis of the systems at design time possible. the software is analyzed for freedom of collisions and other spatiotemporal properties by combining test runs of already existing devices to find out their physical constraints withthe analysis of simulation runs using the verification tool BeSpaceD. this allows us to discover potential safety hazards already during the development of the control software. In particular, we introduce a methodology for the engineering and safety analysis of transportation systems and elaborate its practical usability by means of a demonstrator based on Lego Mindstorms.
Many efforts have been targeted towards securing and improving the quality of software requirements. Since the majority of software requirements today are still written in natural language, these approaches focus on m...
详细信息
ISBN:
(纸本)9781538658413
Many efforts have been targeted towards securing and improving the quality of software requirements. Since the majority of software requirements today are still written in natural language, these approaches focus on measurable indicators that can be derived from the text. Our research particularly addresses the relationships between textual indicators and individual quality attributes, as worldwide industry standards have defined them. the study is conducted in connection with current development projects of the German automotive industry.
this paper considers how the algebraic semantics for Verilog relates with its denotational semantics. Our approach is to derive the denotational semantics from the algebraic semantics. We first present the algebraic l...
详细信息
ISBN:
(纸本)076952530X
this paper considers how the algebraic semantics for Verilog relates with its denotational semantics. Our approach is to derive the denotational semantics from the algebraic semantics. We first present the algebraic laws for Verilog. Every program can be expressed as a guarded choice that can model the execution of a program. In order to investigate the parallel expansion laws, a sequence is introduced, which indicates the instantaneous action is due to which exact parallel component. A normal form is defined for each program by using the locality sequence. We provide a strategy for deriving the denotational semantics based on the algebraic normalform. Using the strategy, the denotational semantics for every program can be calculated. Program equivalence can also be explored by using the derived denotational semantics.
In this paper, Rice Lossless Data Compression Algorithm recommended by CCSDS (Consultative Committee for Space Data Systems) is introduced. then, a method of software implementation is introduced. Furthermore, to impr...
详细信息
ISBN:
(纸本)9781467321969
In this paper, Rice Lossless Data Compression Algorithm recommended by CCSDS (Consultative Committee for Space Data Systems) is introduced. then, a method of software implementation is introduced. Furthermore, to improve the speed of software implementation of decompression algorithm, an improvement is suggested. Finally, a test of the software implementation of decompression algorithm used in the LDCM (Landsat Data Continuity Mission) satellite ground system is finished.
Due the quick change of business processes in organizations, software need to adapt quickly to meet new requirements by implementing new business rules. For this, many technologies have been created in the field of so...
详细信息
ISBN:
(纸本)9781479931873
Due the quick change of business processes in organizations, software need to adapt quickly to meet new requirements by implementing new business rules. For this, many technologies have been created in the field of software development, to accelerate the production and maintenance of software products. However, learning the software development still carries challenges, especially when there is the concern of developing software products with high quality. In this paper, we propose an approach to learning software development with quality, the LSQ. this approach was motivated by the study of factors that influence learning software development, considering how hypotheses interdisciplinarity, Problem Based Learning, methodologies and technologies of software development. the LSQ was applied in the case study of a graduate course related to Web applications. the results were observed from the feedback of students and they allow us to say that the development of interdisciplinary projects with PBL impact positively in learning software development.
software is becoming more and more complex. As you move down the product cycle — from market requirements to product definition, specification, design, implementation, documentation, testing, and support &am...
详细信息
ISBN:
(纸本)3540675302
software is becoming more and more complex. As you move down the product cycle — from market requirements to product definition, specification, design, implementation, documentation, testing, and support — the cost of error correction escalates dramatically. We aim to improve on the various stages by means of high-level yet executable models. this is based on the abstract state machine approach http://***/gasm/.
In order to reduce human involvement in repetitive and dangerous tasks, innovative approaches are increasingly sought and explored. One of these approaches is represented by the Mobile Multi-Robot systems (MMRSs). the...
详细信息
ISBN:
(纸本)9781450334709
In order to reduce human involvement in repetitive and dangerous tasks, innovative approaches are increasingly sought and explored. One of these approaches is represented by the Mobile Multi-Robot systems (MMRSs). the introduction of this kind of systems opens a collection of new business and societal opportunities, but also raises many new challenges. Such systems are exposed to various spheres of uncertainty, spanning from software and hardware variability of a single robot to the one associated to mission planning and execution in possibly unforeseeable environments. In this proposal, we aim to identify how to preserve safety while enabling adaptability at run-time in MMRSs. the objective is to provide a modelling framework based on a methodology which explicitly takes into account safety and adaptability properties at run-time. In order to reach our goal, we plan to use Model-driven engineering(MDE) methods and techniques. Motivated from positive results from the application of MDE in other domains (e.g. avionics, automotive and telecommunications) we postulate that many methods used in this methodology are also relevant for MMRSs. With our work, we expect to give a contribution towards the assurance of safety and adaptability properties for MMRSs in a dynamic run-time context.
暂无评论