1856 search results - page 332 / 372 » Formal Dialectic Specification |
118
click to vote
JUCS
2008
15 years 1 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
127
Voted
SPLC
2010
15 years 10 days ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
129
click to vote
SAC
2010
ACM
14 years 12 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
136
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
126
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...