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

Fidge, C., Kearney, P., Utting, M. (1997) A formal method for building concurrent real-time software. IEEE Software, 14 (2) 99-106 doi:10.1109/52.582979

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleA formal method for building concurrent real-time software
JournalIEEE Software
AuthorsFidge, C.Author
Kearney, P.Author
Utting, M.Author
Year1997Volume14
Issue2
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/52.582979Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID15419954Long-form Identifiermindat:1:5:15419954:8
GUID0
Full ReferenceFidge, C., Kearney, P., Utting, M. (1997) A formal method for building concurrent real-time software. IEEE Software, 14 (2) 99-106 doi:10.1109/52.582979
Plain TextFidge, C., Kearney, P., Utting, M. (1997) A formal method for building concurrent real-time software. IEEE Software, 14 (2) 99-106 doi:10.1109/52.582979
In(1997) IEEE Software Vol. 14 (2) Institute of Electrical and Electronics Engineers (IEEE)

See Also

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

Dakin, K. (1997) Software "engineer"? Time will tell. IEEE Software, 14 (3) 105-106 doi:10.1109/52.589248
Sanden, B. (1997) Modeling concurrent software. IEEE Software, 14 (5) 93-100 doi:10.1109/52.605936
Ford, R. (1988) Concurrent algorithms for real-time memory management. IEEE Software, 5 (5) 10-23 doi:10.1109/52.7940
Pulli, P.J., Heikkinen, M.P. (1993) Concurrent engineering for real-time systems. IEEE Software, 10 (6) 39-44 doi:10.1109/52.241965
Nielson, J. (1997) Learning From The Real World. IEEE Software, 14 (4) 98-99 doi:10.1109/ms.1997.595966
Palshikar, G.K. (2001) Applying formal specifications to real-world software development. IEEE Software, 18 (6) 89-97 doi:10.1109/52.965810
Fidge, C. (1996) Fundamentals of distributed system observation. IEEE Software, 13 (6) 77-83 doi:10.1109/52.542297
Gomaa, H. (2006) Real-Time Software Engineering, Part 2. IEEE Software, 23 (5) 102 doi:10.1109/ms.2006.139
(1985) Vision in Real Time. IEEE Software, 2 (2) doi:10.1109/ms.1985.230069
Dawson, R., Newsham, R. (1997) Introducing software engineers to the real world. IEEE Software, 14 (6) 37-43 doi:10.1109/52.636640
Luqi, , Goguen, J.A. (1997) Formal methods: promises and problems. IEEE Software, 14 (1) 73-85 doi:10.1109/52.566430
 
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 23:23:52
Go to top of page