Lightweight Testing of Communication Networks with e-Motions

Troya Castilla, Javier; Bautista, José M.; López Romero, Fernando; Vallecillo Moreno, Antonio

doi:10.1007/978-3-642-21768-5_14

Ponencia

dc.creator	Troya Castilla, Javier	es
dc.creator	Bautista, José M.	es
dc.creator	López Romero, Fernando	es
dc.creator	Vallecillo Moreno, Antonio	es
dc.date.accessioned	2018-04-17T10:29:04Z
dc.date.available	2018-04-17T10:29:04Z
dc.date.issued	2011
dc.identifier.citation	Troya Castilla, J., Bautista, J.M., López Romero, F. y Vallecillo Moreno, A. (2011). Lightweight Testing of Communication Networks with e-Motions. En TAP 2011: 5th International Conference on Tests and Proofs (187-204), Zurich, Switzerland: Springer.
dc.identifier.isbn	978-3-642-21767-8	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	https://hdl.handle.net/11441/73202
dc.description.abstract	This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.	es
dc.description.sponsorship	Junta de Andalucía P07-TIC-03184	es
dc.description.sponsorship	Ministerio de Ciencia e Innovación TIN2008-03107	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	TAP 2011: 5th International Conference on Tests and Proofs (2011), p 187-204
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Lightweight Testing of Communication Networks with e-Motions	es
dc.type	info:eu-repo/semantics/conferenceObject	es
dcterms.identifier	https://ror.org/03yxnpp24
dc.type.version	info:eu-repo/semantics/submittedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos	es
dc.relation.projectID	P07-TIC-03184	es
dc.relation.projectID	TIN2008-03107	es
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-642-21768-5_14	es
dc.identifier.doi	10.1007/978-3-642-21768-5_14	es
idus.format.extent	18	es
dc.publication.initialPage	187	es
dc.publication.endPage	204	es
dc.eventtitle	TAP 2011: 5th International Conference on Tests and Proofs	es
dc.eventinstitution	Zurich, Switzerland	es
dc.relation.publicationplace	Berlín	es
dc.contributor.funder	Junta de Andalucía
dc.contributor.funder	Ministerio de Ciencia e Innovación (MICIN). España

Ficheros	Tamaño	Formato	Ver	Descripción
Lightweight Testing.pdf	1.219Mb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Ponencias (Lenguajes y Sistemas Informáticos)

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional