Search results for "scenario specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel	Sensitivity analysis for a scenario-based reliability prediction model.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	scenario specification, software reliability prediction, sensitivity analysis, labelled transition systems, architecture models
2	Shengbing Ren, Kexing Rui, Gregory Butler	Refactoring the Scenario Specification: A Message Sequence Chart Approach.	OOIS	2003	DBLP DOI BibTeX RDF
2	Mohammed Elkoutbi, Rudolf K. Keller	User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping
1	Mohammad Feroz Raihan, Mohammad Zulkernine	AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification.	ARES	2007	DBLP DOI BibTeX RDF
1	Yoram Atir, David Harel	Using LSCs for scenario authoring in tactical simulators.	SCSC	2007	DBLP DOI BibTeX RDF	live sequence charts (LSCs), scenario authoring, tactical simulators, end-user programming, behavioral specification
1	Hédi Hamdi, Mohamed Mosbah, Adel Bouhoula	A Domain Specific Language for Securing Distributed Systems.	ICSNC	2007	DBLP DOI BibTeX RDF
1	Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer	Detecting Implied Scenarios from Execution Traces.	WCRE	2007	DBLP DOI BibTeX RDF
1	Michael Wittkämper, Anne-Kathrin Braun, Iris Herbst, Jan Herling	A Distributed System for Augmented Reality Experiences in Science Centers and Museums.	Edutainment	2007	DBLP DOI BibTeX RDF	AR Streaming, AR/MR User Interface, Augmented Reality
1	Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Local Testing of Message Sequence Charts Is Difficult.	FCT	2007	DBLP DOI BibTeX RDF
1	Jonathon Abbott, Jim Bell, Andrew Clark, Olivier Y. de Vel, George M. Mohay	Automated recognition of event scenarios for digital forensics.	SAC	2006	DBLP DOI BibTeX RDF	heterogeneous event logs, events, logs, computer forensics, event correlation
1	Nicolas Mollet, Bruno Arnaldi	Storytelling in Virtual Reality for Training.	Edutainment	2006	DBLP DOI BibTeX RDF
1	Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng	Scenario-Based Component Behavior Derivation.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng	Scenario-based Component Behavior Filtration.	SET	2006	DBLP DOI BibTeX RDF
1	Stefan Einer	Szenarienspezifikation zur Systemverhaltensanalyse mit Petrinetzen (Scenario Specification for the Analysis of System Behaviour by Petri-Nets).	Automatisierungstechnik	2005	DBLP DOI BibTeX RDF
1	Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel	Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.	FASE	2005	DBLP DOI BibTeX RDF
1	Reginald L. Hobbs	Using A Scenario Specification Language to Add Context to Design Patterns.	SEKE	2004	DBLP BibTeX RDF
1	Bill Mitchell	Inherent Causal Orderings of Partial Order Scenarios.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul	Scenario-based Object-Oriented Testing Framework.	QSIC	2003	DBLP DOI BibTeX RDF	Scenario-based testing, object-oriented test frameworks, design for change and automated test execution, design patterns, regression testing
1	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
1	Henry Muccini	Detecting Implied Scenarios Analyzing Non-local Branching Choices.	FASE	2003	DBLP DOI BibTeX RDF
1	Dorina C. Petriu, Daniel Amyot, C. Murray Woodside	Scenario-Based Performance Engineering with UCMNAV.	SDL Forum	2003	DBLP DOI BibTeX RDF
1	Khalid H. Siddiqui, C. Murray Woodside	Performance aware software development (PASD) using resource demand budgets.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance budgets, scenario specification, performance prediction, software performance engineering, performance requirements
1	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Negative scenarios for implied scenario elicitation.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	implied scenarios, negative scenarios, MSC
1	Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, Weiguang Shao, Vishal Agarwal	End-To-End Integration Testing Design.	COMPSAC	2001	DBLP DOI BibTeX RDF
1	Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller	Generating User Interface Prototypes from Scenarios. (PDF / PS)	RE	1999	DBLP DOI BibTeX RDF	scenario engineering, scenario specification, unified modeling language, user interface generation, user interface prototyping