Sciweavers

2186 search results - page 285 / 438
» Developing Educational Software Components
Sort
View
KBSE
1998
IEEE
15 years 10 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
EDBT
2008
ACM
202views Database» more  EDBT 2008»
16 years 6 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...
CISIS
2008
IEEE
16 years 22 days ago
Hybrid Performance Modeling and Prediction of Large-Scale Computing Systems
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
Sabri Pllana, Siegfried Benkner, Fatos Xhafa, Leon...
JIT
2005
Springer
115views Database» more  JIT 2005»
15 years 11 months ago
Dynamic Aspect Weaver Family for Family-based Adaptable Systems
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
Wasif Gilani, Olaf Spinczyk
COMPSAC
2002
IEEE
15 years 11 months ago
WWM: A Practical Methodology for Web Application Modeling
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
Chanwit Kaewkasi, Wanchai Rivepiboon