Sciweavers

    ASE
    2008
    120views more  ASE 2008»
    Requirements model generation to support requirements elicitation: the Secure Tropos experience
    13 years 10 months ago
    Requirements model generation to support requirements elicitation: the Secure Tropos experience
    Download  security1.win.tue.nl
    In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
    Nadzeya Kiyavitskaya, Nicola Zannone
    claim paper
    Read More »
    ASE
    2008
    102views more  ASE 2008»
    Model driven code checking
    13 years 10 months ago
    Model driven code checking
    Download  spinroot.com
    Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
    Gerard J. Holzmann, Rajeev Joshi, Alex Groce
    claim paper
    Read More »
    ASE
    2008
    135views more  ASE 2008»
    Deriving event-based transition systems from goal-oriented requirements models
    13 years 10 months ago
    Deriving event-based transition systems from goal-oriented requirements models
    Download  www.cs.ucl.ac.uk
    Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
    Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
    claim paper
    Read More »
    ASE
    2008
    61views more  ASE 2008»
    Rethinking software design in participation cultures
    13 years 10 months ago
    Rethinking software design in participation cultures
    Download  l3d.cs.colorado.edu
    Gerhard Fischer
    claim paper
    Read More »
    ASE
    2008
    65views more  ASE 2008»
    Continuous and automated evolution of architecture-to-implementation traceability links
    13 years 10 months ago
    Continuous and automated evolution of architecture-to-implementation traceability links
    Download  www.ics.uci.edu
    A traditional obstacle in the use of multiple representations is the need to maintain trace
    Leonardo Gresta Paulino Murta, André van de...
    claim paper
    Read More »
    ASE
    2008
    130views more  ASE 2008»
    Guest Editors' Introduction
    13 years 10 months ago
    Guest Editors' Introduction
    Download  www.jtaer.com
    Sebastián Uchitel, Steve M. Easterbrook
    claim paper
    Read More »
    ASE
    2008
    80views more  ASE 2008»
    Desert Island Column
    13 years 10 months ago
    Desert Island Column
    Download  www.ifi.uzh.ch
    Ian Sommerville
    claim paper
    Read More »
    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.