Sciweavers

1613 search results - page 44 / 323
» Model-Driven Constraint Engineering
Sort
View
UIST
1996
ACM
15 years 6 months ago
Ultra-Lightweight Constraints
Scott E. Hudson, Ian E. Smith
ICSE
2000
IEEE-ACM
15 years 6 months ago
Alcoa: the alloy constraint analyzer
Daniel Jackson, Ian Schechter, Ilya Shlyakhter