Bertrand Meyer

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Theory of Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering - International Summer Schools, 2014

SPOC-supported introduction to programming.

[BibT_eX]

[DOI]

H.-Christian Estler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

Simple concurrency for robotics with the Roboscoop framework.

[BibT_eX]

[DOI]

Andrey Rusakov

Jiwon Shin

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Awareness and Merge Conflicts in Distributed Software Development.

[BibT_eX]

[DOI]

Proceedings of the IEEE 9th International Conference on Global Software Engineering, 2014

Flexible Invariants through Semantic Collaboration.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Contracts in Practice.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

Automatic Program Repair by Fixing Contracts.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

An Automatic Technique for Static Deadlock Prevention.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

An experiment on teaching coordination in a globally distributed software engineering class.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

Safe and Efficient Data Sharing for Message-Passing Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2014

Negative Variables and the Essence of Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

Agile! - The Good, the Hype and the Ugly

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-05155-0, 2014

2013

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Design of an empirical study for comparing the usability of concurrent programming languages.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Alias and Change Calculi, Applied to Frame Inference.

[BibT_eX]

[DOI]

Sergey Velder

CoRR, 2013

When reviews do more than sting.

[BibT_eX]

[DOI]

Commun. ACM, 2013

Program Checking with Less Hassle.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Certificates and Separation Logic.

[BibT_eX]

[DOI]

Cristiano Calcagno

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Applying Search in an Automatic Contract-Based Testing Tool.

[BibT_eX]

[DOI]

Alexey Kolesnichenko

Christopher M. Poskitt

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Empirical answers to fundamental software engineering problems (panel).

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

The search for the laws of automatic random testing.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Handling Parallelism in a Concurrency Model.

[BibT_eX]

[DOI]

Mischael Schill

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

How to Cancel a Task.

[BibT_eX]

[DOI]

Alexey Kolesnichenko

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

What good are strong specifications?

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Collaborative Debugging.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

An Empirical Study of API Usability.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Benchmarking Usability and Performance of Multicore Languages.

[BibT_eX]

[DOI]

Scott West

Kaue Soares da Silveira

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Really Automatic Scalable Object-Oriented Reengineering.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

Prototyping a Concurrency Model.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Performance analysis of SCOOP programs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

How Specifications Change and Why You Should Care

[BibT_eX]

[DOI]

CoRR, 2012

A survey of loop invariants

[BibT_eX]

[DOI]

Sergey Velder

CoRR, 2012

Automatic Translation of C Source Code to Eiffel

[BibT_eX]

[DOI]

CoRR, 2012

Incremental research vs. paradigm-shift mania.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Knowledgeable beginners.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Understanding CS1 students; defective software.

[BibT_eX]

[DOI]

Mark Guzdial

Commun. ACM, 2012

C to O-O Translation: Beyond the Easy Stuff.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Freefinement.

[BibT_eX]

[DOI]

Stephan van Staden

Cristiano Calcagno

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Processors and Their Collection.

[BibT_eX]

[DOI]

Anton Akhi

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

Can asynchronous exceptions expire?

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Exception Handling, 2012

Demonic Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Scott West

Proceedings of the Formal Methods and Software Engineering, 2012

Who is Accountable for Asynchronous Exceptions?

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

On the number and nature of faults found by random testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2011

Steps Towards a Theory and Calculus of Aliasing.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Record-Replay Debugging for Concurrent SCOOP Programs

[BibT_eX]

[DOI]

CoRR, 2011

Towards a Calculus of Object Programs

[BibT_eX]

[DOI]

CoRR, 2011

Verifying Eiffel Programs with Boogie

[BibT_eX]

[DOI]

CoRR, 2011

Collaborative Software Development on the Web

[BibT_eX]

[DOI]

H.-Christian Estler

CoRR, 2011

Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

[BibT_eX]

[DOI]

CoRR, 2011

Evidence-Based Automated Program Fixing

[BibT_eX]

[DOI]

CoRR, 2011

A comprehensive operational semantics of the SCOOP programming model

[BibT_eX]

[DOI]

CoRR, 2011

In support of open reviews; better teaching through large-scale data mining.

[BibT_eX]

[DOI]

Greg Linden

Commun. ACM, 2011

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.

[BibT_eX]

[DOI]

Proceedings of the Tools for Practical Software Verification, 2011

Stateful testing: Finding more errors in code and contracts.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Code-based automated program fixing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Inferring better contracts.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Teaching software engineering using globally distributed projects: the DOSE course.

[BibT_eX]

