1799 search results - page 118 / 360 » The Logic of Correctness in Software Engineering |
160
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
156
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
180
click to vote
APAQS
2001
IEEE
15 years 9 months ago
2001
IEEE
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
151
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
173
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...