|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 8 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Xudong He, Yingjia Ding |
Object Orientation in Hierarchical Predicate Transition Nets. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Hassan Reza, Emanuel S. Grant |
A method to test concurrent systems using architectural specification. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems |
49 | Hassan Reza, Sandeep Endapally, Emanuel S. Grant |
A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Hassan Reza, Suhas Lande |
Model Based Testing Using Software Architecture. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
HPrTNs, Software Architecture, Software Testing, Model-Based testing, Architectural Description Languages (ADLs), acme |
25 | Hassan Reza |
A Methodology for Architectural Design of Concurrent and Distributed Software Systems. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs) |
25 | Hassan Reza, Emanuel S. Grant |
Model Oriented Software Architecture. |
COMPSAC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Xudong He |
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|