8083 search results - page 23 / 1617 » A Formalization of Software Architecture |
131
Voted
IJAOSE
2008
15 years 3 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
116
Voted
ASE
2008
15 years 3 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
119
Voted
EUROPLOP
2006
15 years 5 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
134
Voted
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
137
Voted
DATE
2003
IEEE
15 years 9 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 ...