Sciweavers

    KBSE
    1998
    IEEE
    78views Software Engineering» more  KBSE 1998»
    Explanation-based Scenario Generation for Reactive System Models
    13 years 8 months ago
    Explanation-based Scenario Generation for Reactive System Models
    Download  ase.informatik.uni-essen.de
    Robert J. Hall
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    116views Software Engineering» more  KBSE 1998»
    An Automated Approach for Supporting Software Reuse via Reverse Engineering
    13 years 8 months ago
    An Automated Approach for Supporting Software Reuse via Reverse Engineering
    Download  gannodss.csamu.org
    Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
    Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    81views Software Engineering» more  KBSE 1998»
    Specification-based Browsing of Software Component Libraries
    13 years 8 months ago
    Specification-based Browsing of Software Component Libraries
    Download  ase.informatik.uni-essen.de
    Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
    B. Fischer
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    101views Software Engineering» more  KBSE 1998»
    Automated Integrative Analysis of State-based Requirements
    13 years 8 months ago
    Automated Integrative Analysis of State-based Requirements
    Download  ase.informatik.uni-essen.de
    Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
    Barbara J. Czerny, Mats Per Erik Heimdahl
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    84views Software Engineering» more  KBSE 1998»
    A Visualization Concept for Hierarchical Object Models
    13 years 8 months ago
    A Visualization Concept for Hierarchical Object Models
    Download  www.ifi.uzh.ch
    Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
    Stefan Berner, Stefan Joos, Martin Glinz, Martin A...
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    112views Software Engineering» more  KBSE 1998»
    Explaining Synthesized Software
    13 years 8 months ago
    Explaining Synthesized Software
    Download  ti.arc.nasa.gov
    Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
    Jeffrey Van Baalen, Peter Robinson, Michael R. Low...
    claim paper
    Read More »
    KBSE
    1998
    IEEE
    91views Software Engineering» more  KBSE 1998»
    Testing using Log File Analysis: Tools, Methods, and Issues
    13 years 8 months ago
    Testing using Log File Analysis: Tools, Methods, and Issues
    Download  www.kiv.zcu.cz
    J. Andrews
    claim paper
    Read More »
    « first‹ previous12
    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.