3792 search results - page 430 / 759 » Techniques for Trusted Software Engineering |
184
click to vote
MSR
2006
ACM
16 years 23 days ago
2006
ACM
Open Source Software (OSS) projects provide a unique opportunity to gather and analyze publicly available historical data. The Postgres SQL server, for example, has over seven yea...
205
click to vote
PPPJ
2006
ACM
16 years 23 days ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
186
Voted
IWPC
2003
IEEE
16 years 2 days ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
189
click to vote
SIGSOFT
2003
ACM
16 years 1 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
191
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...