DOCSLIB.ORG

Automated Specification and Verification of Web Sites

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Automated Specification and Verification of Web Sites Mar¶³a Alpuente, Santiago Escobar, Moreno Falaschi (Eds.) Automated Speci¯cation and Veri¯cation of Web Sites First International Workshop, WWV'05 March 14-15, 2005. Valencia, Spain Dpto. de Sistemas Informaticos¶ y Computacion¶ Universidad Politecnica¶ de Valencia Preface This report contains the pre-proceedings of the International Workshop on Au- tomated Speci¯cation and Veri¯cation of Web Sites (WWV'05), held in Va- lencia (Spain) during March 14-15, 2005. WWV'05 provided a common fo- rum for researchers from the communities of Rule-based programming, Auto- mated Software Engineering, and Web-oriented research, in order to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. This workshop is part of the activities of the EU-India project ALA/95/23/2003/077-054. The Program Committee of WWV'05 collected three reviews for each paper and held an electronic discussion during February 2005. Finally, the Program Committee selected 10 regular papers, 2 position papers, and 6 system descrip- tions or works in progress. In addition to the selected papers, the scienti¯c pro- gram included two invited lectures by Anthony Finkelstein from the University College London, UK, and Shriram Krishnamurthi from Brown University, USA. We would like to thank them for having accepted our invitation. We would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. Many thanks to all authors who submitted papers and to all conference participants. We gratefully acknowledge all the institutions and corporations who have sup- ported this event. Finally, we express our gratitude to all members of the local Organizing Committee whose work has made the workshop possible. Valencia Mar¶³a Alpuente, Santiago Escobar, Moreno Falaschi March 2005 WWV'05 Editors IV Organization Program Committee Mar¶³a Alpuente Technical University of Valencia, Spain Sarat Babu CDAC Hyderabad, India Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Thierry Despeyroux INRIA Sophia-Antipolis, France Wolfgang Emmerich University College London, UK Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mar¶³a del Mar Gallardo Technical University of M¶alaga, Spain Furio Honsell University of Udine, Italy Giorgio Levi University of Pisa, Italy Jan Maluszynski LinkÄoping University, Sweden Massimo Marchiori MIT Lab for Computer Science, USA Tiziana Margaria University of GÄottingen, Germany Organizing Committee Mar¶³a Alpuente Cesar Ferri Javier Oliver Demis Ballis Javier Garc¶³a-Viv¶o Mar¶³a Jos¶e Ram¶³rez Santiago Escobar Jos¶e Hern¶andez Josep Silva Vicent Estruch Salvador Lucas Alicia Villanueva Additional Referees Antonio Cisternino Salvador Lucas Anne-Marie Vercoustre Marco Comini Vincenzo Della Mea Ivan Scagnetto Paolo Coppola Pedro Merino Francesca Scozzari Fabio Gadducci Stefano Mizzaro Laura Semini Luca di Gaspero Ulf Nilsson Angelo Troina Martin Karusseit Mariela Pavlova Alicia Villanueva Marina Lenisa Harald Ra®elt Mariemma I. Yague Sponsoring Institutions Departamento de Sistemas Inform¶aticos y Computaci¶on (DSIC) Universidad Polit¶ecnica de Valencia (UPV) Generalitat Valenciana Ministerio de Ciencia y Tecnolog¶³a CologNET: A Network of Excellence in Computational Logic EU-India Economic Cross-Cultural Programme VI Table of Contents Invited Talks Business Data Validation: lessons from practice : : : : : : : : : : : : : : : : : : : : : : : 1 Anthony Finkelstein (University College London - UK) Web Veri¯cation: Perspective and Challenges : : : : : : : : : : : : : : : : : : : : : : : : : 3 Shriram Krishnamurthi (Brown University - USA) Formal Models for describing and reasoning about Web Sites Feature-based Modelling of a Complex, Online-Recon¯gurable Decision Support Service : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 Martin Karusseit (UniversitÄat Dortmund - Germany) and Tiziana Margaria (UniversitÄat GÄottingen - Germany) Generating commercial web applications from precise requirements and formal speci¯cations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 27 David Crocker (Escher Technologies Ltd. - UK) and John H. Warren (Precision Design Technology Ltd. - UK) What Kind of Veri¯cation of Formal Navigation Modelling for Reliable and Usable Web Applications? : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 33 Marco Winckler, Eric Barboni, Philippe Palanque, and Christelle Farenc (University Paul Sabatier - France) How Recent is a Web Document? : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 37 Bo Hu, Florian Lauck, and Jan Sche®czyk (UniversitÄat der Bundeswehr MunchenÄ - Germany) Testing, Validation and Categorization of Web Sites Validating Scripted Web-Pages : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 55 Roger G Stone (Loughborough University - UK) Testing web applications in practice : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 65 Javier Jesus¶ Gutierrez Rodr¶³guez, Mar¶³a Jos¶e Escalona Cuaresma, Manuel Mej¶³a Risoto, and Jesus Torres Valderrama (University of Seville - Spain) Web Categorisation Using Distance-Based Decision Trees : : : : : : : : : : : : : : 77 Vicent Estruch, Cesar Ferri, Jose Hern¶andez-Orallo and M. Jose Ram¶³rez-Quintana (Technical University of Valencia - Spain) Accessibility Evaluation Web Accessibility Evaluation Tools: a survey and some improvements : : : 83 Vicente Luque-Centeno, Carlos Delgado-Kloos, Jesus¶ Arias-Fisteus and Luis Alvar¶ ez-Alvar¶ ez (Carlos III University of Madrid - Spain) Automated Web Site Accessibility Evaluation: : : : : : : : : : : : : : : : : : : : : : : : : 97 Shadi Abou-Zahra (World Wide Web Consortium - France) XML transformation and optimization Context Sequence Matching for XML : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 103 Temur Kutsia (Johannes Kepler University - Austria) Slicing XML Documents : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 121 Josep Silva (Technical University of Valencia - Spain) Rule-based approaches to Web site analysis and veri¯cation A Language for Veri¯cation and Manipulation of Web Documents : : : : : : : 127 Luigi Liquori (INRIA - France), Furio Honsell (University of Udine - Italy), and Rekha Redamalla (Birla Science Center - India) Anchoring modularity in HTML : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 139 Claude Kirchner (INRIA & LORIA - France), H¶elene Kirchner (CNRS & LORIA - France), and Anderson Santana (INRIA & LORIA - France) A Rewriting-based system for Web site Veri¯cation : : : : : : : : : : : : : : : : : : : : 153 Demis Ballis (University of Udine - Italy) and Javier Garc¶³a-Viv¶o (Technical University of Valencia - Spain) Rewriting-based navigation of Web sites : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 157 Salvador Lucas (Technical University of Valencia - Spain) Model-checking and Static Analysis applied to the Web Modeling Web Applications by the Multiple Levels of Integrity Policy : : : 161 Gianluca Amato (Universita degli Studi \G. d Annunzio" - Italy), Massimo Coppola, Stefania Gnesi (CNR Pisa - Italy), Francesca Scozzari, and Laura Semini (Universita di Pisa - Italy) Veri¯cation of Web Services with Timed Automata : : : : : : : : : : : : : : : : : : : : 177 Gregorio Diaz, Juan-Jos¶e Pardo, Mar¶³a-Emilia Cambronero, Valent¶³n Valero and Fernando Cuartero (Universidad de Castilla-La Mancha - Spain) VIII Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study : : : : : : : : : : : : : : : : : : : : : : : : : : : : 193 Fr¶ed¶eric Rioux and Patrice Chalin (Concordia University - Canada) Author Index : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 207 IX X Business Data Validation: lessons from practice Anthony Finkelstein University College London Department of Computer Science Gower Street London WC1E 6BT, UK Abstract. All modern businesses store many kinds of data distributed throughout their organization. Data is in di®erent formats and has com- plex interdependencies (customer records, invoices, ¯nancial trade de- tails, sales ¯gures, compliance ¯lings, etc.) Inconsistent data in poorly integrated systems, human errors in manual exception processes, the fail- ure to comply with industry standards and the inability to enforce busi- ness rules create operational errors and large, daily losses for business. By checking complex, distributed data against business rules, reference data and industry standards, solutions for data intensive businesses are pro- vided which allow companies to (i) validate the integrity of data across repositories in scattered locations, (ii) draw distributed information to- gether, and (iii) focus knowledge quickly and e±ciently on the job in hand. 2 WWV 2005 Preliminary Version Web Verification: Perspective and Challenges Shriram Krishnamurthi 1 Computer Science Department Brown University Providence, RI, USA Abstract The Web poses novel and interesting problems for both programming language design and verification|and their intersection. This paper provides a personal outline of one thread of work on this topic. Key words: Web applications, temporal verification, access control, program analysis 1 What is a Web Site? The
Load more

