Benjamin M. Brosgol

Publication Activity (10 Years)

Years Active: 1971-2019
Publications (10 Years): 2

Top Topics

Bug Localization

Development Team

Software Design

Top Venues

Publications

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