Sciweavers

15727 search results - page 303 / 3146
» Software Engineering - Introduction
Sort
View
IWPC
2007
IEEE
15 years 10 months ago
Lagrein: Visualizing User Requirements and Development Effort
Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...
SEFM
2007
IEEE
15 years 10 months ago
Sound reasoning about unchecked exceptions
Bart Jacobs 0002, Peter Müller, Frank Piessen...
SEW
2007
IEEE
15 years 10 months ago
Abstracting Pointers for a Verifying Compiler
Gregory Kulczycki, Heather Keown, Murali Sitaraman...
TASE
2007
IEEE
15 years 10 months ago
A Certified Thread Library for Multithreaded User Programs
Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin