DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bertrand Meyer
Bertrand Meyer
The Essence Initiative
Formal Specification Methods What Are Formal Methods? Objectives Of
Design by Contract: the Lessons of Ariane
Making Sense of Agile Methods Bertrand Meyer Politecnico Di
Object-Oriented Software Construction
Title of Presentation
Practice to Perfect: the Quality First Model
Teaching Devops in Academia and Industry: Reflections and Vision
Object- Oriented Software Composition
Bertrand Meyer Richard Soley What Are We Going to Do About It?
Slide Printout
Seamless Object-Oriented Requirements Alexandr Naumchev
Towards a Body of Knowledge for Model-Based Software Engineering
Software Engineering Approaches for Offshore and Outsourced Development
Published As "Insights on Formal Methods in Cybersecurity"
Object-Oriented Software Engineering
Devopsml: Towards Modeling Devops Processes and Platforms
Teaching Devops in Academia and Industry: Reflections and Vision
Top View
Applying 'Design by Contract'
Ivar Jacobson As an Industry
Sistent Object-Oriented Applications 31
Class Schema Evolution for Persistent Object-Oriented Software: Model
TO OBJECT-ORIENTED DESIGN: the ROAD to EIFFEL Bertrand
Software Architecture Bertrand Meyer Lecture 1
Software Architecture Bertrand Meyer Lecture 2: Software Quality
Interfaces in Modular Software Systems: Some Research Questions
Design by Contracts: Correctness and Quality of Software Meyer's Internal
OMG Unified Modeling Language Specification
Deep Learning Models in Software Requirements Engineering
The Essence of Software Engineering: Applying the SEMAT Kernel
Simula: Mother Tongue for a Generation of Nordic Programmers
Technologies for Finding Errors in Object-Oriented Software
The Role of Formalism in System Requirements (Full Version)
Semat—Three Year Vision1
Metamodeling for Multidimensional Reuse Abstract
A Programming System for Process Coordination in Virtual Organisations
Eiffel As a Framework for Verification
Steps Towards a Theory and Calculus of Aliasing
Towards Modeling Devops Processes and Platforms
1. the Need for Methodology Guidelines the Field of Software
Agile! the Good, the Hype and the Ugly 1St Edition Pdf, Epub, Ebook
Bertrand Meyer October 2015 Main Positions ETH Zurich, Computer Science Department October 2001-Present: Professor and Head of Chair of Software Engineering
Experience Report on Formally Verifying Parts of Openjdk's API
Metamodeling Generalization and Other Directed Relationships in UML
General Theories of Software Engineering: New Advances and Implications for Research
In Memory of Ole-Johan Dahl and Kristen Nygaard
Computer Programming
UML: the Positive Spin
Design by Contract
Ten Commandments Revisited a Ten-Year Perspective on the Industrial Application of Formal Methods
On Formalism in Specifications=
Software Engineering Team Project – Lessons Learned Bogumiła Hnatkowska
OO Design Tools Many GUI Tools Exist to Help with the Process Draw UML Diagrams Convert to Java “Shells” 5 Some Players
A Formalisation of Deep Metamodelling
Designing Precise and Flexible Graphical Modelling Languages for Software Development