Sciweavers

6106 search results - page 62 / 1222
» Modes for Software Architectures
Sort
View
ICSE
1997
IEEE-ACM
13 years 11 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov
CODES
2001
IEEE
13 years 11 months ago
A novel parallel deadlock detection algorithm and architecture
Pun H. Shiu, Yudong Tan, Vincent John Mooney III
ICSE
2000
IEEE-ACM
13 years 11 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...
ECSA
2007
Springer
13 years 9 months ago
A Distributed Staged Architecture for Multimodal Applications
Alessandro Costa Pereira, Falk Hartmann, Kay Kadne...