Showing 611 - 620 results of 739 for search '"Software engineering."', query time: 0.02s Refine Results
  1. 611

    Software Engineering Education (SEEd). by Henderson, Peter B.

    Article

    Software Engineering Education (SEEd).
  2. 612

    Resolving uncertainties during trace analysis. by Egyed, Alexander

    Article

    Resolving uncertainties during trace analysis.
  3. 613

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. by Dingel, Juergen

    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  4. 614

    System architecture the context for scenario-based model synthesis. by Uchitel, Sebastian

    Article

    System architecture the context for scenario-based model synthesis.
  5. 615

    Merging partial behavioural models. by Uchitel, Sebastian

    Article

    Merging partial behavioural models.
  6. 616

    Reasoning about partial goal satisfaction for requirements and design engineering. by Letier, Emmanuel

    Article

    Reasoning about partial goal satisfaction for requirements and design engineering.
  7. 617

    PSE explaining program failures via postmortem static analysis. by Manevich, Roman

    Article

    PSE explaining program failures via postmortem static analysis.
  8. 618

    Explaining abstract counterexamples. by Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  9. 619

    Correlation exploitation in error ranking. by Kremenek, Ted

    Article

    Correlation exploitation in error ranking.
  10. 620

    Using an SQL coverage measurement for testing database applications. by Suárez-Cabal, María José

    Article

    Using an SQL coverage measurement for testing database applications.

Search Tools: