Sciweavers

15787 search results - page 320 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
ICSEA
2007
IEEE
15 years 11 months ago
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
IWPC
2007
IEEE
15 years 11 months ago
Lagrein: Visualizing User Requirements and Development Effort
Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...
SEFM
2007
IEEE
15 years 11 months ago
Sound reasoning about unchecked exceptions
Bart Jacobs 0002, Peter Müller, Frank Piessen...
SEW
2007
IEEE
15 years 11 months ago
Abstracting Pointers for a Verifying Compiler
Gregory Kulczycki, Heather Keown, Murali Sitaraman...