5 citations · 5 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2011★ 5 cited
Specification and Verification of Context-dependent Services
Naseem Ibrahim, Vangalur Alagar, Mubarak Mohammad
Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guar…
cs.SE2002
Three-Tiered Specification of Micro-Architectures
Vasu Alagar, Ralf Laemmel
A three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained…