138 search results - page 22 / 28 » Integrating Formal Methods with Model-Driven Engineering |
112
Voted
TCBB
2008
15 years 7 days ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
87
Voted
AAAI
2008
15 years 2 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
113
click to vote
SPLC
2010
14 years 10 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...