15777 search results - page 629 / 3156 » The Reformulation-Optimization Software Engine |
180
click to vote
KBSE
1997
IEEE
15 years 10 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...
155
click to vote
AMAST
2008
Springer
15 years 8 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...
187
click to vote
CSI
2007
15 years 6 months ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
176
click to vote
MSR
2006
ACM
16 years 13 days ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
212
click to vote
ICSM
2008
IEEE
16 years 27 days ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...