Technology transfer issues for formal methods of software specification

Software Engineering Education Conference, Proceedings

Volumn , Issue , 2000, Pages 23-31

  Abernethy, Ken ^a   Kelly, John ^a   Sobel, Ann ^a   Kiper, James D ^a   Powell, John ^a  

^a FURMAN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE SPECIFICATION; SOFTWARE SYSTEM;

COMPUTER SCIENCE; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CURRICULA; ENGINEERING EDUCATION; FORMAL LOGIC; PERSONNEL TRAINING; RELIABILITY; TECHNOLOGY TRANSFER;

SOFTWARE ENGINEERING;

EID: 0033872309     PISSN: 10930175     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSEE.2000.827014     Document Type: Article

References (24)