Sciweavers

1027 search results - page 1 / 206
» Language Support for Connector Abstractions
Sort
View
ECOOP
2003
Springer
13 years 10 months ago
Language Support for Connector Abstractions
Jonathan Aldrich, Vibha Sazawal, Craig Chambers, D...
ICSE
1993
IEEE-ACM
13 years 9 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw
CL
2008
Springer
13 years 5 months ago
Foundations of a simple and unified component-oriented language
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
Luc Fabresse, Christophe Dony, Marianne Huchard
AC
2003
Springer
13 years 10 months ago
A Mathematical Semantics for Architectural Connectors
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...
José Luiz Fiadeiro, Antónia Lopes, M...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
13 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink