Sciweavers

    22560 search results - page 199 / 4512
    » Development of Transportation Systems
    Sort
    View
    APN
    2003
    Springer
    103views Artificial Intelligence» more  APN 2003»
    Modular System Development with Pullbacks
    15 years 8 months ago
    Modular System Development with Pullbacks
    Download  hal.archives-ouvertes.fr
    Marek A. Bednarczyk, Luca Bernardinello, Beno&icir...
    claim paper
    Read More »
    CAV
    2001
    Springer
    93views Hardware» more  CAV 2001»
    TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
    15 years 8 months ago
    TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
    Download  www-verimag.imag.fr
    Etienne Closse, Michel Poize, Jacques Pulou, Josep...
    claim paper
    Read More »
    FASE
    2000
    Springer
    117views Software Engineering» more  FASE 2000»
    Formal System Development with KIV
    15 years 8 months ago
    Formal System Development with KIV
    Download  www.informatik.uni-augsburg.de
    state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
    Michael Balser, Wolfgang Reif, Gerhard Schellhorn,...
    claim paper
    Read More »
    ICSE
    1987
    IEEE-ACM
    153views Software Engineering» more  ICSE 1987»
    Managing the Development of Large Software Systems: Concepts and Techniques
    15 years 8 months ago
    Managing the Development of Large Software Systems: Concepts and Techniques
    Download  www.cs.umd.edu
    W. W. Royce
    claim paper
    Read More »
    ASSETS
    2008
    ACM
    84views Emerging Technology» more  ASSETS 2008»
    Stakeholder involvement in the design and development of a domestic well-being indicator system
    15 years 7 months ago
    Stakeholder involvement in the design and development of a domestic well-being indicator system
    Download  www.computing.dundee.ac.uk
    Nubia M. Gil, Nicolas A. Hine, John L. Arnott
    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.