1199 search results - page 20 / 240 » Software Verification and Software Engineering a Practitione... |
127
Voted
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
COMSIS
2004
15 years 1 months ago
2004
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...
97
Voted
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
System and program verification has been a large
150
click to vote
SIGCSE
2012
ACM
2012
ACM
Understanding the tenets of agile software engineering: lecturing, exploration and critical thinking
13 years 9 months ago
The use of agile principles and practices in software development is becoming a powerful force in today’s workplace. In our quest to develop better products, therefore, it is im...
102
click to vote
JOT
2006
15 years 1 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models