Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1991 (1) 2000 (1) 2003 (2) 2007 (2)
Publication types (Num. hits)
inproceedings(6)
Venues (Conferences, Journals, ...)
ACM Southeast Regional Confere...(1) ECOOP(1) ESEC / SIGSOFT FSE(1) ICDCS(1) IFM(1) WICSA(1)
Authors
Daniel Popescu(1) Hendrik Post(1) Il-Hyung Cho(1) Jens Knodel(1) Jianli Xu(1) John D. McGregor(1) Patrick Th. Eugster(1) Petri Selonen(1) Philippe Altherr(1) Rachid Guerraoui(1) Sébastien Baehni(1) Serge Lacourte(1) Wolfgang Küchlin(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Jens Knodel, Daniel Popescu A Comparison of Static Architecture Compliance Checking Approaches. Search on Bibsonomy WICSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF access rules, architecture compliance checking, conformance rules, SAVE, software architecture, static analysis, architecture evaluation
1Hendrik Post, Wolfgang Küchlin Integrated Static Analysis for Linux Device Driver Verification. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Petri Selonen, Jianli Xu Validating UML models against architectural profiles. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF architectural validation, UML, profiles
1Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui, Philippe Altherr Pragmatic Type Interoperability. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Il-Hyung Cho, John D. McGregor A formal approach to specifying and testing the interoperation between components. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Serge Lacourte Exceptions in Guide, an Object-Oriented Language for Distributed Applications. Search on Bibsonomy ECOOP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrency, consistency, object-oriented languages, exceptions
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.