| 2005 |
| - Einfuehrung in die Objekt-Orientierte Programmierung, Leitprogramm. Michela Pedroni, Till G. Bay, 2005. [pdf]
[bib]
|
| - Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. Bertrand Meyer, In ECOOP, 2005. [pdf]
[bib]
|
| - Modular verification of static class invariants. K. R. M. Leino, P. Müller, In Formal Methods (FM) (J. Fitzgerald, I. Hayes, A. Tarlecki, eds.), Springer-Verlag, volume 3582, 2005. [pdf]
[bib]
|
| - Reasoning About Method Calls in JML Specifications. Á. Darvas, P. Müller, In Formal Techniques for Java-like Programs, 2005. [pdf]
[bib]
|
| - Formal Techniques for Java-Like Programs (FTfJP). A. Coglio, M. Huisman, J. Kiniry, P. Müller, E. Poll, In Object-Oriented Technology. ECOOP 2004 Workshop Reader (J. Malenfant, B. M. Østvold, eds.), Springer-Verlag, volume 3344, 2005. [pdf]
[bib]
|
| - Reuse Frequency as Metric for Dependency Resolver Selection. Karl Pauls, Till G. Bay, In Component Deployment: Third International Working Conference, CD 2005 (A. Dearle, S. Eisenbach, eds.), Springer-Verlag, volume 3798, 2005. [pdf]
[bib]
|
| - A Logic for Bytecode. F. Y. Bannwart, P. Müller, In Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE) (F. Spoto, ed.), Elsevier, volume 141, 2005. [pdf]
[bib]
|
| - Can Aspects Implement Contracts?. Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer, In RISE, 2005. [pdf]
[bib]
|
