Sciweavers

1676 search results - page 58 / 336
» Describing Software Architecture with UML
Sort
View
SSR
2001
69views more  SSR 2001»
15 years 5 months ago
Managing variability in software architectures
This paper presents experience with explicitly managing variability within a software architecture. Software architects normally plan for change and put mechanisms in the architec...
Felix Bachmann, Leonard J. Bass
AOSD
2009
ACM
15 years 11 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
JSS
2008
96views more  JSS 2008»
15 years 4 months ago
Documenting after the fact: Recovering architectural design decisions
Software architecture documentation helps people in understanding the software architecture of a system. In practice, software architectures are often documented after the fact, i...
Anton Jansen, Jan Bosch, Paris Avgeriou
JSS
2007
75views more  JSS 2007»
15 years 4 months ago
A rationale-based architecture model for design traceability and reasoning
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
Antony Tang, Yan Jin, Jun Han
175
Voted
CL
2008
Springer
15 years 4 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin