3045 search results - page 10 / 609 » Formal Approaches to Software Architecture |
ICSM
1996
IEEE
13 years 11 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
AC
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
WICSA
2008
13 years 8 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...