851 search results - page 61 / 171 » History Effects and Verification |
SIGSOFT
2001
ACM
16 years 18 days ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
112
click to vote
CADE
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Search engine switching describes the voluntarily transition from one Web search engine to another. In this paper we present a study of search engine switching behavior that combi...
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...