Sciweavers

4799 search results - page 394 / 960
» Model Based Requirements Engineering for Embedded Software
Sort
View
CSCWD
2005
Springer
16 years 9 days ago
Analyzing groupware design by means of usability results
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
Pedro Antunes, Marcos R. S. Borges, José A....
ISORC
2005
IEEE
16 years 11 days ago
A GTRBAC Based System for Dynamic Workflow Composition and Management
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
Basit Shafiq, Arjmand Samuel, Halima Ghafoor
FASE
2010
Springer
16 years 1 months ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
UML
2005
Springer
16 years 8 days ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
ASWEC
2007
IEEE
15 years 10 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin