Proceedings of the International Conference on Algebraic Methodology and Software Technology (2nd) Held in Iowa City, Iowa on May 22-25, 1991.

Abstract

The goal of this conference is to foster algebraic methodology as a foundation for software technology and to show that this can lead to practical mathematical alternatives to ad hoc approaches commonly used in software development. We are particularly interested in showcasing software systems that have been developed through such an approach, and focusing on those conceptual developments that underlie the success of such accomplishments.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 25, 1992
Accession Number
ADA257487

Entities

Organizations

  • University of Iowa

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automata Theory
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Information Science
  • Information Systems
  • Lisp Programming Language
  • Operating Systems
  • Parallel Computing
  • Programming Languages
  • Software Development
  • Software Development Tools
  • Software Testing
  • Test Sets

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Software Engineering.