Browsing by Author "Schubert, A.A."

Now showing items 1-6 of 6

Rigorous specifications of the SSH Transport Layer
Poll, E. ; Schubert, A.A.
2011, External research report
Propagation of JML non-null annotations in Java programs
Cielecki, Maciej; Fulara, Jkedrzej; Jakubczyk, Krzysztof; Jancewicz, Lukasz; Chrzkaszcz, Jacek; Kaminski, Lukasz; Schubert, Aleksy
2006, Article in monograph or in proceedings (Gitzel, Ralf; Aleksy, Markus; Schader, Martin (ed.), Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java (Mannheim, Germany, August 30 - September 01, 2006). PPPJ'06, pp. 135-140)
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Application
Schubert, Aleksy ; Chrzkaszcz, Jacek
2006, Article in monograph or in proceedings (Sacha, Krzysztof (ed.), Software Engineering Techniques: Design for Quality, pp. 337-348)
Immutable objects in Java
Haack, C. ; Poll, E. ; Schubert, A.A.
2006, External research report
Minik: A Tool for Maintaining Proper Java Code Structure
Chrzkaszcz, Jacek; Stachowicz, Tomasz; Gkasienica-Samek, Andrzej; Schubert, Aleksy
2006, Article in monograph or in proceedings (Sacha, Krzysztof (ed.), Software Engineering Techniques: Design for Quality, pp. 361-372)
KOTEK: Clustering of the enterprise code
Gsienica-Samek, A.; Stachowicz, Tomasz; Chrzaszcz, J.; Schubert, A.A.
2005, Article in monograph or in proceedings (Zielinski, K.; Szmuc, T. (ed.), Software Engineering: Evolution and Emerging, pp. 412-417)

Now showing items 1-6 of 6

Search Repository