294 search results - page 29 / 59 » An Architectural Model for Application Integration in Open H... |
WICSA
2001
13 years 10 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
CBSE
2006
Springer
14 years 22 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ECUMN
2007
Springer
14 years 3 months ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...