1481 search results - page 137 / 297 » Enriching the Software Development Process by Formal Methods |
165
click to vote
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
130
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
113
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
132
click to vote
SOFTVIS
2006
ACM
15 years 9 months ago
2006
ACM
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...
117
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...