Robert Dewar

15 papers A 1C 1Misc 3Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2011 C conf
A Pragmatic View of Formal Methods: the Hi-Lite Project.
SSS
Robert Dewar
2009 J jnl
CS education in the U.S.: heading in the wrong direction.
ACM Crossroads
Robert Dewar, Owen L. Astrachan
2009 J jnl
Point/counterpoint - CS education in the U.S.: heading in the wrong direction?
Commun. ACM
Robert Dewar, Owen L. Astrachan
2007 — conf
Birds-of-a-feather: where would you like to see GNAT go?
SIGAda
Robert Dewar
2006 — conf
Ada 2005 & high integrity systems.
SIGAda
Robert Dewar
2003 Misc conf
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.
Ada-Europe
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
2002 Misc conf
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.
Ada-Europe
Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers
2001 — conf
Keynote address: future development of the Ada language.
SIGAda
Robert Dewar
1999 Misc conf
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.
Ada-Europe
Roderick Chapman, Robert Dewar
1998 A conf
The future of programming - are fundamental changes in computer science programs coming? (panel).
SIGCSE
Hal Hart, James Caristi, Robert Dewar, Mark S. Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky
1997 — conf
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95.
IRTAW
Steve Vestal, Laurent Guerby, Robert Dewar, David J. McConnell, Bruce A. Lewis
1995 — conf
For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session).
TRI-Ada
Linda Safford, Phil Brashear, Oliver Cole, Robert Dewar, Nelson H. Weiderman
1994 — conf
The GNAT Compilation Model.
TRI-Ada
Robert Dewar
1991 — conf
The first 100 days of Ada.
TRI-Ada
Marianne E. Erdos, Ralph Crafts, Robert Dewar, Kenneth Fussichen, Robert Roe, John P. Solomond
1984 — conf
The impact of Ada language features on project management (title only).
WADAS
Robert Dewar