The aim of the workshop is to raise awareness for the design of instructional videos for highly complex software systems. In the workshop, design aspects of instructional videos will be discussed using the example of ...
详细信息
ISBN:
(数字)9781665495172
ISBN:
(纸本)9781665495172
The aim of the workshop is to raise awareness for the design of instructional videos for highly complex software systems. In the workshop, design aspects of instructional videos will be discussed using the example of teaching computer-aided design and manufacturing skills in small and medium-sized enterprises. Attendees will gain a holistic view of instructional videos and will be able to identify the need for action in practice and research. The workshop equally addresses researchers, educators, and practitioners with interest in the conception, production, and/or evaluation of videos for training purposes.
Industry requires new advanced tools and methodologies for the design of complex system-on-chip platforms. In STMicroelectronics we developed an innovative retargetable technology for the analysis and optimization of ...
详细信息
ISBN:
(纸本)0769519172
Industry requires new advanced tools and methodologies for the design of complex system-on-chip platforms. In STMicroelectronics we developed an innovative retargetable technology for the analysis and optimization of embedded software. In this paper we provide an overview of our retargetable tool chain which consists of: a specification reader, a disassembler a code analyzer and a functional simulator Their capabilities, specific features and limitations are described in detail.
The necessity of a paradigm shift in software project management, particularly with advent of agile methods, nowadays is an interesting and challenging issue. The values and principles that have centrality in agile th...
详细信息
ISBN:
(纸本)9780769536026
The necessity of a paradigm shift in software project management, particularly with advent of agile methods, nowadays is an interesting and challenging issue. The values and principles that have centrality in agile thought need new approaches in relation to project management. The main causes of this needed paradigm shift are unpredictability and dynamicity of software processes, and inefficiency of traditional approaches. With respect to these factors, and increasing growth of applying chaos and complex system theories in organizational study and strategic management, this research attempts to design a framework for managing agile projects based on these two theories. Concepts of these theories will be a lens to investigate software project management and propose new practices. Our analyses indicate that chaos theory can further shape strategic decisions in comparison to complex system concepts that can further help designing an appropriate agile team in the level of people interaction.
In this paper, we describe an approach to checking conformance of UML class diagrams to design patterns. The technique provides a set of checks that evaluate syntactic and semantic pattern conformance. Syntactic patte...
详细信息
There is a growing interest in pattern matching over complex event streams. While many bodies of techniques were proposed to search complex patterns and enhance the expressive power of query language, no previous work...
详细信息
ISBN:
(纸本)9781509020201
There is a growing interest in pattern matching over complex event streams. While many bodies of techniques were proposed to search complex patterns and enhance the expressive power of query language, no previous work focused on supporting a well-defined ranking mechanism over answers using semantic ordering. To satisfy this need, we proposed CEPR, a CEP system capable of ranking matchings and emitting ordered results based on users' intentions via a novel query language. In this demo, we will (i) demonstrate language features, system architecture and functionalities, (ii) show examples of CEPR in various application domains and (iii) present a user-friendly interface to monitor query results and interact with the system in real time.
Recognizing the stated aims of the engineering of computer-Based systems (ECBS) discipline, namely the design, development, deployment, and analysis of complexsystems whose behavior is, to a substantial degree, deter...
详细信息
ISBN:
(纸本)0818678909
Recognizing the stated aims of the engineering of computer-Based systems (ECBS) discipline, namely the design, development, deployment, and analysis of complexsystems whose behavior is, to a substantial degree, determined or controlled by computers, the proposal is that the term [and the associated process] of ''requirements'' be replaced with ''decisions'' and a decision process. Requirements, by definition, mandate a flow that originates with the senior and are directed unilaterally to the junior: ''I require this of you.'' The decision process is exactly the opposite in both flow and participation Rather than unilateral direction to the junior that is originated by the senior, decisions are choices by the senior resulting from united consideration with the junior of the latter's nominated set of alternatives: ''I select the following as a result of our mutual consideration of the options and associated assessments and recommendations you have provided.''.
complexsystems are known to show emergent, unexpected failure behaviors due to their inherent interdependency and interaction, including Internet, power grid, transportation systems and even financial systems. These ...
详细信息
ISBN:
(纸本)9781479936694
complexsystems are known to show emergent, unexpected failure behaviors due to their inherent interdependency and interaction, including Internet, power grid, transportation systems and even financial systems. These complexities and the corresponding failure behaviors pose a challenge to traditional reliability engineering, since reliability of complexsystems could not be comprehensively analyzed by methods such as FTA and FMECA, etc. complex network theory is an effective and available technique to characterize the complexsystems. The study on failure behaviors of complexsystems combined with complex network theory will help to overcome the barriers in analyzing, calculating and improving the reliability of complexsystems. A framework for the reliability engineering of complexsystems is proposed in this paper, which is illustrated by an example of ieee 14 BUS. The reliability of this typical complex system is calculated, and the vulnerable part of the system has also been identified, which can help us to improve the system reliability in terms of management and future design activities.
Software-as-a-service multi-tenancy helps service providers to cut cost, improve resource utilization, and reduce service customization and maintenance time as the tenants share the same service instance. However, exi...
详细信息
ISBN:
(纸本)9782954181004
Software-as-a-service multi-tenancy helps service providers to cut cost, improve resource utilization, and reduce service customization and maintenance time as the tenants share the same service instance. However, existing large-scale business applications inherently do not support multi-tenancy. This hinders these applications' vendors from adopting the cloud model. Thus reengineering such applications to support multi-tenancy has become a key requirement. Reengineering such applications to support multi-tenancy is a complex and challenging task as it requires a deep understanding of the given application and almost all system modules need to be revisited. In this paper we introduce SMURF, Supporting Multi-tenancy Using Reengineering Aspects "Re-Aspect" Framework, to help service providers reengineering their legacy applications to support multi-tenancy. SMURF is based on our new re-aspects concept where a given system modification to disable, modify, replace or inject code is encapsulated in a re-aspect. SMURF realizes given system modifications (captured as re-aspects) by automating both change impact analysis and change propagation processes. We analyze the SaaS multi-tenancy pattern, discuss the set of requirements to migrate a single-tenant application to support multi-tenancy, describe SMURF approach, architecture and implementation details, and present our experimental results of SMURF on a set of open source web applications.
Rigorous formal methods and intuitive graphical notations can greatly enhance the development of complexcomputersystems. Formal methods guarantee non-ambiguity and support powerful analysis techniques. Intuitive gra...
详细信息
Rigorous formal methods and intuitive graphical notations can greatly enhance the development of complexcomputersystems. Formal methods guarantee non-ambiguity and support powerful analysis techniques. Intuitive graphical notations facilitate the communications between engineers preventing errors due to misunderstandings. Unfortunately, tools and techniques based on formal methods do not usually support adequate graphical notations;while tools and methods based on powerful graphical notations often lack formal foundations. This paper proposes a technique that allows kernel formalisms to be accessed through powerful graphical notations. The proposed technique allows graphical notations to be tailored to the needs of the specific application domain. This paper focuses on the tool support.
To deal with the increasing complexity and uncertainty of software systems, novel software engineering models and tools are required to make such systems self-adaptive. As part of ongoing research, we investigate vari...
详细信息
ISBN:
(纸本)9780769546643
To deal with the increasing complexity and uncertainty of software systems, novel software engineering models and tools are required to make such systems self-adaptive. As part of ongoing research, we investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems. To this end, we have defined SOTA (State of the Affairs) as a general goal-oriented modeling framework for the analysis and design of self-adaptive systems. In this paper, by transforming the conceptual SOTA model into an operational one, we show how SOTA can be an effective tool to perform an early, goal-level, model checking analysis for adaptive systems. This allows the developers of complex self-adaptive systems to validate the actual correctness of the self-adaptive requirements at an early stage in the software life-cycle. The approach is explored and validated using a case study in the area of e-mobility.
暂无评论