Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase interface grammars (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2007 (1) 2008 (2) 2009 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
ICSOC/ServiceWave(1) IEEE Trans. Software Eng.(1) ISSTA(1) TAV-WEB(1)
Authors
Graham Hughes(4) Tevfik Bultan(4) Muath Alkhalaf(2) Sylvain Hallé(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Graham Hughes, Tevfik Bultan, Muath Alkhalaf Client and server verification for web services using interface grammars. Search on Bibsonomy TAV-WEB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interface grammars, web services
3Graham Hughes, Tevfik Bultan Interface grammars for modular software model checking. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interface grammars, model checking, modular verification
2Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf Generating Interface Grammars from WSDL for Automated Verification of Web Services. Search on Bibsonomy ICSOC/ServiceWave The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Graham Hughes, Tevfik Bultan Interface Grammars for Modular Software Model Checking. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.