- Taschenbuch: 188 Seiten
- Verlag: VDM Verlag (8. September 2009)
- Sprache: Englisch
- ISBN-10: 3639189434
- ISBN-13: 978-3639189438
- Größe und/oder Gewicht: 22,9 x 15,2 x 1,1 cm
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Produktinformation |
Produktbeschreibungen
Kurzbeschreibung
With the pervasive and accelerating growth of web applications, correctness is a primary concern. Meanwhile, software communities are increasingly adopting formal methods, mainly to achieve reliability and better automation, to analyze various types of applications. In this work, a communicating automata modeling technique is proposed using the dynamic analysis approach to infer models from user-based execution traces of Web applications. These models are used to verify properties of Web applications by means of model checking technique. Also, the problem of property specification in LTL over a subset of states of a system under test is addressed. Operators that facilitate specifying properties over propositional scopes are introduced, where each scope constitutes a subset of states that satisfy a propositional logic formula. Finally, to facilitate the use of formal methods in conventional web engineering techniques, a library of web specification pattern is proposed. It includes 119 patterns specified in LTL. These are based on the analysis of Web quality rules, written in English prose.
Über den Autor
May Haydar received the Ph.D. degree in computer science from Université de Montréal. She was a Graduate Research Fellow at Centre de recherche informatique de Montréal. Currently, she is a postdoctoral researcher at Concordia University. Her current research interests include formal methods and their application to Web applications and Services.
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Eine digitale Version dieses Buchs im Kindle-Shop verkaufen
Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen.
Weitere Informationen
Kundenrezensionen
Noch keine Kundenrezensionen vorhanden.
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
