Vote for your favorite mineral in #MinCup25! - Dioptase vs. Wavellite
It's a green, green world for kiwi #wavellite vs desert emerald #dioptase.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Luckham, D.C., Von Henke, F.W. (1985) An Overview of Anna, a Specification Language for Ada. IEEE Software, 2 (2) 9-22 doi:10.1109/ms.1985.230345

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleAn Overview of Anna, a Specification Language for Ada
JournalIEEE Software
AuthorsLuckham, D.C.Author
Von Henke, F.W.Author
Year1985 (March)Volume2
Issue2
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/ms.1985.230345Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15418549Long-form Identifiermindat:1:5:15418549:7
GUID0
Full ReferenceLuckham, D.C., Von Henke, F.W. (1985) An Overview of Anna, a Specification Language for Ada. IEEE Software, 2 (2) 9-22 doi:10.1109/ms.1985.230345
Plain TextLuckham, D.C., Von Henke, F.W. (1985) An Overview of Anna, a Specification Language for Ada. IEEE Software, 2 (2) 9-22 doi:10.1109/ms.1985.230345
In(1985) IEEE Software Vol. 2 (2) Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

Heimbold, D., Luckham, D. (1985) Debugging Ada Tasking Programs. IEEE Software, 2 (2) 47-57 doi:10.1109/ms.1985.230351
(1985) 1985 SIG Ada International Conference. IEEE Software, 2 (2) 72 doi:10.1109/ms.1985.230353
(1985) 1985 International Ada® Conference. IEEE Software, 2 (1) 88 doi:10.1109/ms.1985.230056
(1985) Verdix Ada Development System. IEEE Software, 2 (4) 81 doi:10.1109/ms.1985.231379
Rosenblum, D.S. (1985) A Methodology for the Design of Ada Transformation Tools in a DIANA Environment. IEEE Software, 2 (2) 24-33 doi:10.1109/ms.1985.230347
Wolf, A.L., Clarke, L.A., Wileden, J.C. (1985) Ada-Based support for programming-in-the-Large. IEEE Software, 2 (2) 58-71 doi:10.1109/ms.1985.230352
Baker, T.P., Riccardi, G.A. (1985) Ada Tasking: From semantics to Efficient Implementation. IEEE Software, 2 (2) 34-46 doi:10.1109/ms.1985.230349
Urban, J.E., Fisher, D.A. (1985) Guest Editors' Introduction Ada Environments and Tools. IEEE Software, 2 (2) 6-7 doi:10.1109/ms.1985.230343
(1985) IEEE Software. IEEE Software, 2 (2) doi:10.1109/ms.1985.230068
Berzins, V., Luqi, (1990) An introduction to the specification language SPEC. IEEE Software, 7 (2) 74-84 doi:10.1109/52.50776
(1985) IEEE Software. IEEE Software, 2 (1) doi:10.1109/ms.1985.229769
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 10, 2025 01:50:46
Go to top of page