Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995301229> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1995301229 abstract "This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). The workshop was held in Reykjavik, Iceland, on June 9, 2011, as part of DisCoTec 2011. The aim of the WWV workshop series is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. Nowadays, indeed, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government, and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools. In response to this year's call for papers, we received 9 paper submissions. The Program Committee of WWV 2011 collected three reviews for each paper and held an electronic discussion leading to the selection of 7 papers for presentation at the workshop. In addition to the selected papers, the scientific programme included an invited lecture by Elie Najm." @default.
- W1995301229 created "2016-06-24" @default.
- W1995301229 creator A5007264795 @default.
- W1995301229 creator A5066761763 @default.
- W1995301229 creator A5071158512 @default.
- W1995301229 date "2011-08-10" @default.
- W1995301229 modified "2023-10-03" @default.
- W1995301229 doi "https://doi.org/10.4204/eptcs.61" @default.
- W1995301229 hasPublicationYear "2011" @default.
- W1995301229 type Work @default.
- W1995301229 sameAs 1995301229 @default.
- W1995301229 citedByCount "0" @default.
- W1995301229 crossrefType "journal-issue" @default.
- W1995301229 hasAuthorship W1995301229A5007264795 @default.
- W1995301229 hasAuthorship W1995301229A5066761763 @default.
- W1995301229 hasAuthorship W1995301229A5071158512 @default.
- W1995301229 hasBestOaLocation W19953012291 @default.
- W1995301229 hasConcept C115903868 @default.
- W1995301229 hasConcept C118643609 @default.
- W1995301229 hasConcept C126838900 @default.
- W1995301229 hasConcept C134306372 @default.
- W1995301229 hasConcept C136764020 @default.
- W1995301229 hasConcept C138885662 @default.
- W1995301229 hasConcept C165696696 @default.
- W1995301229 hasConcept C2777601897 @default.
- W1995301229 hasConcept C2778137410 @default.
- W1995301229 hasConcept C33923547 @default.
- W1995301229 hasConcept C36503486 @default.
- W1995301229 hasConcept C38652104 @default.
- W1995301229 hasConcept C41008148 @default.
- W1995301229 hasConcept C41895202 @default.
- W1995301229 hasConcept C71924100 @default.
- W1995301229 hasConcept C75606506 @default.
- W1995301229 hasConceptScore W1995301229C115903868 @default.
- W1995301229 hasConceptScore W1995301229C118643609 @default.
- W1995301229 hasConceptScore W1995301229C126838900 @default.
- W1995301229 hasConceptScore W1995301229C134306372 @default.
- W1995301229 hasConceptScore W1995301229C136764020 @default.
- W1995301229 hasConceptScore W1995301229C138885662 @default.
- W1995301229 hasConceptScore W1995301229C165696696 @default.
- W1995301229 hasConceptScore W1995301229C2777601897 @default.
- W1995301229 hasConceptScore W1995301229C2778137410 @default.
- W1995301229 hasConceptScore W1995301229C33923547 @default.
- W1995301229 hasConceptScore W1995301229C36503486 @default.
- W1995301229 hasConceptScore W1995301229C38652104 @default.
- W1995301229 hasConceptScore W1995301229C41008148 @default.
- W1995301229 hasConceptScore W1995301229C41895202 @default.
- W1995301229 hasConceptScore W1995301229C71924100 @default.
- W1995301229 hasConceptScore W1995301229C75606506 @default.
- W1995301229 hasLocation W19953012291 @default.
- W1995301229 hasLocation W19953012292 @default.
- W1995301229 hasOpenAccess W1995301229 @default.
- W1995301229 hasPrimaryLocation W19953012291 @default.
- W1995301229 hasRelatedWork W1998459257 @default.
- W1995301229 hasRelatedWork W2010564228 @default.
- W1995301229 hasRelatedWork W2055196592 @default.
- W1995301229 hasRelatedWork W2091443634 @default.
- W1995301229 hasRelatedWork W2093244857 @default.
- W1995301229 hasRelatedWork W2296083621 @default.
- W1995301229 hasRelatedWork W2520001224 @default.
- W1995301229 hasRelatedWork W2748952813 @default.
- W1995301229 hasRelatedWork W3082497082 @default.
- W1995301229 hasRelatedWork W4301259826 @default.
- W1995301229 hasVolume "61" @default.
- W1995301229 isParatext "false" @default.
- W1995301229 isRetracted "false" @default.
- W1995301229 magId "1995301229" @default.
- W1995301229 workType "paratext" @default.