[DOI]

Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Conference on Global Software Engineering, 2011

Empirical assessment of languages for teaching concurrency: Methodology and application.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Towards a theory and calculus of aliasing.

[BibT_eX]

[DOI]

J. Object Technol., 2010

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages

[BibT_eX]

[DOI]

CoRR, 2010

The theory and calculus of aliasing

[BibT_eX]

[DOI]

CoRR, 2010

Specifying Reusable Components.

[BibT_eX]

[DOI]

Nadia Polikarpova

Proceedings of the Verified Software: Theories, 2010

Reasoning about Function Objects.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

Automatic Testing and Fixing for Eiffel - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

Is Branch Coverage a Good Measure of Testing Effectiveness?

[BibT_eX]

[DOI]

Yi Wei

Proceedings of the Empirical Software Engineering and Verification, 2010

A Formal Reference for SCOOP.

[BibT_eX]

[DOI]

Proceedings of the Empirical Software Engineering and Verification, 2010

Automated fixing of programs with contracts.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Object-Oriented Modeling of Object-Oriented Concepts.

[BibT_eX]

[DOI]

Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010

Deriving concurrent control software from behavioral specifications.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Satisfying Test Preconditions through Guided Object Selection.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Advanced hands-on training for distributed and outsourced software engineering.

[BibT_eX]

[DOI]

Roman Mitin

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.

[BibT_eX]

[DOI]

Scott West

Proceedings of the Formal Methods and Software Engineering, 2010

Verifying Executable Object-Oriented Specifications with Separation Logic.

[BibT_eX]

[DOI]

Stephan van Staden

Cristiano Calcagno

Proceedings of the ECOOP 2010, 2010

Inferring Loop Invariants Using Postconditions.

[BibT_eX]

[DOI]

Proceedings of the Fields of Logic and Computation, 2010

Avoid a Void: The Eradication of Null Dereferencing.

[BibT_eX]

[DOI]

Emmanuel Stapf

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Point/Counterpoint.

[BibT_eX]

[DOI]

Gerald D. Everett

IEEE Softw., 2009

Contracts for concurrency.

[BibT_eX]

[DOI]

Piotr Nienaltowski

Jonathan S. Ostroff

Formal Aspects Comput., 2009

Programs That Test Themselves.

[BibT_eX]

[DOI]

Computer, 2009

Viewpoint - Research evaluation for computer science.

[BibT_eX]

[DOI]

Commun. ACM, 2009

A Sound and Complete Program Logic for Eiffel.

[BibT_eX]

[DOI]

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

The Role of Contracts in Distributed Development.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Approaches for Offshore and Outsourced Development, 2009

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Generating Fixes from Object Behavior Anomalies.

[BibT_eX]

[DOI]

Valentin Dallmeier

Andreas Zeller

Proceedings of the ASE 2009, 2009

A comparative study of programmer-written and automatically inferred contracts.

[BibT_eX]

[DOI]

Nadia Polikarpova

Ilinca Ciupa

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

On the Effectiveness of Test Extraction without Overhead.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Touch of Class: Learning to Program Well with Objects and Contracts

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-540-92144-8, 2009

2008

By students, for students: a production-quality multimedia library and its application to game-based teaching.

[BibT_eX]

[DOI]

Till G. Bay

J. Object Technol., 2008

Seven Principles of Software Testing.

[BibT_eX]

[DOI]

Computer, 2008

Design and code reviews in the age of the internet.

[BibT_eX]

[DOI]

Commun. ACM, 2008

Proof-Transforming Compilation of Eiffel Programs.

[BibT_eX]

[DOI]

Peter Müller

Marie-Hélène Nienaltowski

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Automatic extraction of notions from course material.

[BibT_eX]

[DOI]

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Compiler error messages: what can help novices?

[BibT_eX]

[DOI]

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.

[BibT_eX]

[DOI]

Sebastian S. Bauer

Proceedings of the Advanced Lectures on Software Engineering, 2008

Course management with TrucStudio.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

On the Predictability of Random Tests for Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

ARTOO: adaptive random testing for object-oriented software.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2007

Editorial Special Issue.

[BibT_eX]

[DOI]

Jean Bézivin

J. Object Technol., 2007

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.

[BibT_eX]

[DOI]

Lisa Ling Liu

Bernd Schoeller

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Automatic Testing of Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Contract driven development = test driven development - writing test cases.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Celebrating 40 years of language evolution: simula 67 to the present and beyond.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Proving What Programs Do Not.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Efficient unit test case minimization.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A framework for describing and comparing courses and curricula.

