Articles matching “Meyer”
- Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller, Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL, pp. 3:1-14, PDF, DOI. Volume 19, no. 3 (October 2020)
- Bertrand Meyer, Towards a theory and calculus of aliasing, pp. 37-74, PDF, HTML, DOI. Volume 9, no. 2 (March 2010)
- Till Bay, Micheal Pedroni, Bertrand Meyer, By students, for students: a production-quality multimedia library and its application to game-based teaching, pp. 147-159, PDF, HTML, DOI. Volume 7, no. 1 (January 2008)
- Jean Bézivin, Bertrand Meyer, Editorial Special Issue , PDF, HTML, DOI. Volume 6, no. 9 (October 2007)
- Rachel Henne-Wu, William Mitchell, Cui Zhang, Support for Design by ContractTM in the C# Programming Language, pp. 65-82, PDF, HTML, DOI. Volume 4, no. 7 (September 2005)
- Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 3, no. 4 (April 2004)
- Bertrand Meyer, Proving Pointer Program Properties. Part 2: The Overall Object Structure, pp. 77-100, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Charles Ashbacher, Object-Oriented Reengineering Patterns, by Serge Demeyer, Stéphane Ducasse and Oscar Nierstasz, pp. 151-152, PDF, HTML, DOI. Volume 2, no. 3 (May 2003)
- Bertrand Meyer, Proving Pointer Program Properties. Part 1: Context and overview, pp. 87-108, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
- Bertrand Meyer, On an open issue of programming language phonetics, pp. 109-110, PDF, HTML, DOI. Volume 2, no. 2 (March 2003)
- Bertrand Meyer, Kisten Nygaard, Ole Lehrmann Madsen, In memory of Ole-Johan Dahl and Kristen Nygaard, pp. 7-15, PDF, HTML, DOI. Volume 1, no. 4 (September 2002)
- Christine Mingins, Bertrand Meyer, Guest Editorial, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)
- Bertrand Meyer, The Start of an Eiffel Standard, pp. 95-99, PDF, HTML, DOI. Volume 1, no. 2 (July 2002)