Sciweavers

    DAGSTUHL
    2006
    134views Software Engineering» more  DAGSTUHL 2006»
    A Framework for Analyzing Composition of Security Aspects
    13 years 8 months ago
    A Framework for Analyzing Composition of Security Aspects
    Download  drops.dagstuhl.de
    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
    claim paper
    Read More »
    DAGSTUHL
    2006
    169views Software Engineering» more  DAGSTUHL 2006»
    A Model-Based Approach To Requirements Analysis
    13 years 8 months ago
    A Model-Based Approach To Requirements Analysis
    Download  drops.dagstuhl.de
    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&...
    claim paper
    Read More »
    DAGSTUHL
    2006
    122views Software Engineering» more  DAGSTUHL 2006»
    Partial Behavioural Models for Requirements and Early Design
    13 years 8 months ago
    Partial Behavioural Models for Requirements and Early Design
    Download  drops.dagstuhl.de
    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...
    claim paper
    Read More »
    DAGSTUHL
    2006
    111views Software Engineering» more  DAGSTUHL 2006»
    Model Development in the UML-based Specification Environment (USE)
    13 years 8 months ago
    Model Development in the UML-based Specification Environment (USE)
    Download  drops.dagstuhl.de
    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
    claim paper
    Read More »
    DAGSTUHL
    2006
    126views Software Engineering» more  DAGSTUHL 2006»
    06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
    13 years 8 months ago
    06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
    Download  drops.dagstuhl.de
    Ed Brinksma, David Harel, Angelika Mader, Perdita ...
    claim paper
    Read More »
    DAGSTUHL
    2006
    116views Software Engineering» more  DAGSTUHL 2006»
    System model for UML -- The interactions case
    13 years 8 months ago
    System model for UML -- The interactions case
    Download  drops.dagstuhl.de
    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
    claim paper
    Read More »
    DAGSTUHL
    2006
    84views Software Engineering» more  DAGSTUHL 2006»
    Non--binary error correcting codes with noiseless feedback, localized errors, or both
    13 years 8 months ago
    Non--binary error correcting codes with noiseless feedback, localized errors, or both
    Download  www.math.uni-bielefeld.de
    Rudolf Ahlswede, Christian Deppe, Vladimir Lebedev
    claim paper
    Read More »
    DAGSTUHL
    2006
    131views Software Engineering» more  DAGSTUHL 2006»
    GNU TeXmacs
    13 years 8 months ago
    GNU TeXmacs
    Download  www.texmacs.org
    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
    claim paper
    Read More »
    DAGSTUHL
    2006
    100views Software Engineering» more  DAGSTUHL 2006»
    Bounds and algebraic algorithms in differential algebra: the ordinary case
    13 years 8 months ago
    Bounds and algebraic algorithms in differential algebra: the ordinary case
    Download  www.csd.uwo.ca
    Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondr...
    claim paper
    Read More »
    DAGSTUHL
    2006
    111views Software Engineering» more  DAGSTUHL 2006»
    Constraint Satisfaction with Succinctly Specified Relations
    13 years 8 months ago
    Constraint Satisfaction with Succinctly Specified Relations
    Download  www2.informatik.hu-berlin.de
    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
    claim paper
    Read More »
    « first‹ previous…313233343536373839…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.