Search results for "scenario language"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere	Testing mobile computing applications: toward a scenario language and tools.	WODA	2008	DBLP DOI BibTeX RDF	scenario language, testing, graph matching, mobile computing systems
3	Frédéric Devillers, Stéphane Donikian	SLuHrG: a scenario language to partially constrain autonomous agents activity.	AAMAS	2003	DBLP DOI BibTeX RDF	behavioural animation, scenario language
2	Hiroshi Matsuda, Tomomi Morita, Yoshiaki Shindo	Development of Cyber Theater and Cyber Theater Scenario Language.	ICALT	2003	DBLP DOI BibTeX RDF
1	Hiroshi Matsuda, Yoshiaki Shindo	Virtual Chemical Experiment Using Cyber Assistant Professor: CAP.	ICALT	2008	DBLP DOI BibTeX RDF
1	Stéphanie Gerbaud, Nicolas Mollet, Franck Ganier, Bruno Arnaldi, Jacques Tisseau	GVT: a platform to create virtual environments for procedural training.	VR	2008	DBLP DOI BibTeX RDF
1	Yoshiaki Shindo, Hiroshi Matsuda	Virtual Experiment using Cyber Assistant Professor: CAP.	ICALT	2007	DBLP DOI BibTeX RDF
1	Christian Seybold, Silvio Meier, Martin Glinz	Scenario-driven modeling and validation of requirements models.	SCESM	2006	DBLP DOI BibTeX RDF	Adora, simulation, modeling, scenarios, statecharts
1	Thomas A. Alspaugh, Bill Tomlinson, Eric Baumer	Using social agents to visualize software scenarios.	SOFTVIS	2006	DBLP DOI BibTeX RDF	ScenarioML, social autonomous characters, scenario analysis, interactive animation
1	Hiroshi Matsuda, Yoshiaki Shindo	Interactive Lecture using Cyber Assistant Professor: CAP.	ICALT	2006	DBLP DOI BibTeX RDF
1	Hiroshi Matsuda, Yoshiaki Shindo	Effect of Creative Lesson by using Cyber Theater Gallery.	ICALT	2006	DBLP DOI BibTeX RDF
1	Werner Damm, Tobe Toben, Bernd Westphal	On the Expressive Power of Live Sequence Charts.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
1	Nicolas Mollet, Bruno Arnaldi	Storytelling in Virtual Reality for Training.	Edutainment	2006	DBLP DOI BibTeX RDF
1	Hiroshi Matsuda, Yoshiaki Shindo	Design and Implementation of Cyber Assistant Professor: CAP.	ICALT	2005	DBLP DOI BibTeX RDF
1	Tatsuya Toyama, Atsushi Ohnishi	Rule-based Verification of Scenarios with Pre-conditions and Post-conditions.	RE	2005	DBLP DOI BibTeX RDF
1	Hiroshi Matsuda, Yoshiaki Shindo	Creative Lesson by using Cyber Theater Scenario Language: CTSL.	ICALT	2004	DBLP DOI BibTeX RDF
1	Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel	Revisiting Statechart Synthesis with an Algebraic Approach.	ICSE	2004	DBLP DOI BibTeX RDF
1	Alexander Kleymenov, D. Petunin, Alexander Semenov, I. Vazhev	A Model of Cooperative Solvers for Computational Problems.	PPAM	2001	DBLP BibTeX RDF