Showing 341 - 350 results of 428 for search '"Formalism"', query time: 0.02s Refine Results
  1. 341

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

    Article

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

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  3. 343

    Quantitative assessment of UML dynamic models. by Baroni, Aline Lúcia

    Article

    Quantitative assessment of UML dynamic models.
  4. 344

    Requirements traceability in automated test generation application to smart card software validation. by Bouquet, F.

    Article

    Requirements traceability in automated test generation application to smart card software validation.
  5. 345

    Some agent theory for the semantic web. by Fass, Leona F.

    Article

    Some agent theory for the semantic web.
  6. 346

    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.
  7. 347

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  8. 348

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  9. 349

    Using symbolic execution for verifying safety-critical systems. by Coen-Porisini, Alberto

    Article

    Using symbolic execution for verifying safety-critical systems.
  10. 350

    Combining UML and formal notations for modelling real-time systems. by Lavazza, Luigi

    Article

    Combining UML and formal notations for modelling real-time systems.

Search Tools: