A Study of the Specification of Large Programs
{'Code': '05040101', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'MIP', 'LongName': 'Division of Microelectronic Information Processing Systems'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
The objectives of this project are:  to define a model of a                     specification of large programs, and to design a language useful for            writing specifications of large programs.  Toward the long-term goal of         putting formal specifications to productive use, the ability to specify         large programs is needed, not just small ones.  It is intended to study         behavioral properties of large programs, and how to specify these               properties; relationships among program module specifications that              constitute specifications of large programs; and language constructs            that facilitate putting together specifications.  It is planned to use          formal mathematics to define the model and language.  The research will         simultaneously be guided by more practical objectives: to develop a             specification approach, and to demonstrate the utility of the work by           applying it to realistic examples.
{'FirstName': 'Jeannette', 'LastName': 'Wing', 'PI_MID_INIT': 'M', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jeannette M Wing', 'EmailAddress': 'WING@COLUMBIA.EDU', 'NSF_ID': '000142080', 'StartDate': '09/15/1985', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Carnegie-Mellon University', 'CityName': 'PITTSBURGH', 'ZipCode': '152133815', 'PhoneNumber': '4122688746', 'StreetAddress': '5000 FORBES AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Pennsylvania', 'StateCode': 'PA', 'CONGRESSDISTRICT': '12', 'CONGRESS_DISTRICT_ORG': 'PA12', 'ORG_UEI_NUM': 'U3NKNFLNQ613', 'ORG_LGL_BUS_NAME': 'CARNEGIE MELLON UNIVERSITY', 'ORG_PRNT_UEI_NUM': 'U3NKNFLNQ613'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '145700', 'Text': 'COMPUTER ENGINEERING (OTHER)'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1985&All=true', 'xml': '8519254.xml'}