Sciweavers

1676 search results - page 215 / 336
» Describing Software Architecture with UML
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
WWW
2006
ACM
16 years 7 months ago
Rapid prototyping of web applications combining domain specific languages and model driven design
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
Demetrius Arraes Nunes, Daniel Schwabe
ESSOS
2009
Springer
16 years 1 months ago
Idea: Trusted Emergency Management
Through first-responder access to sensitive information for which they have not been pre-vetted, lives and property can be saved. We describe enhancements to a trusted emergency i...
Timothy E. Levin, Cynthia E. Irvine, Terry Benzel,...
ICFEM
2009
Springer
16 years 26 days ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
16 years 8 days ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way