{"id":{"repo_id":"de-montfort","oai_identifier":"oai:dora.dmu.ac.uk:2086/13288"},"canonical_url":"https://search.dev.ndltd.org/etd/de-montfort/oai:dora.dmu.ac.uk:2086/13288","repository":{"repo_id":"de-montfort","name":"De Montfort University","base_url":"https://dora.dmu.ac.uk/server/oai/request"},"display":{"title":"A visual framework for formal systems development using interval temporal logic.","abstract":"","abstract_html":null,"abstract_has_math":false,"creators":["Rao, Arun Chakrapani"],"institution":"De Montfort University","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2002,"date_issued":"2002","date_published":"2002","updated_at":"2026-07-24T06:18:31Z","subjects":[],"languages":[],"rights":[],"rights_urls":["https://dora.dmu.ac.uk/bitstreams/8d074bb0-cd63-4107-b8f7-66f84fb38af8/download"],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Rao, Arun Chakrapani"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2002"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["De Montfort University"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["http://hdl.handle.net/2086/13288"]},{"key":"dc:type","label":"Dc Type","values":["Thesis or dissertation"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["PhD"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["https://dora.dmu.ac.uk/bitstreams/8d074bb0-cd63-4107-b8f7-66f84fb38af8/download"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://dora.dmu.ac.uk/bitstreams/40384c52-b22b-4e2e-a6fc-99ad19727678/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["4d7bfee79ecfc7ec4149dc1eee930a8e","1a193ef6e9715317e85e4d0031dbb63d","e8e5d0b5df706e4b54c00f2096e3f355"]},{"key":"dc:title","label":"Title","values":["A visual framework for formal systems development using interval temporal logic."]}]}],"canonical_facts":{"dc:creator":["Rao, Arun Chakrapani"],"dc:date.issued":["2002"],"dc:format.checksum.md5":["4d7bfee79ecfc7ec4149dc1eee930a8e","1a193ef6e9715317e85e4d0031dbb63d","e8e5d0b5df706e4b54c00f2096e3f355"],"dc:identifier.uri":["https://dora.dmu.ac.uk/bitstreams/40384c52-b22b-4e2e-a6fc-99ad19727678/download"],"dc:publisher.institution":["De Montfort University"],"dc:relation.isreferencedby":["http://hdl.handle.net/2086/13288"],"dc:rights":["https://dora.dmu.ac.uk/bitstreams/8d074bb0-cd63-4107-b8f7-66f84fb38af8/download"],"dc:title":["A visual framework for formal systems development using interval temporal logic."],"dc:type":["Thesis or dissertation"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["PhD"]},"updated_at":"2026-07-24T06:18:31Z"}