19986 search results - page 91 / 3998 » On Designing Software Architectures |
92
Voted
TON
2010
14 years 7 months ago
2010
Disruption tolerant networks rely on intermittent contacts between mobile nodes to deliver packets using a storecarry-and-forward paradigm. We earlier proposed the use of throwbox ...
110
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
76
Voted
ECBS
2000
IEEE
15 years 5 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
94
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
ICSE
2003
IEEE-ACM
16 years 26 days ago
2003
IEEE-ACM
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...