A Tool for Assisting the Understanding and Formal Development of Software

Simple item page
dc.contributor.authorAbd-El-Hafiz, S.K.
dc.contributor.authorBasili, Victor R.
dc.date.accessioned2008-02-13T17:13:51Z
dc.date.available2008-02-13T17:13:51Z
dc.date.issued1993-09-15
dc.format.extent5986205 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.citationV. Basili and S. Abd-El-Hafiz, “A Tool for Assisting the Understanding and Formal Development of Software,” University of Maryland, CS-TR-3136, UMIACS-TR-93-89, October 1993.en
dc.identifier.urihttp://hdl.handle.net/1903/7541
dc.language.isoen_USen
dc.relation.isAvailableAtCollege of Computer, Mathematical & Physical Sciencesen_us
dc.relation.isAvailableAtComputer Scienceen_us
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_us
dc.relation.isAvailableAtUniversity of Maryland (College Park, MD)en_us
dc.subjectprogram understandingen
dc.subjectreverse engineeringen
dc.subjectloopsen
dc.subjectpredicate logicen
dc.subjectformal software developmenten
dc.titleA Tool for Assisting the Understanding and Formal Development of Softwareen
dc.typeTechnical Reporten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
A Tool.pdf
Size:
5.71 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Computer Science Research Works