Toon 13.361 - 13.370 resultaten van 15.297 Voor zoekopdracht '"Engines."', zoektijd: 0,05s Verfijn jouw resultaten
  1. 13361

    Trustworthy software systems. door Bernstein, Larry

    Gepubliceerd in Software engineering notes.
    Artikel

    Trustworthy software systems.
  2. 13362

    Towards a national academy of software engineering. door Wing, Michael

    Gepubliceerd in Software engineering notes.
    Artikel

    Towards a national academy of software engineering.
  3. 13363

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Software Engineering Education (SEEd).
  4. 13364

    Resolving uncertainties during trace analysis. door Egyed, Alexander

    Gepubliceerd in Software engineering notes.
    Artikel

    Resolving uncertainties during trace analysis.
  5. 13365

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  6. 13366

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

    Gepubliceerd in Software engineering notes.
    Artikel

    System architecture the context for scenario-based model synthesis.
  7. 13367

    Merging partial behavioural models. door Uchitel, Sebastian

    Gepubliceerd in Software engineering notes.
    Artikel

    Merging partial behavioural models.
  8. 13368

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

    Gepubliceerd in Software engineering notes.
    Artikel

    Reasoning about partial goal satisfaction for requirements and design engineering.
  9. 13369

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

    Gepubliceerd in Software engineering notes.
    Artikel

    PSE explaining program failures via postmortem static analysis.
  10. 13370

    Explaining abstract counterexamples. door Chaki, Sagar

    Gepubliceerd in Software engineering notes.
    Artikel

    Explaining abstract counterexamples.

Zoekinstrumenten: