Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109791
Registre complet de metadades
Camp DC | Valor | Llengua/Idioma |
---|---|---|
dc.contributor.author | Brambilla, Marco | - |
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Moreno Vergara, Nathalie | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | Universidad de Málaga | - |
dc.contributor.other | Politecnico di Milano | - |
dc.date.accessioned | 2020-02-18T08:23:41Z | - |
dc.date.available | 2020-02-18T08:23:41Z | - |
dc.date.issued | 2007-01-02 | - |
dc.identifier.citation | Brambilla, M., Cabot, J. & Moreno, N. (2007). Tool Support for Model Checking of Web application designs. Lecture Notes in Computer Science, 4607(), 533-538. doi: 10.1007/978-3-540-73597-7_50 | es |
dc.identifier.issn | 0302-9743MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109791 | - |
dc.description.abstract | In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools that facilitate model driven design of Web applications, automatic code generation, and automatic property verification. As recommended by current tendencies in the academic field, we bridge the gap between the tools by devising a set of MDA transformations between the different models. We show that such approach is feasible although we also highlight how current state-of-the-art industrial tools are still partially inadequate for providing seamless support to MDA approaches for industrial Web applications. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Lecture Notes in Computer Science | - |
dc.relation.uri | https://doi.org/10.1007/978-3-540-73597-7_50 | - |
dc.rights | CC BY-NC-ND | - |
dc.subject | Web application designs | en |
dc.subject | Web application models | en |
dc.title | Tool Support for Model Checking of Web application designs | en |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1007/978-3-540-73597-7_50 | - |
dc.gir.id | AR/0000001075 | - |
dc.type.version | info:eu-repo/semantics/acceptedVersion | - |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS_Tool_Support.pdf | 1,46 MB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.