Sciweavers

16725 search results - page 347 / 3345
» Engineering Software Correctness
Sort
View
FASE
2009
Springer
15 years 9 months ago
On the Implementation of @pre
Piotr Kosiuczenko
APSEC
1999
IEEE
15 years 9 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
124
Voted
ISSTA
2006
ACM
15 years 10 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 4 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