1799 search results - page 120 / 360 » The Logic of Correctness in Software Engineering |
159
click to vote
SIGSOFT
2010
ACM
15 years 28 days ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
138
Voted
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
144
click to vote
SEFM
2009
IEEE
16 years 28 days ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
135
click to vote
AGILEDC
2008
IEEE
16 years 20 days ago
2008
IEEE
Scrum focuses on collaboration with the customer, but what if your customer is actually a provider for yet another customer? Then who is your real customer? What if these two poss...
135
click to vote
KBSE
2008
IEEE
16 years 18 days ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...