Sciweavers

2813 search results - page 1 / 563
» Formalizing Architectural Connection
Sort
View
ICSE
1994
IEEE-ACM
13 years 8 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
TOSEM
1998
100views more  TOSEM 1998»
13 years 4 months ago
Errata: A Formal Basis for Architectural Connection
Robert Allen, David Garlan
ICFEM
1998
Springer
13 years 8 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
IADIS
2004
13 years 5 months ago
Connect: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal and Informal Learning Environments
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
Sofoklis Sotiriou, Eleni Chatzichristou, Stavros S...
ISOLA
2010
Springer
13 years 3 months ago
Towards an Architecture for Runtime Interoperability
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, G...