Sciweavers

4476 search results - page 177 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ER
2009
Springer
316views Database» more  ER 2009»
15 years 10 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
MDAFA
2004
Springer
178views Hardware» more  MDAFA 2004»
15 years 12 months ago
Model Bus: Towards the Interoperability of Modelling Tools
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
Xavier Blanc, Marie-Pierre Gervais, Prawee Sriplak...
ICPP
1999
IEEE
15 years 11 months ago
The Index-Permutation Graph Model for Hierarchical Interconnection Networks
In this paper, we present the index-permutation (IP) graph model, and apply it to the systematic development of efficient hierarchical networks. We derive several classes of inter...
Chi-Hsiang Yeh, Behrooz Parhami
FMCO
2005
Springer
16 years 2 days ago
A Software Component Model and Its Preliminary Formalisation
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
JUCS
2007
90views more  JUCS 2007»
15 years 6 months ago
Supporting the Authoring and Operationalization of Educational Modelling Languages
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
Iván Martínez-Ortiz, Pablo Moreno-Ge...