2407 search results - page 234 / 482 » A Tool for Abstraction in Model Checking |
227
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
193
click to vote
SOSE
2006
IEEE
16 years 1 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
215
click to vote
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
185
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates partial differential equation for Fick's law. The resulting model abstracts both...
193
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...