Sciweavers

    22698 search results - page 3 / 4540
    » Modeling in Software Engineering
    Sort
    View
    RE
    2002
    Springer
    113views Software Engineering» more  RE 2002»
    Guest Editorial: Special Issue on Model Checking in Requirements Engineering
    15 years 7 months ago
    Guest Editorial: Special Issue on Model Checking in Requirements Engineering
    Download  www.cs.toronto.edu
    Steve M. Easterbrook, Marsha Chechik
    claim paper
    Read More »
    174
    Voted
    ICSE
    2009
    IEEE-ACM
    87views Software Engineering» more  ICSE 2009»
    Genetics as a role model for software variability management
    16 years 2 months ago
    Genetics as a role model for software variability management
    Download  www.cs.uoregon.edu
    Deepak Dhungana, Iris Groher
    claim paper
    Read More »
    ISPW
    2005
    IEEE
    102views Software Engineering» more  ISPW 2005»
    Integrated Modeling of Business Value and Software Processes
    16 years 1 months ago
    Integrated Modeling of Business Value and Software Processes
    Download  www.icsp-conferences.org
    Raymond J. Madachy
    claim paper
    Read More »
    VSTTE
    2005
    Springer
    78views Software Engineering» more  VSTTE 2005»
    Model-Checking Software Using Precise Abstractions
    16 years 1 months ago
    Model-Checking Software Using Precise Abstractions
    Download  vstte.ethz.ch
    Marsha Chechik, Arie Gurfinkel
    claim paper
    Read More »
    FASE
    2003
    Springer
    96views Software Engineering» more  FASE 2003»
    Model Checking Software via Abstraction of Loop Transitions
    16 years 26 days ago
    Model Checking Software via Abstraction of Loop Transitions
    Download  www.cs.cmu.edu
    Natasha Sharygina, James C. Browne
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.