3837 search results - page 80 / 768 » Concurrent Engineering support in Software Engineering |
133
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
137
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
ESSOS
2010
Springer
15 years 8 months ago
2010
Springer
Web browsers that support a safe language such as Javascript are becoming a platform of great interest for security attacks. One such attack is a heap-spraying attack: a new kind o...
101
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
124
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...