Recommended publications
  • Stakerare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, MANUSCRIPT ID 1 StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation Soo Ling Lim, and Anthony Finkelstein, Member, IEEE Abstract—Requirements elicitation is the software engineering activity in which stakeholder needs are understood. It involves identifying and prioritising requirements – a process difficult to scale to large software projects with many stakeholders. This paper proposes StakeRare, a novel method that uses social networks and collaborative filtering to identify and prioritise requirements in large software projects. StakeRare identifies stakeholders and asks them to recommend other stakeholders and stakeholder roles, builds a social network with stakeholders as nodes and their recommendations as links, and prioritises stakeholders using a variety of social network measures to determine their project influence. It then asks the stakeholders to rate an initial list of requirements, recommends other relevant requirements to them using collaborative filtering, and prioritises their requirements using their ratings weighted by their project influence. StakeRare was evaluated by applying it to a software project for a 30,000-user system, and a substantial empirical study of requirements elicitation was conducted. Using the data collected from surveying and interviewing 87 stakeholders, the study demonstrated that StakeRare predicts stakeholder needs accurately, and arrives with a more complete and accurately prioritised list of requirements compared to the existing method used in the project, taking only a fraction of the time. Index Terms—Requirements/Specifications, Elicitation methods, Requirements prioritisation, Experimentation, Human factors, Recommender systems, Social network analysis, Stakeholder analysis —————————— ! —————————— 1 INTRODUCTION OFTWARE systems are growing. The increase in size ments. S extends beyond mere lines of code or number of Information overload is inevitable in big projects.
    [Show full text]
  • Dynamic Web Pages with the Embedded Web Server
    Dynamic Web Pages With The Embedded Web Server The Digi-Geek’s AJAX Workbook (NET+OS, XML, & JavaScript) Version 1.0 5/4/2011 Page 1 Copyright Digi International, 2011 Table of Contents Chapter 1 - How to Use this Guide ............................................................................................................... 5 Prerequisites – If You Can Ping, You Can Use This Thing! ..................................................................... 5 Getting Help with TCP/IP and Wi-Fi Setup ............................................................................................ 5 The Study Guide or the Short Cut? ....................................................................................................... 5 C Code ................................................................................................................................................... 6 HTML Code ............................................................................................................................................ 6 XML File ................................................................................................................................................. 6 Provide us with Your Feedback ............................................................................................................. 6 Chapter 2 - The Server-Client Relationship ................................................................................................... 7 Example – An Analogy for a Normal HTML page .................................................................................
    [Show full text]
  • Effects and Opportunities of Native Code Extensions For
    Effects and Opportunities of Native Code Extensions for Computationally Demanding Web Applications DISSERTATION zur Erlangung des akademischen Grades Dr. Phil. im Fach Bibliotheks- und Informationswissenschaft eingereicht an der Philosophischen Fakultät I Humboldt-Universität zu Berlin von Dipl. Inform. Dennis Jarosch Präsident der Humboldt-Universität zu Berlin: Prof. Dr. Jan-Hendrik Olbertz Dekan der Philosophischen Fakultät I: Prof. Michael Seadle, Ph.D. Gutachter: 1. Prof. Dr. Robert Funk 2. Prof. Michael Seadle, Ph.D. eingereicht am: 28.10.2011 Tag der mündlichen Prüfung: 16.12.2011 Abstract The World Wide Web is amidst a transition from interactive websites to web applications. An increasing number of users perform their daily computing tasks entirely within the web browser — turning the Web into an important platform for application development. The Web as a platform, however, lacks the computational performance of native applications. This problem has motivated the inception of Microsoft Xax and Google Native Client (NaCl), two independent projects that fa- cilitate the development of native web applications. Native web applications allow the extension of conventional web applications with compiled native code, while maintaining operating system portability. This dissertation determines the bene- fits and drawbacks of native web applications. It also addresses the question how the performance of JavaScript web applications compares to that of native appli- cations and native web applications. Four application benchmarks are introduced that focus on different performance aspects: number crunching (serial and parallel), 3D graphics performance, and data processing. A performance analysis is under- taken in order to determine and compare the performance characteristics of native C applications, JavaScript web applications, and NaCl native web applications.
    [Show full text]
  • Openabm-Covid19 - an Agent-Based Model for Non-Pharmaceutical Interventions Against COVID-19 Including Contact Tracing
    medRxiv preprint doi: https://doi.org/10.1101/2020.09.16.20195925; this version posted September 22, 2020. The copyright holder for this preprint (which was not certified by peer review) is the author/funder, who has granted medRxiv a license to display the preprint in perpetuity. All rights reserved. No reuse allowed without permission. OpenABM-Covid19 - an agent-based model for non-pharmaceutical interventions against COVID-19 including contact tracing 1,* 1,* 1 1 1 Robert Hinch ,​ William J M Probert ,​ Anel Nurtay ,​ Michelle Kendall ,​ Chris Wymant ,​ ​ ​ ​ ​ ​ 1 1 1 1 1 Matthew Hall ,​ Katrina Lythgoe ,​ Ana Bulas Cruz ,​ Lele Zhao ,​ Andrea Stewart ,​ Luca ​ ​ ​ ​ ​ 1 2 2 2 3 3 Ferretti ,​ Daniel Montero ,​ James Warren ,​ Nicole Mather ,​ Matthew Abueg ,​ Neo Wu ,​ ​ ​ ​ ​ ​ ​ 4 1,5 1 1,6 Anthony Finkelstein ,​ David G Bonsall ,​ Lucie Abeler-Dörner ,​ Christophe Fraser ​ ​ ​ ​ 1 Big​ Data Institute, Li Ka Shing Centre for Health Information and Discovery, Nuffield Department of Medicine, University of Oxford, Oxford, UK. 2 ​ IBM United Kingdom, Portsmouth, UK ​ 3 Google​ Research, Mountain View, CA, USA 4 ​ Department of Computer Science, University College London, London, UK, and Alan Turing Institute, London, UK. 5 Oxford​ University NHS Trust, University of Oxford, Oxford, UK. 6 Wellcome​ Centre for Human Genetics, University of Oxford, Oxford, UK. * these authors contributed equally to this work Abstract SARS-CoV-2 has spread across the world, causing high mortality and unprecedented restrictions on social and economic activity. Policymakers are assessing how best to navigate through the ongoing epidemic, with models being used to predict the spread of infection and assess the impact of public health measures.
    [Show full text]
  • AJAX and Jquery L Raw AJAX Handling in JS Is Very Tedious L Jquery Provides Flexible and Strong Support to Handle AJAX Interactions Through a Set of Jquery Functions
    AJAX Asynchronous Design in Web Apps IT 4403 Advanced Web and Mobile Applications Jack G. Zheng Fall 2019 Topics l AJAX concepts and technical elements l AJAX implications and impacts l jQuery AJAX l Basic and shorthand methods l Error handling 2 AJAX l AJAX (Asynchronous JavaScript and XML) is a group of interrelated web development techniques used on the client-side to create interactive web applications. l Despite the name, the use of XML is not actually required, nor do the requests need to be asynchronous. 3 First Impression l https://www.google.com Use Chrome’s developer tools to view network communications while typing the search terms. A set of requests have been made to get JSON data from the server as I type in the search term box. Observe the “q” parameter in all URLs. 4 AJAX Model Difference With Ajax, web applications can communicate with servers in the background without a complete page loading after every request/response cycle. http://www.adaptivepath.com /ideas/ajax-new-approach- web-applications/ 5 Traditional Model The client does not generate views/presentations (HTML/CSS). Synchronous communications feature sequential request/response cycles, one after another The server prepares the whole page. http://www.websiteoptimization.com/secrets/ajax/8-1-ajax-pattern.html 6 Ajax Model l With Ajax, web applications can communicate with servers in the background without a complete page loading after every request/response cycle. The client generates views/presentations and update content (partial page) by manipulating DOM. Asynchronous communications feature independent request/response cycles The server prepares partial pages (partial HTML) or just data (XML or JSON).
    [Show full text]
  • EMERGING TECHNOLOGIES Dymamic Web Page Creation
    Language Learning & Technology January 1998, Volume 1, Number 2 http://llt.msu.edu/vol1num2/emerging/ pp. 9-15 (page numbers in PDF differ and should not be used for reference) EMERGING TECHNOLOGIES Dymamic Web Page Creation Robert Godwin-Jones Virginia Comonwealth University Contents: • Plug-ins and Applets • JavaScript • Dynamic HTML and Style Sheets • Instructional Uses • Resource List While remaining a powerful repository of information, the Web is being transformed into a medium for creating truly interactive learning environments, leading toward a convergence of Internet connectivity with the functionality of traditional multimedia authoring tools like HyperCard, Toolbook, and Authorware. Certainly it is not fully interactive yet, but that is undeniably the trend as manifested in the latest (version 4) Web browsers. "Dynamic HTML," incorporated into the new browsers, joins plug-ins, Web forms, Java applets, and JavaScript as options for Web interactivity. Plug-ins and Applets While Web pages are beginning to behave more like interactive applications, traditional authoring tools are themselves becoming Internet-savvy, primarily through the use of "plug-in" versions of players which integrate with Web browsers. The most commonly used plug-in today is Macromedia's "Shockwave," used to Web-enable such applications as Director, Authorware, and Flash. "Shocked" Web pages can be very interactive and provide a visually appealing means of interacting with users (as in some sample ESL exercises from Jim Duber). Plug-ins are easy to use -- they just need to be downloaded and installed. Some come bundled with Netscape and Microsoft's browsers, which simplifies considerably the installation process (and gives developers the confidence that most users will actually have the plug-in installed).
    [Show full text]
  • How We Build Web Applications
    Whitepaper How We Build Web Applications Whitepaper 1 BuildableWorks.com Table of Contents About Buildable ............................................................................................ 3 Web Application Architecture ................................................................. 4 Our Process .................................................................................................. 6 Application Architecture Guidelines ............................................... 8 Management ......................................................................................... 8 Anatomy of a Web App .............................................................................. 10 User Experience Design ...................................................................... 10 Application Build and Deployment .................................................... 14 Frontend Tools ...................................................................................... 15 Backend Tools ........................................................................................ 20 Authentication and Security ............................................................. 22 Whitepaper 2 BuildableWorks.com About Buildable Our nimble, versatile team of full-stack engineers, creatives, and developers come to work every day with the knowledge we’re making the stuff that will change our clients’ work lives for the better. It’s why we attract and keep some of the best technical talent in the industry, and it’s how we deliver the highest quality
    [Show full text]
  • Continuous User Understanding in Software Evolution
    FAKULTAT¨ FUR¨ INFORMATIK DER TECHNISCHEN UNIVERSITAT¨ MUNCHEN¨ Dissertation Continuous User Understanding in Software Evolution Jan Ole Johanßen FAKULTAT¨ FUR¨ INFORMATIK DER TECHNISCHEN UNIVERSITAT¨ MUNCHEN¨ Forschungs- und Lehreinheit 1 Angewandte Softwaretechnik Continuous User Understanding in Software Evolution Jan Ole Johanßen Vollstandiger¨ Abdruck der von der Fakultat¨ fur¨ Informatik der Technischen Univer- sitat¨ Munchen¨ zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigten Dissertation. Vorsitzender: Prof. Dr. Florian Matthes Prufende/-r¨ der Dissertation: 1. Prof. Dr. Bernd Brugge¨ 2. Prof. Dr. Barbara Paech Die Dissertation wurde am 05.09.2019 bei der Technischen Universitat¨ Munchen¨ ein- gereicht und durch die Fakultat¨ fur¨ Informatik am 31.10.2019 angenommen. Abstract Explicit user feedback represents an important source of knowledge for software developers. However, there are deficiencies in current practices of user feedback capture and utilization as they do not address the users’ tacit knowledge. Our research goal is to establish continuous user understanding so that devel- opers can extract tacit knowledge of users for utilization in software evolution. We build on the foundations of continuous software engineering (CSE), which com- prises the frequent and rapid delivery of software increments to obtain instant and diverse user feedback. We argue that in particular implicit user feedback serves as a suitable means that contributes to the extraction of users’ tacit knowledge. We conducted a semi-structured interview study with 24 practitioners from 17 companies to explore how practitioners apply CSE during software evolution and how the availability of user feedback supports CSE. We identified five recommen- dations for continuous user feedback capture and utilization of requirements.
    [Show full text]
  • Lecture 6: Dynamic Web Pages Lecture 6: Dynamic Web Pages Mechanics • Project Preferences Due • Assignment 1 out • Prelab for Next Week Is Non-Trivial
    Lecture 6: Dynamic Web Pages Lecture 6: Dynamic Web Pages Mechanics • Project preferences due • Assignment 1 out • PreLab for next week is non-trivial 1/31/2020 2 Lecture 5: JavaScript JavaScript has its Quirks • Procedural, Functional and Object-Oriented all at once • Objects are very different from Java/C++ o Newer versions have Java-like classes however • Scoping is different o var versus let or const o Declarations can follow uses o Declarations are optional • Automatic type conversion • Strict versus non-strict equality testing • eval function • Semicolons are optional if unambiguous • Read up on the language (prelab) 1/31/2020 3 Lecture 6: Dynamic Web Pages What is an Interactive Application • How do we want to use JavaScript • What does interactive mean • What does it do when you interact o Check inputs, compute next page o Change the page without getting a new page 1/30/2020 4 Lecture 6: Dynamic Web Pages Dynamic Web Page Examples • http://bdognom.cs.brown.edu:5000/ (spheree) • http://conifer.cs.brown.edu/s6 (s6) • http://conifer.cs.brown.edu:8888 (twitter) • http://fred4.cs.brown.edu:8800/ (sign) 1/23/2020 5 Lecture 6: Dynamic Web Pages Interactive Applications • Respond to user inputs • Change the display (e.g. add fields, show errors, …) • Dynamically check and verify inputs • Allow direct manipulation (drag and drop) • Use animation to highlight or emphasize or show things • Display external changes in real time • Provide input help (e.g. text completion) • Handle dynamic resizing of the display 1/23/2020 6 Lecture 6: Dynamic Web Pages Achieving Interactivity • Using CSS • Handling HTML events using JavaScript o Dynamically check and verify inputs o Handle direct manipulation • With modern HTML features • With animation/drawing/multimedia packages • By talking to the server continually • Displaying external changes in real time • Changing styles and the content of the page o Change the display (e.g.
    [Show full text]
  • Advanced Web Design
    Implementation Date Fall 2008 PROGRAM CONCENTRATION Business & Computer Science CAREER PATHWAY: Interactive Media COURSE TITLE: Advanced Web Design The goal of this course is to provide students with the study of advanced topics in web design. Computer in the Modern World and Beginning Web Design are both prerequisites for this course. Upon completion of this course, students should have a thorough knowledge of all areas of web page design. Topics include the web development process, advanced layout and design features, advanced study of scripting languages, site development with HTML editors, and web servers and databases. This course also prepares students to take the CIW Associate Design Specialist Certification. OVERVIEW OF WEB DESIGN BCS-AWD-1. Students will explore web design concepts, the current state of the web, and technologies used on the web. a. Identify, evaluate, compare, and contrast web browsers. b. Identify and describe plug-ins, applets and other web based utilities. Academic Standards: ELA12W3. The student uses research and technology to support writing. ELA12RC3. The student acquires new vocabulary in each content area and uses it correctly. BCS-AWD-2. Students will examine ethical and legal issues related to web development. a. Discuss and develop strategies for handling privacy issues. b. Distinguish between legal and ethical issues. 1. Discuss appropriate and inappropriate content on sites such as Facebook and My Space. c. Describe security issues associated with web servers. Academic Standards: ELA12LSV1. The student participates in student-to-teacher, student-to-student, and group verbal interactions. ELA12RC2. The student participates in discussions related to curricular learning in all subject areas.
    [Show full text]
  • Virtual Geographic World: the Web-Based 3D Kyong-Ho Kim
    Transactions on Information and Communications Technologies vol 18, © 1998 WIT Press, www.witpress.com, ISSN 1743-3517 Virtual geographic world: the web-based 3D CIS Kyong-Ho Kim, Kiwon Lee, Ho-Geun Lee: & Young- Lyol Ha GIS Lab. Image Processing Dept. Systems Engineering Research Institute, Yusung, Taejon, 305-600, S.Korea Email: {khkim, kilee, hglee,ylha} @seri. re. kr Abstract To design and implement web-based 3D GIS, the strategic linkage of Java and VRML is first regarded: 3D feature format definition in the passion of conventional GIS including aspatial attributes, 3D feature indexing, 3D analytical operations such as selection, buffering, and near, metric operation such as distance measurement and statistical description, and 3D visualization. In 3D feature format definition, the following aspects are considered: aspatial attributes, spatial information for 3D primitives, multimedia data, visualization information for VRML specification. "Lantern operator" is newly introduced in this 3D GIS. Because this system is implemented by Java applet, any client with Java-enable browser including VRML browser plug-in can utilize the new style of 3D GIS function in the virtual space. 1 Introduction The integration of virtual environment and GIS has been initiated]!]. Since the mid 1990s, 3D GIS on World Wide Web(WWW)[2] has been regarded as one of promising alternatives in the GIS field mainly due to cost-effectiveness and wide accessibility. In this newly emerging approach, Virtual Reality Modeling Language(VRML)[3] shows several Transactions on Information and Communications Technologies vol 18, © 1998 WIT Press, www.witpress.com, ISSN 1743-3517 344 GIS Technologies and their Environmental Applications linked aspects with 3D GIS under Internet environment^].
    [Show full text]
  • Uwsgi Documentation Release 2.0
    uWSGI Documentation Release 2.0 uWSGI Jun 17, 2020 Contents 1 Included components (updated to latest stable release)3 2 Quickstarts 5 3 Table of Contents 33 4 Tutorials 303 5 Articles 343 6 uWSGI Subsystems 375 7 Scaling with uWSGI 457 8 Securing uWSGI 485 9 Keeping an eye on your apps 503 10 Async and loop engines 511 11 Web Server support 525 12 Language support 541 13 Other plugins 629 14 Broken/deprecated features 633 15 Release Notes 643 16 Contact 741 17 Commercial support 743 18 Donate 745 19 Sponsors 747 20 Indices and tables 749 i Python Module Index 751 Index 753 ii uWSGI Documentation, Release 2.0 The uWSGI project aims at developing a full stack for building hosting services. Application servers (for various programming languages and protocols), proxies, process managers and monitors are all implemented using a common api and a common configuration style. Thanks to its pluggable architecture it can be extended to support more platforms and languages. Currently, you can write plugins in C, C++ and Objective-C. The “WSGI” part in the name is a tribute to the namesake Python standard, as it has been the first developed plugin for the project. Versatility, performance, low-resource usage and reliability are the strengths of the project (and the only rules fol- lowed). Contents 1 uWSGI Documentation, Release 2.0 2 Contents CHAPTER 1 Included components (updated to latest stable release) The Core (implements configuration, processes management, sockets creation, monitoring, logging, shared memory areas, ipc, cluster membership and the uWSGI Subscription Server) Request plugins (implement application server interfaces for various languages and platforms: WSGI, PSGI, Rack, Lua WSAPI, CGI, PHP, Go .
    [Show full text]