Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase architecture analysis languages (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006 (2)
Publication types (Num. hits)
article(2)
Venues (Conferences, Journals, ...)
ACM SIGSOFT Software Engineeri...(2)
Authors
Flávio Oquendo(2) Radu Mateescu(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Radu Mateescu, Flávio Oquendo pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF architecture analysis languages, formal development techniques, software architectures, property specification, property verification
1Flávio Oquendo pi-Method: a model-driven formal method for architecture-centric software engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.