Requirements Engineering is one of the most important phases in any product development life cycle since it is the basis for the complete software or product design and realization. Therefore in a worst case scenario ...
详细信息
Requirements Engineering is one of the most important phases in any product development life cycle since it is the basis for the complete software or product design and realization. Therefore in a worst case scenario any error within a requirement can result in a project loss. Computer support for requirement engineers is still premature as most RE applications can not cope with more sophisticated techniques like semantics, natural language processing etc. In this paper we will present the ongoing research work in semantic requirement engineering which will try to close the gap between computer understandable semantics, namely ontologies, and the natural language input of a human.
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual im...
详细信息
This article consists of a collection of slides from the author's conference presentation on transactional memory (TM). Some of the specific topics discussed include: an introduction to TM;TM implementation techni...
The growing number and increased coupling of functionality in embedded control systems, e.g. in the automotive domain, leads to complex networks of interacting features and a wide range of variants. Hence, today's...
详细信息
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further r...
详细信息
With the introduction of the new Modelica major version 3, innovations mainly consist of further model restrictions for increased model quality. In addition, developers often want to ensure the compliance to further requirements early in the development cycle. Mostly emerging as domain specific conventions that often crosscut model structures, according checking mechanisms are required that are detached from the core language. In this paper, a declarative language is presented for specifying and evaluating quantified rules for static model properties. Based on aspectoriented programming, the language allows for concise and expressive model inspections and a variable and typing concept facilitate subsequent model manipulations. A nascent implementation framework is proposed, based on the logic meta programming paradigm, thus leading to efficient and scalable aspect processing applicable as model query engine for an AOP Modelica Compiler.
In this talk we present how Higher-Order Process Engineering (HOPE) and Active Continuous Quality Control (ACQC) can be combined to drastically reduce the manual effort of risk-based regression testing. That is, integ...
详细信息
Software Product Lines (SPLs) are a promising approach for efficiently engineering similar variants and/or evolving versions of software products. SPLs propagate systematic reuse of design artifacts between variants b...
详细信息
Sharing writing responsibilities for a set of manuals between two distinct company sites poses unique challenges. In our experience, the situation requires: clear communication using electronic technology;mutually und...
详细信息
ISBN:
(纸本)0780314662
Sharing writing responsibilities for a set of manuals between two distinct company sites poses unique challenges. In our experience, the situation requires: clear communication using electronic technology;mutually understood, accepted, and followed agreements;and dedication to teamwork. These result in timely completed manuals as well as in camaraderie and synergy among members of the team.
This article consists of a collection of slides from the author's conference presentation on software transactional memory (STM). Some of the specific topics discussed include: how to translate a language construc...
We present an introduction to the usage of Rig, our Cinco product for the graphical modeling of CI/CD workflows. While CI/CD has become a de facto standard in modern software engineering (e.g. DevOps) and the benefits...
详细信息
暂无评论