1002 search results - page 49 / 201 » Test-Driven Development of Model Transformations |
ICWE
2009
Springer
14 years 1 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
ICIP
2005
IEEE
14 years 10 months ago
2005
IEEE
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
AI
2011
Springer
13 years 3 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
AGTIVE
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...