Sökning: "Incremental abstraction"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Incremental abstraction.
1. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER
2. Software Process Assessment & Improvement in Industrial Requirements Engineering
Sammanfattning : Requirements Engineering (RE) is a crucial part of any product management and product development activity, and as such deficiencies in the RE process may have severe consequences. There are reports from industry that point towards inadequate requirements being one of the leading sources for project failure. LÄS MER
3. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach
Sammanfattning : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. LÄS MER
4. Towards automated conceptual design space exploration
Sammanfattning : In mature and safety-concerned industries, such as the aerospace industry, product development is often incremental and design solutions are limited to improvements of an existing design. Radical changes to the known product architecture are avoided, for reasons of reliability, lack of technology or lack of design space exploration (DSE) methods. LÄS MER
5. Techniques for Efficient Constraint Propagation
Sammanfattning : This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation. Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. LÄS MER