S. Tucker Taft
发表
Jean-Pierre Rosen,
S. Tucker Taft,
2009,
SIGAda.
S. Tucker Taft,
2001
.
Sebastian Burckhardt,
Hassan Chafi,
Guy L. Steele,
2011,
OOPSLA Companion.
S. Tucker Taft,
2011
.
Yannick Moy,
S. Tucker Taft,
Florian Schanda,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Luís Miguel Pinho,
S. Tucker Taft,
Stephen Michell,
2014,
HILT '14.
Ed Seidewitz,
S. Tucker Taft,
Nicholas Matsakis,
2014,
HILT.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
2013
.
S. Tucker Taft,
1982,
AdaTEC '82.
S. Tucker Taft,
1999,
TOOLS.
S. Tucker Taft,
2001
.
S. Tucker Taft,
S. Taft,
2011,
Ada-Europe.
Edmond Schonberg,
S. Tucker Taft,
Pascal Leroy,
2013
.
Alan Burns,
Andy J. Wellings,
S. Tucker Taft,
2004,
Ada-Europe.
S. Tucker Taft,
2001,
SIGAda.
S. Tucker Taft,
1992,
CACM.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
2008,
SIGAda.
S. Tucker Taft,
Stephen Michell,
Brad Moore,
2014
.
S. Tucker Taft,
S. Taft,
2012
.
S. Tucker Taft,
1992,
TRI-Ada '92.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
2013,
HILT.
S. Tucker Taft,
Robert A. Duff,
Erhard Ploedereder,
2006
.
S. Tucker Taft,
S. Tucker Taft,
1982,
OPSR.
S. Tucker Taft,
Robert A. Duff,
S. Taft,
1995,
Lecture Notes in Computer Science.
S. Tucker Taft,
S. Taft,
2013,
HILT '13.
Edmond Schonberg,
Erhard Plödereder,
S. Tucker Taft,
2013,
Lecture Notes in Computer Science.
S. Tucker Taft,
2008
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
John Barnes,
Miguel Masmano,
S. Tucker Taft,
2004
.
Bertrand Meyer,
S. Tucker Taft,
Greg Nelson,
1992,
OOPSLA.
S. Tucker Taft,
2001,
SIGAda.
John Barnes,
S. Tucker Taft,
2014
.
Erhard Plödereder,
S. Tucker Taft,
Pascal Leroy,
2007,
Lecture Notes in Computer Science.
S. Tucker Taft,
2013
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
John Barnes,
S. Tucker Taft,
2014,
HILT.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
1993,
OOPSLA '93.
S. Tucker Taft,
2006,
SIGAda.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Lennart Beringer,
S. Tucker Taft,
Thomas Plum,
2012
.
S. Tucker Taft,
2001,
ALET.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Luís Miguel Pinho,
S. Tucker Taft,
Stephen Michell,
2015,
2015 IEEE Real-Time Systems Symposium.
Lennart Beringer,
S. Tucker Taft,
Thomas Plum,
2012,
HILT.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
1992,
OOPSLA 1992.
S. Tucker Taft,
1990,
TRI-Ada '90.
S. Tucker Taft,
Robert A. Duff,
Erhard Ploedereder,
2006
.
Jean-Pierre Rosen,
S. Tucker Taft,
Brad Moore,
2011,
SIGAda.
Andres Toom,
Elie Richa,
S. Tucker Taft,
2017,
ALET.
Luís Miguel Pinho,
S. Tucker Taft,
Stephen Michell,
2015,
Ada-Europe.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Edmond Schonberg,
S. Tucker Taft,
Pascal Leroy,
2013
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Jean-Pierre Rosen,
Marc H. Graham,
James W. Moore,
1991,
TRI-Ada '91.
Jeff Boleng,
S. Tucker Taft,
2013,
HILT.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Anthony Gargaro,
Ken Arnold,
S. Tucker Taft,
1996,
TRI-Ada '96.
S. Tucker Taft,
Ron Kownacki,
1987,
SIGAda '87.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Ed Seidewitz,
S. Tucker Taft,
Robert Bocchino,
2014
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
1996,
Ada-Europe.
S. Tucker Taft,
2019,
Art Sci. Eng. Program..
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Jorge Real,
S. Tucker Taft,
Alan Burns,
2010,
ALET.
S. Tucker Taft,
Stephen Michell,
Brad Moore,
2015,
ALET.
S. Tucker Taft,
1992,
TRI-Ada '92.
S. Tucker Taft,
Robert A. Duff,
Erhard Ploedereder,
2002,
Lecture Notes in Computer Science.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
Barry Boehm,
Hal Hart,
S. Tucker Taft,
1999
.
Yannick Moy,
S. Tucker Taft,
Maroua Maalej,
2018,
Ada-Europe.
S. Tucker Taft,
2011,
SIGAda.
S. Tucker Taft,
S. Taft,
2012,
HILT '12.
Edmond Schonberg,
S. Tucker Taft,
Pascal Leroy,
2013
.
Barry W. Boehm,
Hal Hart,
S. Tucker Taft,
1999,
SIGAda.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
2012
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Pascal Leroy,
Robert A. Duff,
2006
.
S. Tucker Taft,
Robert A. Duff,
Randall L. Brukardt,
2001
.
Bertrand Meyer,
S. Tucker Taft,
Greg Nelson,
1992,
OOPSLA '92.