276 search results - page 34 / 56 » Evaluating formal properties of feature diagram languages |
DAGSTUHL
1998
15 years 1 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
SIGPLAN
2002
14 years 11 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
XML transformations are very sensitive to types: XML types describe the tags and attributes of XML elements as well as the number, kind, and order of their sub-elements. Therefore,...
103
click to vote
CC
2008
Springer
15 years 1 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
101
click to vote
VL
2006
IEEE
15 years 5 months ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...