Sciweavers

DAGSTUHL
2006
14 years 10 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens
74
Voted
DAGSTUHL
2006
14 years 10 months ago
A Model-Based Approach To Requirements Analysis
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
Bernhard Schätz, Eva Geisberger, Johannes Gr&...
70
Voted
DAGSTUHL
2006
14 years 10 months ago
Partial Behavioural Models for Requirements and Early Design
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...
Marsha Chechik, Greg Brunet, Dario Fischbein, Seba...
DAGSTUHL
2006
14 years 10 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
45
Voted
DAGSTUHL
2006
14 years 10 months ago
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Ed Brinksma, David Harel, Angelika Mader, Perdita ...
70
Voted
DAGSTUHL
2006
14 years 10 months ago
System model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
María Victoria Cengarle
41
Voted
DAGSTUHL
2006
14 years 10 months ago
Non--binary error correcting codes with noiseless feedback, localized errors, or both
Rudolf Ahlswede, Christian Deppe, Vladimir Lebedev
DAGSTUHL
2006
14 years 10 months ago
GNU TeXmacs
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
Joris van der Hoeven
39
Voted
DAGSTUHL
2006
14 years 10 months ago
Bounds and algebraic algorithms in differential algebra: the ordinary case
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondr...
57
Voted
DAGSTUHL
2006
14 years 10 months ago
Constraint Satisfaction with Succinctly Specified Relations
Abstract. The general intractability of the constraint satisfaction problem (CSP) has motivated the study of the complexity of restricted cases of this problem. Thus far, the liter...
Hubie Chen, Martin Grohe