Sciweavers

1435 search results - page 10 / 287
» CASE Support and Model-Based Development
Sort
View
FDL
2004
IEEE
13 years 11 months ago
Predictability in Real-time System Development (2) A Case Study
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
DOA
2001
117views more  DOA 2001»
13 years 8 months ago
Developing Mobile Agent Organizations: A Case Study in Digital Tourism
Mobile agents are a useful paradigm for the development of complex Internet applications. However, the effective development of mobile agent applications requires suitable models ...
Franco Zambonelli, Giacomo Cabri, Letizia Leonardi
JCDL
2009
ACM
204views Education» more  JCDL 2009»
14 years 2 months ago
Developing a flexible content model for media repositories: a case study
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
Christopher A. Beer, Peter D. Pinch, Karen Cariani
EMSOFT
2004
Springer
14 years 26 days ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le...
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans