Search results for "SCESM"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Humberto Nicolás Castejón Martínez, Rolv Bræk	A collaboration-based approach to service specification and detection of implied scenarios.	SCESM	2006	DBLP DOI BibTeX RDF	UML 2.0 collaborations, goal sequences, implied scenarios, roles, goals, service specification
1	Wolfgang Grieskamp, Nicolas Kicillof	A schema language for coordinating construction and composition of partial behavior descriptions.	SCESM	2006	DBLP DOI BibTeX RDF	partial behaviors, model-based testing, model composition
1	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Inferring operational requirements from scenarios and goal models using inductive learning.	SCESM	2006	DBLP DOI BibTeX RDF	FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering
1	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
1	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
1	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
1	Ingolf H. Krüger, Gunny Lee, Michael Meisinger	Automating software architecture exploration with M2Aspects.	SCESM	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, scenarios, roles, aspects, AspectJ
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	Shin Nakajima 0001, Tetsuo Tamai	Aspect-oriented software design with a variant of UML/STD.	SCESM	2006	DBLP DOI BibTeX RDF	UML, SPIN, state diagrams, join point model
1	Holger Giese, Stefan Henkler, Martin Hirsch 0001, Florian Klein 0001	Nobody's perfect: interactive synthesis from parametrized real-time scenarios.	SCESM	2006	DBLP DOI BibTeX RDF	scenario-based synthesis, model checking, patterns, diagnosis
1	Jon Whittle 0001, Leif Geiger, Michael Meisinger (eds.)	SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006	SCESM	2006	DBLP BibTeX RDF
1	Jon Whittle 0001, Leif Geiger, Michael Meisinger	Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM).	SCESM	2006	DBLP DOI BibTeX RDF	UML, scenarios, state machines, message sequence charts
1	Hongzhi Liang, Jürgen Dingel, Zinovy Diskin	A comparative survey of scenario-based to state-based model synthesis approaches.	SCESM	2006	DBLP DOI BibTeX RDF	model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC

Publications at "SCESM"( http://dblp.L3S.de/Venues/SCESM )