Sciweavers

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