NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Computer Science research and development , Tập 28, Số 4, 2013
Mục lục:
DòngNội dung
1Rigorous software engineering / Sabine Glesner
2ERC grants / Gabor Nagy
3A journey through SMScom: self-managing situational computing / Luciano Baresi, Carlo Ghezzi
4Supporting incremental behaviour model elaboration / Sebastian Uchitel, Dalal Alrajeh, Shoham Ben-David, Victor Braberman, Marsha Chechik, Guido De Caso, Nicolas D’Ippolito · Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay
5From software verification to `everyware' verification / Marta Kwiatkowska
6Requirements-driven software evolution / Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, John Mylopoulos
7Quantitative reactive modeling and verification / Thomas A. Henzinger