3045 search results - page 99 / 609 » Formal Approaches to Software Architecture |
FM
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
109
click to vote
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
131
click to vote
IWPC
2002
IEEE
15 years 4 months ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...
184
click to vote
ASPLOS
2009
ACM
15 years 11 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
108
click to vote
FGCS
2006
14 years 11 months ago
2006
CSCL systems can benefit from using grids since they offer a common infrastructure enabling the access to an extended pool of resources that can provide supercomputing capabilitie...