A Revised Stoneman for Distributed ADA Support Environments
| dc.contributor.author | Goodwin, Jeremy P. | en |
| dc.contributor.department | Computer Science | en |
| dc.date.accessioned | 2013-06-19T14:35:44Z | en |
| dc.date.available | 2013-06-19T14:35:44Z | en |
| dc.date.issued | 1983 | en |
| dc.description.abstract | This paper extends the conceptual model of the "STONEMAN" document to more completely model the interfaces and protocols that exist in the Ada Programming Support Environment (APSE). A previous extension to the STONEMAN model is reviewed and critiqued, the guidelines for the APSE set forth in STONEMAN are reviewed, and an updated model is proposed. The new model is shown to meet the guidelines set forth in STONEMAN, and to include subsequent ideas as well. The new model is then applied to the problem of user communication with an APSE, and it is shown how the new model extends to include distributed APSEs as well as single host APSEs. The issue of security enforcement, as a necessary subset of dynamic verification, is also included in the new model. | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier | http://eprints.cs.vt.edu/archive/00000887/ | en |
| dc.identifier.sourceurl | http://eprints.cs.vt.edu/archive/00000887/01/CS83010-R.pdf | en |
| dc.identifier.trnumber | CS83010-R | en |
| dc.identifier.uri | http://hdl.handle.net/10919/19895 | en |
| dc.language.iso | en | en |
| dc.publisher | Department of Computer Science, Virginia Polytechnic Institute & State University | en |
| dc.relation.ispartof | Historical Collection(Till Dec 2001) | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.title | A Revised Stoneman for Distributed ADA Support Environments | en |
| dc.type | Technical report | en |
| dc.type.dcmitype | Text | en |
Files
Original bundle
1 - 1 of 1