Search results for "UML/SPT"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Abdelouahed Gherbi, Ferhat Khendek	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.	ISORC	2007	DBLP DOI BibTeX RDF
141	Abdelouahed Gherbi, Ferhat Khendek	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.	SAM	2006	DBLP DOI BibTeX RDF
119	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
83	Abdelouahed Gherbi, Ferhat Khendek	Consistency of UML/SPT Models.	SDL Forum	2007	DBLP DOI BibTeX RDF
83	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.	ISORC	2006	DBLP DOI BibTeX RDF
74	Elena Gómez-Martínez, José Merseguer	ArgoSPE: Model-Based Software Performance Engineering.	ICATPN	2006	DBLP DOI BibTeX RDF	UML-SPT, UML, software performance evaluation, GSPN
72	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
58	Elena Gómez-Martínez, José Merseguer	A Software Performance Engineering Tool based on the UML-SPT.	QEST	2005	DBLP DOI BibTeX RDF
58	Dorina C. Petriu, C. Murray Woodside, Dorin Bogdan Petriu, Jing Xu 0024, Toqeer Israr, Geri Georg, Robert B. France, James M. Bieman, Siv Hilde Houmb, Jan Jürjens	Performance analysis of security aspects in UML models.	WOSP	2007	DBLP DOI BibTeX RDF	security, UML, model transformations, software performance engineering, aspect-oriented modeling
34	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
34	C. Murray Woodside	From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.	SFM	2007	DBLP DOI BibTeX RDF
24	Yong Zhang, Tao Huang 0001, Jun Wei 0001, Ningjiang Chen	A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware.	SET	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )