Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/109791
Full metadata record
DC Field | Value | Language |
---|---|---|
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 | - |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cabot_LNCS_Tool_Support.pdf | 1,46 MB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.