Sciweavers

2253 search results - page 222 / 451
» An Approach to Specifying Software Frameworks
Sort
View
WADT
1998
Springer
15 years 8 months ago
Semantic Constructions for Hidden Algebra
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Corina Cîrstea
APSEC
2007
IEEE
15 years 8 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
EWSPT
1995
Springer
15 years 8 months ago
Decentralised Process Modelling
In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key ...
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein,...
TCBB
2011
14 years 11 months ago
Visual Exploration across Biomedical Databases
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
Michael D. Lieberman, Sima Taheri, Huimin Guo, Fat...
CSMR
1998
IEEE
15 years 9 months ago
The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
Jürgen Ebert, Bernt Kullbach, Andreas Panse