Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 15, 1993
Accession Number
ADA277929

Entities

People

  • Valdis Berzins

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Databases
  • Information Systems
  • Military Research
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Trees (Data Structures)
  • Two Dimensional