𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Program generation for Ada — a case study

✍ Scribed by Pat Allen; Alan Burns

Book ID
112210480
Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
631 KB
Volume
18
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

AIDA: a dynamic analyser for Ada program
AIDA: a dynamic analyser for Ada programs
✍ F.E. Eassa; L.J. Osterweil; M.Z. Abdel-mageed 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 998 KB

In this paper, we have developed a dynamic analyser for Ada programs, called AIDA. In software engineering, dynamic analysers that have been built previously have often incorporated first-order-logic assertion languages. For dynamic testing of both sequential and concurrent programs, however, tempor