|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He |
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).  |
QSIC  |
2008 |
DBLP DOI BibTeX RDF |
Software architecture specification, Petri net, rewriting logic, interleaving semantics |
| 1 | Antônio Tadeu A. Gomes, Thaís Vasconcelos Batista, Ackbar Joolia, Geoff Coulson |
Architecting Dynamic Reconfiguration in Dependable Systems. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
specification-to-deployment environments, dynamic reconfiguration, dependable systems |
| 1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Reasoning About Software Architecture-Based Regression Testing Through a Case Study. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul |
Tomorrow's Needs - Yesterday's Technology: DOD's Architectural Dilemma and Plan for Resolution. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Yang, Raimund K. Ege, Huiqun Yu |
Mediation Systems Modeling and Verification. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Modeling, verification, mediation systems |
| 1 | Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song |
A Generative Style-driven Framework for Software Architecture Design. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Suzanne Barber, Thomas J. Graser, Jim Holt |
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiacun Wang, Xudong He, Yi Deng |
Introducing software architecture specification and analysis in SAM through an example. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")