Robert Dewar

According to our database, Robert Dewar authored at least 15 papers between 1984 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A Pragmatic View of Formal Methods: the Hi-Lite Project.

Robert Dewar

Proceedings of the Advances in Systems Safety, 2011

2009

CS education in the U.S.: heading in the wrong direction.

Robert Dewar, Owen L. Astrachan

ACM Crossroads, 2009

Point/counterpoint - CS education in the U.S.: heading in the wrong direction?

Robert Dewar, Owen L. Astrachan

Commun. ACM, 2009

2007

Birds-of-a-feather: where would you like to see GNAT go?

Robert Dewar

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

2006

Ada 2005 & high integrity systems.

Robert Dewar

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

2003

Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.

Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers

Proceedings of the Reliable Software Technologies, 2003

2002

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.

Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers

Proceedings of the Reliable Software Technologies, 2002

2001

Keynote address: future development of the Ada language.

Robert Dewar

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

1999

Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.

Roderick Chapman, Robert Dewar

Proceedings of the Reliable Software Technologies, 1999

1998

The future of programming - are fundamental changes in computer science programs coming? (panel).

Hal Hart, James Caristi, Robert Dewar, Mark S. Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

1997

Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.

Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1995

For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session).

Linda Safford, Phil Brashear, Oliver Cole, Robert Dewar, Nelson H. Weiderman

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

1994

The GNAT Compilation Model.

Robert Dewar

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1991

The first 100 days of Ada.

Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond

Proceedings of the Conference on TRI-Ada 1991, 1991

1984

The impact of Ada language features on project management (title only).

Robert Dewar

Proceedings of the 1st Annual Washington Ada Symposium on Ada Acquisition Management, 1984