Jeffrey G. Gray
Orcid: 0000-0003-0082-6753Affiliations:
- University of Alabama, USA
According to our database1,
Jeffrey G. Gray
authored at least 296 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty.
Softw. Syst. Model., October, 2024
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations.
Softw. Syst. Model., August, 2024
Softw. Syst. Model., June, 2024
Model-based code generation works: But how far does it go? - on the role of the generator.
Softw. Syst. Model., April, 2024
Softw. Syst. Model., February, 2024
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
Extending Unit Test Cases with Graphical Comparison in Blocks-based Programming Languages.
Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024
Proceedings of the 2024 ACM Southeast Conference, 2024
Proceedings of the 2024 ACM Southeast Conference, 2024
Proceedings of the 2024 ACM Southeast Conference, 2024
2023
Adopting the concept of a function as an underlying semantic paradigm for modeling languages.
Softw. Syst. Model., December, 2023
Softw. Syst. Model., October, 2023
Softw. Syst. Model., August, 2023
Sci. Comput. Program., April, 2023
Softw. Syst. Model., February, 2023
A Comparison of Two Approaches to Support Methods Time Measurement in an Automotive Factory.
Proceedings of the 2023 ACM Southeast Conference, 2023
2022
Softw. Syst. Model., 2022
Softw. Syst. Model., 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022
2021
Proceedings of the 28th IEEE International Conference on Software Analysis, 2021
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Engaging Black Female Students in a Year-Long Preparatory Experience for AP CS Principles.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
Proceedings of the ACM SE '21: 2021 ACM Southeast Conference, 2021
2020
Introduction to the special section of the 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS'17).
Softw. Syst. Model., 2020
A State-Wide Effort to Provide Access to Authentic Computer Science Education to Underrepresented Populations.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Preparing Pre-Service Teacher Candidates for the Praxis Exam: An Innovative Model of Blended Support.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
A model-driven alternative to programming in blocks using rule-based transformations.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
IEEE Trans. Software Eng., 2019
ECS4Alabama: A State-Wide Effort to Provide Access to Authentic Computer Science Education in Predominantly Rural and High Minority Schools.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Infusing Cooperative Learning into AP Computer Science Principles Courses to Promote Engagement and Diversity.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019).
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019
Design Guidelines for Feature Model Construction: Exploring the Relationship between Feature Model Structure and Structural Complexity.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 2019 ACM Southeast Conference, 2019
2018
Softw. Syst. Model., 2018
Impact of structural weighting on a latent Dirichlet allocation-based feature location technique.
J. Softw. Evol. Process., 2018
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
Proceedings of the Augmented Cognition: Intelligent Technologies, 2018
2017
Softw. Qual. J., 2017
A Final Project Report on CS4Alabama: A Statewide Professional Development Initiative for CS Principles (Abstract Only).
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
Getting Principled: Reflections on Teaching CS Principles at Two College Board University Pilots.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 2017 ACM Southeast Regional Conference, 2017
2016
Softw. Syst. Model., 2016
Comput. Lang. Syst. Struct., 2016
Proceedings of the 7th IEEE Annual Ubiquitous Computing, 2016
Evaluating GeoContext: A system for creating geographical topics from a social media stream.
Proceedings of the 7th IEEE Annual Ubiquitous Computing, 2016
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016
Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016
2015
Softw. Syst. Model., 2015
Int. J. Inf. Technol. Syst. Approach, 2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015
Creating New Languages in Blockly: Two Case Studies in Media Computation and Robotics (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Blockly Language Creation and Applications: Visual Programming for Media Computation and Bluetooth Robotics Control.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Infusing Cooperative Learning into Early Computer Science Courses to Support Improved Engagement (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
A Mid-Project Report on a Statewide Professional Development Model for CS Principles.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
A Case Study on Adding Computer Science as a Math Graduation Elective: A Report from the Alabama CS/Mathematics Crosswalk Committee (Abstract Only).
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Computer Science Principles Curricula: On-the-ground; adoptable; adaptable; approaches to teaching.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Scaling High School Computer Science: Exploring Computer Science and Computer Science Principles.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Guest editorial to the theme issue on domain-specific modeling in theory and applications.
Softw. Syst. Model., 2014
Domain-Specific Languages for Developing and Deploying Signature Discovery Workflows.
Comput. Sci. Eng., 2014
Comput. Ind., 2014
Adv. Softw. Eng., 2014
Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering co-located with the Software Technologies: Applications and Foundations Conference, 2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
A first-year experience report on a model for statewide deployment of CS principles courses (abstract only).
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Diverse learners, diverse courses, diverse projects: learning from challenges in new directions.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014
Proceedings of the SPLASH'14, 2014
The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 2014
2013
Softw. Syst. Model., 2013
Automating the maintenance of nonfunctional system properties using demonstration-based model transformation.
J. Softw. Evol. Process., 2013
Report of the 2013 ICSE 1st international workshop on engineering mobile-enabled systems (MOBS 2013): 12.
ACM SIGSOFT Softw. Eng. Notes, 2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013
Damage tracker: a cloud and mobile system for collecting damage information after natural disasters.
Proceedings of the ACM Southeast Regional Conference 2013, 2013
Proceedings of the ACM Southeast Regional Conference 2013, 2013
Proceedings of the Domain Engineering, Product Lines, Languages, and Conceptual Models, 2013
2012
PPModel: a modeling tool for source code maintenance and optimization of parallel programs.
J. Supercomput., 2012
Introducing domain-specific language implementation using web service-oriented technologies.
Multiagent Grid Syst., 2012
Increasing clone maintenance support by unifying clone detection and refactoring activities.
Inf. Softw. Technol., 2012
Int. J. Softw. Informatics, 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the 2012 Workshop on Domain-Specific Modeling, 2012
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
Proceedings of the 50th Annual Southeast Regional Conference, 2012
Proceedings of the 50th Annual Southeast Regional Conference, 2012
Proceedings of the 50th Annual Southeast Regional Conference, 2012
2011
LNCS Trans. Aspect Oriented Softw. Dev., 2011
Int. J. Next Gener. Comput., 2011
Comput. Sci. Inf. Syst., 2011
Managing the quality of software product line architectures through reusable model transformations.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011
Proceedings of the Proceeding of the 5th ICSE International Workshop on Software Clones, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
Proceedings of the 49th Annual Southeast Regional Conference, 2011
Proceedings of the Model-Driven Domain Analysis and Software Development, 2011
Proceedings of the Model-Driven Domain Analysis and Software Development, 2011
2010
Softw. Syst. Model., 2010
J. Object Technol., 2010
J. Comput. Methods Sci. Eng., 2010
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010
Proceedings of the Software Product Lines - 14th International Conference, 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the 6th World Congress on Services, 2010
Sub-clones: Considering the Part Rather than the Whole.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
Managing API Evolution for Open Software Platforms.
Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Raising the Level of Abstraction of GPU-programming.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the 1st International Workshop on Model Comparison in Practice, 2010
Proceedings of the 2010 International Conference on High Performance Computing, 2010
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Proceedings of the 48th Annual Southeast Regional Conference, 2010
Model-driven engineering: raising the abstraction level through domain-specific modeling.
Proceedings of the 48th Annual Southeast Regional Conference, 2010
A domain-specific modeling language for scientific data composition and interoperability.
Proceedings of the 48th Annual Southeast Regional Conference, 2010
2009
Softw. Syst. Model., 2009
IEEE Softw., 2009
IET Softw., 2009
Empir. Softw. Eng., 2009
Proceedings of the TASE 2009, 2009
Supporting Tool Reuse with Model Transformation.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Models in Software Engineering, 2009
Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009
Proceedings of the XXII International Symposium on Information, 2009
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Softw. Pract. Exp., 2008
Softw. Pract. Exp., 2008
Inf. Softw. Technol., 2008
Proceedings of the Software Language Engineering, First International Conference, 2008
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the 1st International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering TWOMDE 2008, 2008
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Proceedings of the 46th Annual Southeast Regional Conference, 2008
2007
Proceedings of the Handbook of Dynamic System Modeling., 2007
J. Vis. Lang. Comput., 2007
Simul., 2007
J. Object Technol., 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, 2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Proceedings of the Model Driven Architecture, 2007
2006
Int. J. Softw. Eng. Knowl. Eng., 2006
Concurr. Comput. Pract. Exp., 2006
Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface.
Concurr. Comput. Pract. Exp., 2006
J. Res. Pract. Inf. Technol., 2006
QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the Models in Software Engineering, 2006
Model-driven generative techniques for scalable performability analysis of distributed systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
Proceedings of the 44st Annual Southeast Regional Conference, 2006
Proceedings of the 44st Annual Southeast Regional Conference, 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
IEE Proc. Softw., 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Proceedings of the Model Driven Engineering Languages and Systems, 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Meta-Model Search: Using XPath to Search Domain-Specific Models.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Two-level assurance of QoS requirements for distributed real-time and embedded systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
A comprehensive model transformation approach to automated model construction and evolution.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Efficient Direct User Level Sockets for an Intel Xeon<sup>TM</sup> Processor Based TCP On-Load Engin.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
A Model-Driven Performance Analysis Framework for Distributed, Performance-Sensitive Software Systems.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
Response time analysis of a middleware event demultiplexing pattern for network services.
Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November, 2005
QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the 43nd Annual Southeast Regional Conference, 2005
Proceedings of the Model-Driven Software Development, 2005
Proceedings of the Model-Driven Software Development, 2005
2004
IEEE Trans. Control. Syst. Technol., 2004
Sci. Comput. Program., 2004
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
PolyCluster: an interactive visualization approach to construct classification rules.
Proceedings of the 2004 International Conference on Machine Learning and Applications, 2004
Adaptive and Evolvable Software Systems: Techniques, Tools, and Applications: Minitrack Introduction.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004
Proceedings of the 42nd Annual Southeast Regional Conference, 2004
Proceedings of the 42nd Annual Southeast Regional Conference, 2004
2003
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003
Levels of Independence in Aspect-Oriented Modeling.
Proceedings of the International Middleware Conference, 2003
An Examination of DSLs for Concisely Representing Model Traversals and Transformations.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Generative Programming and Component Engineering, 2003
2002
Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems.
Proceedings of the Generative Programming and Component Engineering, 2002
2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
Proceedings of the 38th Annual Southeast Regional Conference, 2000
1993
Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993