Benjamin M. Brosgol

38 papers C 1Misc 9Journal 2Unranked 23
YearRankTypeTitle / Venue / Authors
2019 J jnl
How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience.
IEEE Softw.
Benjamin M. Brosgol
2019 — conf
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.
SecDev
Benjamin M. Brosgol, Claire Dross, Yannick Moy
2011 — conf
Do-178c: the next avionics safety standard.
SIGAda
Benjamin M. Brosgol
2010 Misc conf
A Comparison of Generic Template Support: Ada, C++, C#, and Java
Ada-Europe
Benjamin M. Brosgol
2008 Misc conf
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.
Ada-Europe
Benjamin M. Brosgol
2008 — conf
From strawman to Ada 2005: a socio-technical retrospective.
SIGAda
Benjamin M. Brosgol
2008 — conf
GNAT BoF: where would you like to see GNAT go?
SIGAda
Greg Gicca, Benjamin M. Brosgol
2008 — conf
MP1: languages for safety-critical software: issues and assessment.
SIGAda
Benjamin M. Brosgol
2007 C conf
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.
ISORC
Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol
2007 — conf
Languages for Safety-Critical Software: Issues and Assessment.
ICSE Companion
Benjamin M. Brosgol
2007 — conf
SA2: languages for safety-critical software: issues and assessment.
SIGAda
Benjamin M. Brosgol
2006 Misc conf
A Comparison of Ada and Real-Time Java
Ada-Europe
Benjamin M. Brosgol, Andy J. Wellings
2005 Misc conf
A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java
Ada-Europe
Benjamin M. Brosgol
2003 Misc conf
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java.
Ada-Europe
Benjamin M. Brosgol, Andy J. Wellings
2002 — conf
Asynchronous Transfer of Control in the Real-Time Specification for Java.
Symposium on Object-Oriented Real-Time Distributed Computing
Benjamin M. Brosgol, Scott Robbins, Ricardo J. Hassan II
2002 — conf
Asynchronous transfer of control in the real-time specification for java™.
IRTAW
Benjamin M. Brosgol, Ricardo J. Hassan II, Scott Robbins
2001 — conf
A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix.
TOOLS (39)
Benjamin M. Brosgol
2001 Misc conf
Can Java Meet Its Real-Time Deadlines?
Ada-Europe
Benjamin M. Brosgol, Brian Dobbing
2001 — ed.
Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000
IRTAW
Benjamin M. Brosgol, Michael González Harbour
2001 — conf
Real-time convergence of Ada and Java™.
SIGAda
Benjamin M. Brosgol, Brian Dobbing
2000 — conf
Real-Time Programming in Java.
TOOLS (34)
Benjamin M. Brosgol
1999 — conf
Ada and the Objects.
TOOLS (30)
Benjamin M. Brosgol
1998 — conf
A Comparison of the Concurrency Features of Ada 95 and Java.
SIGAda
Benjamin M. Brosgol
1998 — conf
Ada and the Objects.
TOOLS (26)
Benjamin M. Brosgol
1997 — conf
A Comparison of the Object-Oriented Features of Ada 95 and Java.
TRI-Ada
Benjamin M. Brosgol
1996 Misc conf
The Dining Philosophers in Ada 95.
Ada-Europe
Benjamin M. Brosgol
1993 Misc conf
Information Systems Support in Ada 9X.
Ada-Europe
Benjamin M. Brosgol
1992 J jnl
Ada - Preface to the Special Section.
Commun. ACM
Benjamin M. Brosgol
1992 — conf
Ada 9X and Information Systems.
TRI-Ada
Benjamin M. Brosgol
1992 Misc conf
Decimal Arithmetic in Ada.
Ada-Europe
Benjamin M. Brosgol, Robert I. Eachus, David E. Emery
1992 — conf
Panel theme: Ada and management information systems.
WADAS
Kenneth Fussichen, Pete Jeffcoat, Robert I. Eachus, Benjamin M. Brosgol, Jeffrey T. Stevenson, Jeffrey P. Hustad, David E. Emery
1987 — ed.
Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987
SIGAda
Benjamin M. Brosgol
1986 — conf
Tutorial on exception handling in Ada.
WADAS
Benjamin M. Brosgol
1985 — conf
Developing an automated Ada training product.
SIGAda
Rene Beretz, Benjamin M. Brosgol
1980 — conf
TCOL
SIGPLAN
Benjamin M. Brosgol
1976 — conf
Some issues in data types and type checking.
Design and Implementation of Programming Languages
Benjamin M. Brosgol
1973 — book
Deterministic Translation Grammars
Benjamin M. Brosgol
1971 — conf
An implementation of ECL data types.
International Symposium on Extensible Languages
Benjamin M. Brosgol