DocumentCode :
2776728
Title :
Assertion techniques for dynamic monitoring of linear list data structures
Author :
Yau, Stephen S. ; Ramey, John L.
Author_Institution :
Northwestern University
fYear :
1979
fDate :
1979
Firstpage :
606
Lastpage :
611
Keywords :
Computerized monitoring; Contracts; Data structures; Embedded software; High level languages; Large-scale systems; Programming profession; Software maintenance; Software measurement; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
Type :
conf
DOI :
10.1109/CMPSAC.1979.762566
Filename :
762566
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2776728
بازگشت