Sciweavers

2878 search results - page 315 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza
BIOSYSTEMS
2008
129views more  BIOSYSTEMS 2008»
15 years 6 months ago
Reconstruction of DNA sequences using genetic algorithms and cellular automata: Towards mutation prediction?
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
Ch. Mizas, Georgios Ch. Sirakoulis, Vasilios A. Ma...
FASE
2007
Springer
16 years 25 days ago
Testing Scenario-Based Models
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
Hillel Kugler, Michael J. Stern, E. Jane Albert Hu...
RE
2005
Springer
16 years 4 days ago
Do Viewpoints Lead to Better Conceptual Models? An Exploratory Case Study
The use of viewpoints has long been proposed as a technique to structure evolving requirements models. In theory, viewpoints should provide better stakeholder traceability, and th...
Steve M. Easterbrook, Eric S. K. Yu, Jorge Aranda,...
CLIMA
2011
14 years 6 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...