Mostra 261 - 270 risultati di 433 ricerca '"Specification."', tempo di risposta: 0,02s Raffina i risultati
  1. 261

    Detecting and resolving semantic pathologies in UML sequence diagrams. di Baker, Paul

    Articolo

    Detecting and resolving semantic pathologies in UML sequence diagrams.
  2. 262

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB). di Shen, Junrong

    Articolo

    Towards a unified formal model for supporting mechanisms of dynamic component update Full text PdfPdf (268 KB).
  3. 263

    Relational analysis of algebraic datatypes. di Kuncak, Viktor

    Articolo

    Relational analysis of algebraic datatypes.
  4. 264

    Lightweight object specification with typestates. di Bierhoff, Kevin

    Articolo

    Lightweight object specification with typestates.
  5. 265

    Parameterized unit tests with unit meister. di Tillman, Nikolai

    Articolo

    Parameterized unit tests with unit meister.
  6. 266

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. di Li, Zhenmin

    Articolo

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code.
  7. 267

    Inconsistency detection and resolution for context-aware middleware support. di Xu, Chang

    Articolo

    Inconsistency detection and resolution for context-aware middleware support.
  8. 268

    Parameterized unit tests with unit meister. di Tillmann, Nikolai

    Articolo

    Parameterized unit tests with unit meister.
  9. 269

    Visual tool for generative programming. di Grigorenko, Pavel

    Articolo

    Visual tool for generative programming.
  10. 270

    UPEX user participation by example. di Erfurth, Ivonne

    Articolo

    UPEX user participation by example.

Strumenti per la ricerca: