2145 search results - page 85 / 429 » Architectural Specifications in CASL |
AC
2003
Springer
14 years 2 months 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...
ICSE
2003
IEEE-ACM
14 years 2 months ago
2003
IEEE-ACM
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
MDM
2001
Springer
14 years 2 months ago
2001
Springer
Mobile applications are required to operate in environments characterised by change. More specifically, the availability of resources and services may change significantly during a...
DSVIS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...