Dario V. Boriani

发表

Knowledge-based system development tool selection for process control

Dario V. Boriani, 1995 .

Formal specification methods in engineering design

Dario V. Boriani, 1997 .

Object-oriented development of control software

Dario V. Boriani, 1997 .

Axiomatic specification and logic programming: fast prototyping of correct designs

Dario V. Boriani, 1995 .

Object-oriented Ada-based development of highly reusable control software

Dario V. Boriani, 1995 .