Sciweavers

6829 search results - page 36 / 1366
» Quantitative Generalizations of Languages
Sort
View
95
Voted
AGTIVE
2007
Springer
15 years 7 months ago
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
Rubino Geiß, Moritz Kroll
73
Voted
ICALP
2003
Springer
15 years 6 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
SIGSOFT
2004
ACM
16 years 1 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde