3514 search results - page 290 / 703 » Evolving Specification Engineering |
164
click to vote
COMPSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
188
click to vote
COMPSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
138
click to vote
MUE
2007
IEEE
16 years 27 days ago
2007
IEEE
Design patterns address a recurring design problem for a specific situation, and present a solution. Design patterns have proven useful in many engineering disciplines such as Sof...
187
click to vote
WER
2007
Springer
16 years 22 days ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
128
Voted
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...