io-port.net

Result 121 to 126 of 126 total

io-port 02242424 Mili, Ali; Sheldon, Frederick; Mili, Fatma; Desharnais, Jules

Recoverability preservation: a measure of last resort. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 54-62 (2005).

121

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02242423 Hartmann, Jean; Vieira, Marlon; Foster, Herbert; Ruder, Axel

A uml-based approach to system testing. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 12-24 (2005).

122

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02242422 Vinh, Phan C.; Bowen, Jonathan P.

Continuity aspects of embedded reconfigurable computing. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 41-53 (2005).

123

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02242421 Cerone, Antonio; Milne, George J.

Property verification of asynchronous systems. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 25-40 (2005).

124

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02242420 Lindvall, Mikael; Rus, Ioana; Shull, Forrest; Zelkowitz, Marvin; Donzelli, Paolo; Memon, Atif; Basili, Victor; Costa, Patricia; Tvedt, Roseanne; Hochstein, Lorin; Asgari, Sima; Ackermann, Chris; Pech, Dan

An evolutionary testbed for software technology evaluation. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 3-11 (2005).

125

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02242419 Bohner, Shawn A.; Hinchey, Mike

Introduction to innovations in system and software engineering. (English)

Innov. Syst. Softw. Eng. 1, No. 1, 1-2 (2005).

126

PDF XML AMS-TeX TEXT BIBTeX DOI

Result 121 to 126 of 126 total