123 search results - page 9 / 25 » Static Specification Mining Using Automata-Based Abstraction... |
273
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
189
click to vote
ASE
2011
14 years 10 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
162
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...
166
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
164
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...