U.S. - UK Cooperative Research:  Formal Specification of    Software Systems
{'Code': '01090000', 'Directorate': {'Abbreviation': 'O/D', 'LongName': 'Office Of The Director'}, 'Division': {'Abbreviation': 'OISE', 'LongName': 'Office Of Internatl Science &Engineering'}}
{'SignBlockName': 'Pierre Perrolle', 'PO_EMAI': None, 'PO_PHON': None}
This award will support collaborative research between U.S. and                 British computer scientists in the area of the formal specification             of software systems.  The U.S. investigator is Dr. Stephen Fickas;              the British researchers involved are Dr. Alan Bundy, Department of              Artificial Intelligence, University of Edinburgh, and Dr. Anthony               Finkelstein, Computer Science Department, Imperial College of                   Science and Technology, London.  The construction of a complete and             consistent software specification is critical to modern software                engineering methodologies.  At the same time, a characterization of             the construction process itself remains an open research question.              In essence, formal specifications to drive our implementation                   systems are needed, but the means of constructing such                          specifications in any disciplined manner are still lacking.  The                principal investigator proposes to collaborate with two U.K.                    research groups, one at the University of Edinburgh and one at                  Imperial College, London, in an effort to both formalize and                    automate a model of specification design.                                                                                                                       Up until this time, each of the three groups has focused on a                   different aspect of the specification problem:  Edinburgh has                   focused on mapping from informal descriptions to formal                         specifications.  Imperial College has focused on identifying                    necessary specification activities, and tracking the dependencies               among them; the principal investigator has focused on                           knowledge-based approaches to specification analysis.  Dr. Fickas,              in cooperation with the two U.K. groups, will lead an effort to                 integrate the three approaches into a more general model of                     specification construction.  The results will be twofold.  First,               the integration attempt itself will force each of other three                   current models to become more refined.  Second, Dr. Fickas plans to             incorporate parts of the Edinburgh and Imperial models into his                 existing computer-based system, thus providing further extensions               to an automated tool for specification construction.
{'FirstName': 'Stephen', 'LastName': 'Fickas', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Stephen Fickas', 'EmailAddress': 'stephenfickas@gmail.com', 'NSF_ID': '000564388', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Oregon Eugene', 'CityName': 'EUGENE', 'ZipCode': '974031905', 'PhoneNumber': '5413465131', 'StreetAddress': '1776 E 13TH AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Oregon', 'StateCode': 'OR', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'OR04', 'ORG_UEI_NUM': 'Z3FGN9MF92U2', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF OREGON', 'ORG_PRNT_UEI_NUM': 'Z3FGN9MF92U2'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '5946', 'Text': 'UNITED KINGDOM'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8814459.xml'}