977 search results - page 130 / 196 » Formal methods integration in software engineering |
152
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
162
click to vote
SIAMCOMP
2011
14 years 7 months ago
2011
The Gibbard-Satterthwaite theorem states that every non-dictatorial election rule among at least three alternatives can be strategically manipulated. We prove a quantitative versi...
140
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
143
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
119
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...