Sciweavers

2805 search results - page 66 / 561
» Software, architecture, and participatory design
Sort
View
ECBS
2005
IEEE
162views Hardware» more  ECBS 2005»
14 years 2 months ago
Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
Antony Tang, Jun Han
ECOOP
1995
Springer
14 years 25 days ago
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
Douglas C. Schmidt, Paul Stephenson
CASCON
1997
93views Education» more  CASCON 1997»
13 years 10 months ago
Repairing software style using graph grammars
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
Hoda Fahmy, Richard C. Holt, Spiros Mancoridis
FASE
2004
Springer
14 years 1 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
IWPC
1998
IEEE
14 years 1 months ago
Pattern Visualization for Software Comprehension
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
Reinhard Schauer, Rudolf K. Keller