1199 search results - page 19 / 240 » Software Verification and Software Engineering a Practitione... |
108
click to vote
ECSA
2010
Springer
15 years 13 days ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
95
Voted
SEW
2005
IEEE
15 years 7 months ago
2005
IEEE
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
105
Voted
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
125
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...