448 search results - page 57 / 90 » A Meta-Method for Formal Method Integration |
141
click to vote
SCP
2010
15 years 1 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
123
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
241
Voted
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
108
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
166
click to vote
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...