Vote for your favorite mineral in #MinCup25! - Carpathite vs. Tugtupite
Battle of mineralogical oddities as organic mineral #carpathite battles against vs #tugtupite, a mineral that looks like reindeer blood!
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

Harandi, M.T., Ning, J.Q. (1990) Knowledge-based program analysis. IEEE Software, 7 (1) 74-81 doi:10.1109/52.43052

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleKnowledge-based program analysis
JournalIEEE Software
AuthorsHarandi, M.T.Author
Ning, J.Q.Author
Year1990 (January)Volume7
Issue1
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/52.43052Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15419313Long-form Identifiermindat:1:5:15419313:3
GUID0
Full ReferenceHarandi, M.T., Ning, J.Q. (1990) Knowledge-based program analysis. IEEE Software, 7 (1) 74-81 doi:10.1109/52.43052
Plain TextHarandi, M.T., Ning, J.Q. (1990) Knowledge-based program analysis. IEEE Software, 7 (1) 74-81 doi:10.1109/52.43052
In(1990, January) IEEE Software Vol. 7 (1) Institute of Electrical and Electronics Engineers (IEEE)

See Also

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

Seviora, R.E. (1987) Knowledge-Based Program Debugging Systems. IEEE Software, 4 (3) 20-32 doi:10.1109/ms.1987.230396
Fenick, S. (1990) Implementing management metrics: an Army program. IEEE Software, 7 (2) 65-72 doi:10.1109/52.50775
(1985) Advance Program. IEEE Software, 2 (6) 74-75 doi:10.1109/ms.1985.232072
Ross, N. (1990) Using metrics in quality management. IEEE Software, 7 (4) 80-81 doi:10.1109/52.56452
Hausler, P.A., Pleszkoch, M.G., Linger, R.C., Hevner, A.R. (1990) Using function abstraction to understand program behavior. IEEE Software, 7 (1) 55-63 doi:10.1109/52.43050
Boegh, J. (2006) Certifying software component attributes. IEEE Software, 23 (3) 74-81 doi:10.1109/ms.2006.69
Grady, R.B. (1990) Work-product analysis: the philosopher's stone of software?. IEEE Software, 7 (2) 26-34 doi:10.1109/52.50771
Berzins, V., Luqi, (1990) An introduction to the specification language SPEC. IEEE Software, 7 (2) 74-84 doi:10.1109/52.50776
Mi, P., Scacchi, W. (1990) A knowledge-based environment for modeling and simulating software engineering processes. IEEE Transactions on Knowledge and Data Engineering, 2 (3) 283-289 doi:10.1109/69.60792
(1984) Advance Program. IEEE Software, 1 (1) 89-94 doi:10.1109/ms.1984.233704
(1984) Software Marketing Executives. IEEE Software, 1 (1) 74 doi:10.1109/ms.1984.233701
 
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 20, 2025 17:08:49
Go to top of page