Object-oriented systems analysis and design using UML حسب Bennett, Simon

Dynamic logic حسب Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

Click here to access thru EZproxy
Click here to access

Invariants and state in testing and formal methods. حسب Hamlet, Dick

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

Relational analysis of algebraic datatypes. حسب Kuncak, Viktor

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. حسب Dingel, Juergen

Interface automata. حسب De Alfaro, Luca

Using symbolic execution for verifying safety-critical systems. حسب Coen-Porisini, Alberto

Combining UML and formal notations for modelling real-time systems. حسب Lavazza, Luigi

A formal data-model of the CORBA security service. حسب Basin, David