机译:FORMAL REQUIREMENTS AND DESIGN SPECIFICATIONS: THE CLEPSYDRA METHODOLOGY
DBIS CSITE-CNR, University of Bologna Viale Risorgimento 2, 40136 Bologna, Italy;
Department of Computer Science, University of Bologna Via Mum A. Zamboni, 7, 40127 Bologna, Italy;
Software process; formal methods; verification tools; Z; Larch;