CAP -- A CASE System for Concurrent Ada Programs
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'John D. Gannon', 'PO_EMAI': None, 'PO_PHON': None}
The goals of this research are to: develop a new approach to designing          concurrent programs using networks of communicating finite state                machines; build a graphically-oriented computer aided software                  engineering system, based on this technology, for specifying and                designing the tasking aspects of Ada programs.  A unique aspect of the          system is its ability to automatically decompose a finite state machine         into a network of communicating finite state machines having the same           behavior.  Thus the designer can utilize additional sources of                  concurrent behavior that are not apparent in the original finite state          machine specification, and guide the decomposition so as to obtain a            desired concurrent structure.
{'FirstName': 'Philip', 'LastName': 'Lewis', 'PI_MID_INIT': 'M', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Philip M Lewis', 'EmailAddress': 'pml@cs.sunysb.edu', 'NSF_ID': '000157887', 'StartDate': '05/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'SUNY at Stony Brook', 'CityName': 'STONY BROOK', 'ZipCode': '117940001', 'PhoneNumber': '6316329949', 'StreetAddress': 'W5510 FRANKS MELVILLE MEMORIAL L', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'NY01', 'ORG_UEI_NUM': 'M746VC6XMNH9', 'ORG_LGL_BUS_NAME': 'THE RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK', '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': '8822839.xml'}