816 search results - page 67 / 164 » Automating Verification by Functional Abstraction at the Sys... |
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...
RE
2006
Springer
13 years 9 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
FMCO
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...