| 2003 |
| - Concurrent object-oriented programming on .NET. Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer, In IEE Proceedings - Software, volume 150, 2003. [pdf]
[bib]
|
| - SCOOP It up!. Piotr Nienaltowski, In PPOPP, 2003. [pdf]
[bib]
|
| - Proving Pointer Program Properties. Part 2: The Overall Object Structure. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf]
[bib]
|
| - On an open issue of programming language phonetics. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf]
[bib]
|
| - Proving Pointer Program Properties. Part 1: Context and overview. Bertrand Meyer, In Journal of Object Technology, volume 2, 2003. [pdf]
[bib]
|
| - Blueprint for Real Progress in Software Engineering. Bertrand Meyer, In APSEC, 2003. [pdf]
[bib]
|
| - Event Library: An Object-Oriented Library for Event-Driven Design. Volkan Arslan, Piotr Nienaltowski, Karine Arnout, In JMLC, 2003. [pdf]
[bib]
|
| - Uncovering Hidden Contracts: The .NET Example. Karine Arnout, Bertrand Meyer, In IEEE Computer, volume 36, 2003. [pdf]
[bib]
|
