Benjamin M. Brosgol

According to our database, Benjamin M. Brosgol authored at least 42 papers between 1971 and 2019.

Collaborative distances:

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

2019

How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience.

Benjamin M. Brosgol

IEEE Softw., 2019

Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.

Benjamin M. Brosgol, Claire Dross, Yannick Moy

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

2011

Do-178c: the next avionics safety standard.

Benjamin M. Brosgol

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

2010

A Comparison of Generic Template Support: Ada, C++, C#, and Java^TM.

Benjamin M. Brosgol

Proceedings of the Reliable Software Technologiey, 2010

2009

An introduction to the C# language and .NET infrastructure.

Ben Brosgol

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

2008

GNAT BoF: where would you like to see GNAT go?

Greg Gicca, Benjamin M. Brosgol

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

From strawman to Ada 2005: a socio-technical retrospective.

Benjamin M. Brosgol

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

MP1: languages for safety-critical software: issues and assessment.

Benjamin M. Brosgol

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

A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.

Benjamin M. Brosgol

Proceedings of the Reliable Software Technologies, 2008

2007

SA2: languages for safety-critical software: issues and assessment.

Benjamin M. Brosgol

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

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.

Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Introduction.

Ben Brosgol, Mario Aldea Rivas

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Languages for Safety-Critical Software: Issues and Assessment.

Benjamin M. Brosgol

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

A Comparison of Ada and Real-Time Java^TM for Safety-Critical Applications.

Benjamin M. Brosgol, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2006

2005

A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java ^TM.

Benjamin M. Brosgol

Proceedings of the Reliable Software Technology, 2005

2003

A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java.

Benjamin M. Brosgol, Andy J. Wellings

Proceedings of the Reliable Software Technologies, 2003

2002

Asynchronous Transfer of Control in the Real-Time Specification for Java.

Benjamin M. Brosgol, Scott Robbins, Ricardo J. Hassan II

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Session summary: summary and plans for next IRTAW.

Joyce L. Tokar, Ben Brosgol

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Asynchronous transfer of control in the real-time specification for java™.

Benjamin M. Brosgol, Ricardo J. Hassan II, Scott Robbins

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: update on the real-time specification for java.

Ben Brosgol, Michael González Harbour

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Session summary: future of the Ada language and language changes such as the Ravenscar profile.

Alan Burns, Ben Brosgol

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

2001

A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix.

Benjamin M. Brosgol

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

Real-time convergence of Ada and Java™.

Benjamin M. Brosgol, Brian Dobbing

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Can Java Meet Its Real-Time Deadlines?

Benjamin M. Brosgol, Brian Dobbing

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Real-Time Programming in Java.

Benjamin M. Brosgol

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1999

Ada and the Objects.

Benjamin M. Brosgol

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1998

A Comparison of the Concurrency Features of Ada 95 and Java.

Benjamin M. Brosgol

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1997

A Comparison of the Object-Oriented Features of Ada 95 and Java.

Benjamin M. Brosgol

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

1996

The Dining Philosophers in Ada 95.

Benjamin M. Brosgol

Proceedings of the Reliable Software Technologies, 1996

1994

Information systems development in Ada.

Ben Brosgol, Robert I. Eachus, David E. Emery

Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, 1994

1993

Information Systems Support in Ada 9X.

Benjamin M. Brosgol

Proceedings of the Ada-Europe '93, 12th Ada-Europe International Conference, 1993

1992

Ada - Preface to the Special Section.

Benjamin M. Brosgol

Commun. ACM, 1992

Panel theme: Ada and management information systems.

Kenneth Fussichen, Pete Jeffcoat, Robert I. Eachus, Benjamin M. Brosgol, Jeffrey T. Stevenson, Jeffrey P. Hustad, David E. Emery

Proceedings of the Ninth Washington Ada Symposium on Ada, 1992

Ada 9X and Information Systems.

Benjamin M. Brosgol

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

Decimal Arithmetic in Ada.

Benjamin M. Brosgol, Robert I. Eachus, David E. Emery

Proceedings of the Ada: Moving Towards 2000, 1992

1991

Ada and SQL.

Ben Brosgol, Stephen Faris, Marc H. Graham, James W. Moore, Jean-Pierre Rosen, S. Tucker Taft

Proceedings of the Conference on TRI-Ada 1991, 1991

1986

Tutorial on exception handling in Ada.

Benjamin M. Brosgol

Proceedings of the Third Annual Washington Ada Symposium on Ada, 1986

1985

Developing an automated Ada training product.

Rene Beretz, Benjamin M. Brosgol

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

1980

TCOL_Ada and the "middle end" of the PQCC Ada compiler.

Benjamin M. Brosgol

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1976

Some issues in data types and type checking.

Benjamin M. Brosgol

Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

1973

Deterministic Translation Grammars

Benjamin M. Brosgol

Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4400-2, 1973

1971

An implementation of ECL data types.

Benjamin M. Brosgol

Proceedings of the International Symposium on Extensible Languages, 1971