Research Initiation:  Incremental Software Development UsingExecutable, Logic Based Specifications
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Janet L. Gatton', 'PO_EMAI': None, 'PO_PHON': None}
The extends ENCOMPASS ı79,82,85-87! a prototype environment to support          the incremental construction of Ada programs using executable                   specifications and formal techniques similar to the Vienna Development          Method.  In ENCOMPASS, software is specified using PLEASE ı80,81,83,84!         an executable specification language which builds on logic-programming          and database technology.  In ENCOMPASS, PLEASE specifications are               incrementally refined into Ada implementations; refinements can be              verified using testing, peer review or proof-based techniques.  PLEASE          supports the rigorous development of software: parts of a system can be         developed using completely formal methods, while other, less critical           parts are constructed using less expensive techniques.  Systems can be          constructed using all the features of Ada, although at present not all          Ada constructs can be formally analyzed.  The next phase of this                research will extend the formal description of both PLEASE and the              development process based on it; study the efficiency and scalability           of the technologies used to implement PLEASE and ENCOMPASS; investigate         the use of PLEASE in the development of large and parallel programs;            and extend ENCOMPASS with more sophisticated, knowledge-based tools.
{'FirstName': 'Robert', 'LastName': 'Terwilliger', 'PI_MID_INIT': 'B', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Robert B Terwilliger', 'EmailAddress': None, 'NSF_ID': '000161807', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Colorado at Boulder', 'CityName': 'Boulder', 'ZipCode': '803090001', 'PhoneNumber': '3034926221', 'StreetAddress': '3100 MARINE ST', 'StreetAddress2': 'STE 481 572 UCB', 'CountryName': 'United States', 'StateName': 'Colorado', 'StateCode': 'CO', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'CO02', 'ORG_UEI_NUM': 'SPVKK1RC2MZ3', 'ORG_LGL_BUS_NAME': 'THE REGENTS OF THE UNIVERSITY OF COLORADO', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8809418.xml'}