Languages
Meyer, Bertrand.
Overview
Works: | 1 works in 6 publications in 1 languages |
---|
Titles
Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
by:
Paige, Richard F.; Meyer, Bertrand.; SpringerLink (Online service)
(Electronic resources)
Software engineering approaches for offshore and outsourced development = third international conference, SEAFOOD 2009, Zurich, Switzerland, July 2 - 3, 2009 : Proceedings /
by:
Meyer, Bertrand.; SpringerLink (Online service); Joseph, Mathai.; Gotel, Olly.
(Electronic resources)
Objects, components, models and patterns = 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings /
by:
SpringerLink (Online service); Meyer, Bertrand.; Congress on Progress and Controversies in Oncological Urology (2000:); Oriol, Manuel.
(Electronic resources)
Touch of class = learning to program well with objects and contracts /
by:
Meyer, Bertrand.; SpringerLink (Online service)
(Electronic resources)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
Nordio, Martin.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Meyer, Bertrand.
(Electronic resources)
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
SpringerLink (Online service); Woodcock, Jim.; Congress on Progress and Controversies in Oncological Urology (2000:); Meyer, Bertrand.
(Electronic resources)
Subjects
Software Engineering.
Contracting out
Computer software.
Operating Systems.
Software engineering.
Computer software- Development.
Object-oriented programming (Computer science)
Software engineering
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Models and Principles.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Organization/Planning.
Computer software- Verification
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)