[BibT_eX]

[DOI]

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Experimental assessment of random testing for object-oriented software.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Reconciling Manual and Automated Testing: The AutoTest Experience.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Contract-Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2007

IDE-integrated Support for Schema Evolution in Object-Oriented Applications.

[BibT_eX]

Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

2006

Pattern Componentization: The Factory Example.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2006

Componentization: The Visitor Example.

[BibT_eX]

[DOI]

Computer, 2006

Testable, Reusable Units of Cognition.

[BibT_eX]

[DOI]

Computer, 2006

The Unspoken Revolution in Software Engineering.

[BibT_eX]

[DOI]

Computer, 2006

Europe's computer scientists take fate into their own hands.

[BibT_eX]

[DOI]

Willy Zwaenepoel

Commun. ACM, 2006

The inverted curriculum in practice.

[BibT_eX]

[DOI]

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

The Context of Object Computation (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Object distance and its application to adaptive random testing of object-oriented programs.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Random Testing, 2006

Dependable Software.

[BibT_eX]

[DOI]

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

Eiffel as a Framework for Verification.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Doing More with Contracts: Towards Automatic Tests and Proofs.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Can Aspects Implement Contracts?.

[BibT_eX]

[DOI]

Stephanie Balzer

Patrick Th. Eugster

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

2004

Making Specifications Complete Through Models.

[BibT_eX]

[DOI]

Bernd Schoeller

Tobias Widmer

Proceedings of the Architecting Systems with Trustworthy Components, 2004

The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design.

[BibT_eX]

[DOI]

Proceedings of the From Object-Orientation to Formal Methods, 2004

2003

Proving Pointer Program Properties. Part 2: The Overall Object Structure.

[BibT_eX]

[DOI]

J. Object Technol., 2003

On an open issue of programming language phonetics.

[BibT_eX]

[DOI]

J. Object Technol., 2003

Proving Pointer Program Properties. Part 1: Context and overview.

[BibT_eX]

[DOI]

J. Object Technol., 2003

Concurrent object-oriented programming on .NET.

[BibT_eX]

[DOI]

Piotr Nienaltowski

Volkan Arslan

IEE Proc. Softw., 2003

Uncovering Hidden Contracts: The .NET Example.

[BibT_eX]

[DOI]

Computer, 2003

Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2003

Towards Practical Proofs of Class Correctness.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

The Grand Challenge of Trusted Components.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

The Outside-In Method of Teaching Introductory Programming.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2003

A Framework for Proving Contract-Equipped Classes.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

Blueprint for Real Progress in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

In Memory of Kristen Nygaard and Ole-Johan Dahl.

[BibT_eX]

[DOI]

Kristen Nygaard

Ole Lehrmann Madsen

J. Object Technol., 2002

The Start of an Eiffel Standard.

[BibT_eX]

[DOI]

J. Object Technol., 2002

Assessing a C# Text.

[BibT_eX]

[DOI]

Computer, 2002

Finding Implicit Contracts in .NET Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2002

2001

.NET Is Coming.

[BibT_eX]

[DOI]

Computer, 2001

Software Engineering in the Academy.

[BibT_eX]

[DOI]

Computer, 2001

A Metric Framework for Object-Oriented Development.

[BibT_eX]

[DOI]

Tanit Talbi

Emmanuel Stapf

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

Concurrent Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

At the Edge of Design by Contract.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

Building Trusted Components.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

Open Problems in Object-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

The .NET Training Course

[BibT_eX]

[DOI]

Prentice-Hall, ISBN: 0-13-033115-5, 2001

2000

Component-Based Development? Refining the Blueprint.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Design By Contract and the Component Revolution.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Agent-Based Programming In Eiffel.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Programming with Agents: Combining O-O and Functional Techniques.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

The Future of Component-Based Development.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

1999

Design by Contract, Components and Debugging.

[BibT_eX]

J. Object Oriented Program., 1999

Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction.

[BibT_eX]

[DOI]

Christine Mingins

Computer, 1999

A Really Good Idea.

[BibT_eX]

[DOI]

Computer, 1999

Every Little Bit Counts: Toward More Reliable Software.

[BibT_eX]

[DOI]

Computer, 1999

On To Components.

[BibT_eX]

[DOI]

Computer, 1999

Seamless Development with the Eiffel Method.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

The Unity of Software and the Power of Roundtrip Engineering.

[BibT_eX]

[DOI]

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Managing By Contract.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1998

Free EiffelBase: Eiffel Libraries Go Open Source.

[BibT_eX]