3045 search results - page 108 / 609 » Formal Approaches to Software Architecture |
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
ISIM
2007
15 years 15 days ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Software product lines have already proven to be a successful methodology for building and maintaining a collection of similar software products, based on a common architecture. H...
SSR
2001
15 years 13 days ago
2001
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...