606 search results - page 95 / 122 » A Practical Approach of Teaching Software Engineering |
116
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
190
Voted
EDOC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Enterprise architecture (EA) management provides an engineering approach for the continuous advancement of the enterprise as a whole. The high number of involved compone...
178
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
126
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
125
click to vote
CBSE
2011
Springer
14 years 2 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...