Sciweavers

930 search results - page 61 / 186
» Integrating dialog modelling and application development
Sort
View
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 7 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
JUCS
2006
119views more  JUCS 2006»
13 years 9 months ago
Course Modeling for Student Profile Based Flexible Higher Education on the Internet
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
László Horváth, Imre J. Rudas
CSMR
2010
IEEE
13 years 4 months ago
Reverse Engineering Component Models for Quality Predictions
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
Steffen Becker, Michael Hauck, Mircea Trifu, Klaus...
ENVSOFT
2006
72views more  ENVSOFT 2006»
13 years 9 months ago
Integrating legacy components into a software system for storm sewer simulation
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
Shiu-Shin Lin, Shang-Hsien Hsieh, Jan-Tai Kuo, Yin...
IJET
2007
101views more  IJET 2007»
13 years 9 months ago
XML and Databases for E-Learning Applications
: XML has become a standard format in information exchange and integration on the Web. Much research has been conducted in recent years on XML technology, which has led to new deve...
Samir Abou El-Seoud, Hosam Farouk El-Sofany, Fayed...