Volume 28; Issue 13

Software: Practice and Experience

Volume 28; Issue 13
1

Use of executable formal specifications in user validation

Year:
1998
Language:
english
File:
PDF, 318 KB
english, 1998
3

A layer on top of prolog for composing behavioural constraints

Year:
1998
Language:
english
File:
PDF, 112 KB
english, 1998
4

An efficient and flexible C++ library for concurrent programming

Year:
1998
Language:
english
File:
PDF, 221 KB
english, 1998