Sciweavers

16725 search results - page 347 / 3345
» Engineering Software Correctness
Sort
View
FASE
2009
Springer
15 years 12 months ago
On the Implementation of @pre
Piotr Kosiuczenko
APSEC
1999
IEEE
15 years 11 months ago
A Study of Productivity and Efficiency for Object-Oriented Methods and Languages
A study was commissioned by Hughes Space and Communications software engineering group to determine the effectiveness of the recent
Daniel Port, Monica McArthur
ISSTA
2006
ACM
16 years 1 months ago
Architecture-based testing using goals and plans
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, ...
ICSE
2005
IEEE-ACM
16 years 7 months ago
The challenges of software engineering education
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
Carlo Ghezzi, Dino Mandrioli