16725 search results - page 320 / 3345 » Engineering Software Correctness |
135
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
141
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
133
click to vote
FASE
1999
Springer
15 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
125
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Despite the fact that software development is an inherently collaborative activity, a great deal of software development is spent with developers in isolation, working on their ow...
136
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...