DOCSLIB.ORG

A Tour of Linux HTML Editors SPINNING the WEB

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Tour of Linux HTML Editors SPINNING the WEB REVIEWS HTML Editors A tour of Linux HTML Editors SPINNING THE WEB www.photocase.de The right HTML Editor can save you plenty of time and trouble. Read on for a roundup the best free editors for Linux. the Internet page. The results in the and this is something that any major dis- browser may be completely different tribution will give you. The documenta- BY TIM SCHÜRMANN from the view in the web generator tion additionally recommends Image due to the restrictions that HTML Magick and Weblint as external tools. imposes. So-called WYSIWYG (What August uses the former to check image You See Is What You Get) editors pro- proportions, and Weblint verifies the f you are familiar with HTML com- vide a useful compromise. Again, you layout. mands, you can use a simple text can click and point to create the layout, After upacking August, enter ./ august Ieditor such as Emacs, Vi, or Kwrite but the editor restricts you to HTML in the new august0.63b.src directory to to design your homepage. Most text compliant features. launch the editor. The GUI looks very editors recognize the HTML command The number of Linux applications in much like a normal text editor with syn- set and give you syntax highlighting for both categories is fairly low. There are tax highlighting. August has input boxes tags. just a handful of WYSIWYG editors, and for some tags, allowing users to click For a few simple pages, this approach I have yet to find a true web generators. to specify the required parameters – file- might look useful, but you will soon The figures for text-based editors are bet- names for links, for example, or the start to lose track of large-scale projects. ter. In this article, I’ll show you some of aspect for an image. Luckily, many third party tools provide the HTML editor options for Linux. August can save arbitrary strings of additional features for more complex text as templates that form the basis for projects. Text-based HTML editors, that August creating new documents. The default is text editors that specialize in HTML, The August HTML editor [1] (Figure 1) template, Basic Structure, creates a expect the user to provide the necessary is an old timer, and not exactly a famous HTML version 3.2 document, although HTML skills. In contrast, web generators representative of its species. The latest August understands both HTML 4.0 and allow you to create a page as you would version, 0.63b, dates back to 2001, but it CSS. with a graphics package. After complet- still does the job perfectly. August sim- August can launch a selection of web ing the layout, the tool then generates ply requires a working Tcl/ Tk system, browsers to Preview the results. The 44 ISSUE 59 OCTOBER 2005 WWW.LINUX - MAGAZINE.COM HTML Editors REVIEWS non-standard ity (Figure 3). The project was founded characters to in 1999, although the pace of develop- HTML code. The ment is fairly slow. The editor looks a lot dialog will replace like Bluefish without ever achieving the expressions in any same kind of functionality. For example, open files, if Erwin has just one Quickstart wizard, needed; this is a and a handful of rudimentary tools for useful tool if you standard elements such as table and need to modify all image integration. the subordinate Just like August, Erwin uses icons or pages in a project menu items to add formating instruc- at the same time. tions. Pressing [Ctrl-P] closes the current Although Blue- tag, but without actually checking to see fish was designed if this is actually necessary. Erwin also for use with lacks a validation routine for the HTML HTML, it can han- document, but at least it has an inte- Figure 1: Click on the buttons in the August GUI to add HTML tags to dle other formats. grated preview. your document. Syntax highlight- ing also works for (X)HTML Format selection includes Netscape, Konqueror, XML and JavaScript, as well as for the C The editor that answers to the unwieldy KDE help, and the Lynx text browser. and Python programming languages. name of (X)HTML-Format [4] is based Users can extend the list. Selecting Tools Assuming you have installed Ispell, on the multi-platform Java programming | Weblint Check tells August to verify a Bluefish will also spell check your docu- language and thus requires a working file, but the program lacks a spell- ments. It uses the external Weblint or Java environment. The program is free, checker. The help only gives you a rough Tidy programs to validate the code itself. but the author has not disclosed the overview of the program’s features. To avoid oversights, web authors can source code. enable a number of input aids. For The features available through Bluefish example, Bluefish will close any tags you (X)HTML-Format are comparable to the The Bluefish [2] HTML editor (Figure 2) have opened, or convert tags to lower features provided by Bluefish. The tool has a GTK interface that perfectly case. Bluefish does not have online help, can replace text strings across multiple matches a Gnome environment, and but you’ll find an excellent manual at files and automatically convert non- the program has an impressive set of fea- the project homepage. standard characters to HTML code; tures that have made it popular with (X)HTML-Format also has project man- users who favor the Gnome desktop. Erwin agement and an internal preview – This said, the sheer mass of options can Just like August, the Erwin [3] editor although it does not render even the make life hard for newcomers. On the mainly focuses on performance and clar- most simple of pages correctly. On the positive side, Bluefish supports custom- ization, allowing web authors to assign frequently used functions to the quick- access toolbox. The program also has project management facilities and a style sheet manager. Bluefish does not have an integrated preview mode, and it uses an external browser. The Dialogs menu has an assortment of wizards that handle critical HTML ele- ments. The Quick Start wizard gives you a selection of meta-tags that fill the HTML file header with details of the author or date. Bluefish also has a wiz- ard to help you publish photo collec- tions. The wizard takes a pile of image files as input and gives you a page with thumbnails as output. None of the other candidates in our test had a comparable feature. Other details reduce the web design- er's load. For example, the extended Replace function automatically converts Figure 2: Editing HTML in Bluefish. WWW.LINUX - MAGAZINE.COM ISSUE 59 OCTOBER 2005 45 REVIEWS HTML Editors based on the free The manual is less helpful and mainly version of the describes the installation. commercial The program provides all the function- Quanta Gold edi- ality you could wish for. For example, tor, although Quanta+ will upload your homepages development is no directly to a server. Besides syntax vali- longer related to dation, provided by the external Tidy the commercial tool, Quanta+ also has a link checker product and con- that checks the validity of any links in tinues under a free the document. Quanta+ also integrates license. In its the KImageMapEditor for image map KDEWebdev editing. Additionally, Quanta+ provides guise, Quanta now a CVS version management tool based forms the core ele- on Cervisia, making it a good choice for ment of the KDE group projects. web development Quanta+ supports visual modifica- module. tions in the so-called VPL editor. To do The version this, users can point and click to put number is ori- required elements together, although text ented on the input is not supported in this mode. As accompanying this view is still under development, you KDE version. As might like to restrict any experimenting all major distribu- to copies of your original documents. Figure 3: Erwin provides few options, but it is very frugal with tions provide Wizards help you set up common ele- system resources. Quanta+; you ments. For example, the quickstart wiz- should use your ard can handle various meta-tags and upside, you can opt for an external distribution’s package manager for the Document Type Definitions (DTDs). The browser as your preview tool. installation. CSS editor is easy to use, allowing users The Tools menu has a collection of Quanta+ has more options than its to put together a style sheet from a pal- useful programs and links, including Gnome Bluefish counterpart. Unfortu- ette of options using a simple point and search engine registration. Most menu nately, the feature overdose does make click approach. items and many other program functions Quanta+ hard to work with and difficult Quanta provides automatic routines to simply link to the developer website. to learn. The interface often displays ensure compliance with HTML conven- The Edit | Format option is a useful multiple windows within the main win- tions, such as modifying the opening tag exception to this rule, taking unformat- dow. For example, you always have the when an author changes a closing tag. ted code and returning readable results. document structure, the online refer- This feature allows authors to change (X)HTML-Format stores recurring con- ence, and explanations for all HTML, bold text to italics just by modifying a structions as Code Snippets. (X)HTML- PHP and JavaScript commands on view. single tag. Programmers used to working Format also has wizards in the form of simple dialog boxes for common ele- ments. The Quick Document feature creates the structure for a new docu- ment, giving you meta-tags, but lacking the DOCTYPE definition that the HTML standard stipulates.
Load more

Recommended publications
  • Just Another Perl Hack Neil Bowers1 Canon Research Centre Europe
    Weblint: Just Another Perl Hack Neil Bowers1 Canon Research Centre Europe Abstract Weblint is a utility for checking the syntax and style of HTML pages. It was inspired by lint [15], which performs a similar function for C and C++ programmers. Weblint does not aspire to be a strict SGML validator, but to provide helpful comments for humans. The importance of quality assurance for web sites is introduced, and one particular area, validation of HTML, is described in more detail. The bulk of the paper is devoted to weblint: what it is, how it is used, and the design and implementation of the current development version. 1. Introduction The conclusion opens with a summary of the information and opinions given in this paper. A Web sites are becoming an increasingly critical part of selection of the lessons learned over the last four years how many companies do business. For many companies is given, followed by plans for the future, and related web sites are their business. It is therefore critical that ideas. owners of web sites perform regular testing and analysis, to ensure quality of service. 2. Web Site Quality Assurance There are many different checks and analyses which The following are some of the questions you should be you can run on a site. For example, how usable is your asking yourself if you have a web presence. I have site when accessed via a modem? An incomplete list of limited the list to those points which are relevant to similar analyses are given at the start of Section 2.
    [Show full text]
  • LEARNING HTML5 and CSS 1. What Is HTML? Ans: HTML Has Been Derived from SGML, Which Stands for Standard General Markup Language
    LEARNING HTML5 AND CSS 1. What is HTML? Ans: HTML has been derived from SGML, which stands for standard general markup language. HTML was created to allow those users who were not specialized in using SGML to create web pages. 2. What are tags in HTML? Ans: An HTML tag begin with a ‘less than’ symbol(<) and ends with a ‘greater than’ symbol(>). These symbols are also called angle brackets. Syntax:<html> text </html> Start tag End tag The part --<html>is called the opening tag, while the part--- </html> is called the closing tag. The closing tag is same as the opening tag except that it has forward slash before its name. 3. What is the difference between the <body>and <head>tags? Ans: The HEAD section contains the title and the other information about the HTML document. The BODY section contains all the information that is displayed on a web page. 4. How are attributes defined? Ans: An attribute provides additional information about an element. Attributes are usually defined its name-value pairs. The name is the property of the tag that you want to set, while the value is the value of the property to be set. <p align = “left”>This text is left aligned </p> The <p> tag, also knows as the paragraph tag, is used to define a paragraph. Now we can use the attribute align with it to set the alignment of the paragraph. Also, there are three possible values of the align attribute—left, right, and center. 5.Define HTML. What is its use? Ans: HTML stands for hypertext markup language.
    [Show full text]
  • Annotea: an Open RDF Infrastructure for Shared Web Annotations
    Proceedings of the WWW 10th International Conference, Hong Kong, May 2001. Annotea: An Open RDF Infrastructure for Shared Web Annotations Jos´eKahan,1 Marja-Riitta Koivunen,2 Eric Prud’Hommeaux2 and Ralph R. Swick2 1 W3C INRIA Rhone-Alpes 2 W3C MIT Laboratory for Computer Science {kahan, marja, eric, swick}@w3.org Abstract. Annotea is a Web-based shared annotation system based on a general-purpose open RDF infrastructure, where annotations are modeled as a class of metadata.Annotations are viewed as statements made by an author about a Web doc- ument. Annotations are external to the documents and can be stored in one or more annotation servers.One of the goals of this project has been to re-use as much existing W3C technol- ogy as possible. We have reacheditmostlybycombining RDF with XPointer, XLink, and HTTP. We have also implemented an instance of our system using the Amaya editor/browser and ageneric RDF database, accessible through an Apache HTTP server. In this implementation, the merging of annotations with documents takes place within the client. The paper presents the overall design of Annotea and describes some of the issues we have faced and how we have solved them. 1Introduction One of the basic milestones in the road to a Semantic Web [22] is the as- sociation of metadata to content. Metadata allows the Web to describe properties about some given content, even if the medium of this content does not directly provide the necessary means to do so. For example, ametadata schema for digital photos [15] allows the Web to describe, among other properties, the camera model used to take a photo, shut- ter speed, date, and location.
    [Show full text]
  • (Vrtp) Design Rationale
    Presented at Workshops on Enabling Technology: Infrastructure for Collaborative Enterprises (WET ICE): Sharing a Distributed Virtual Reality, Massachusetts Institute of Technology, Cambridge Massachusetts, June 18-20 1997. virtual reality transfer protocol (vrtp) Design Rationale Don Brutzman, Mike Zyda and Kent Watsen Mike Macedonia Code UW/Br, CS/Zk, CS/Wa Fraunhofer Center for Research in Naval Postgraduate School Computer Graphics Inc. Monterey California 93943-5000 USA 167 Angell Street 408.656.2149 voice, 408.656.3679 fax Providence Rhode Island 02906 USA [email protected] [email protected] 401.453.6363 voice, 401.453.0444 fax [email protected] [email protected] http://www.stl.nps.navy.mil/~brutzman/vrtp/vrtp_design.ps Abstract We propose a new protocol at the application layer, the The capabilities of the Virtual Reality Modeling virtual reality transfer protocol (vrtp). vrtp is intended to Language (VRML) permit building large-scale virtual significantly extend http in order to provide full support for environments (LSVEs) using the Internet and the World LSVE requirements by enabling a spectrum of functionality Wide Web. However the underlying network support between client-server and peer-peer, all optimized on local provided by the hypertext transfer protocol (http) is desktop computers and across the global Internet. insufficient for LSVEs. Additional capabilities for Years of effort on widely distributed interactive 3D lightweight peer-to-peer communications and network graphics applications have clearly identified networking monitoring need to be combined with the client-server issues as the critical bottlenecks preventing the creation of capabilities of http. To accomplish this task, we present a LSVEs.
    [Show full text]
  • Techniques for Authoring Complex XML Documents Vincent Quint, Irène Vatton
    Techniques for Authoring Complex XML Documents Vincent Quint, Irène Vatton To cite this version: Vincent Quint, Irène Vatton. Techniques for Authoring Complex XML Documents. Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, Oct 2004, MilWaukee, WI, United States. pp.115-123, 10.1145/1030397.1030422. inria-00423365 HAL Id: inria-00423365 https://hal.inria.fr/inria-00423365 Submitted on 9 Oct 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Techniques for Authoring Complex XML Documents Vincent Quint Irene` Vatton INRIA Rhone-Alpesˆ INRIA Rhone-Alpesˆ 655 avenue de l’Europe 655 avenue de l’Europe 38334 Saint Ismier Cedex, France 38334 Saint Ismier Cedex, France [email protected] [email protected] ABSTRACT 1. INTRODUCTION This paper reviews the main innovations of XML and con- Authoring techniques for structured documents consti- siders their impact on the editing techniques for structured tuted an active research area during the second half of the documents. Namespaces open the way to compound docu- 80’s and the early 90’s [10]. Several experimental systems ments; well-formedness brings more freedom in the editing such as Grif [7] and Rita [6] were developed and a few pro- task; CSS allows style to be associated easily with structured duction tools resulted from that work.
    [Show full text]
  • Arizona State Board of Education AMENDED Agenda
    April 20, 2020 Regular Board Meeting 04/20/2020 10:00 AM 1535 W. Jefferson Room # 122 Meeting Minutes Phoenix, AZ 85007 Printed : 6/15/2020 9:23 AM MST Arizona State Board of Education AMENDED Agenda NOTICE OF PUBLIC MEETING Pursuant to Arizona Revised Statutes (A.R.S.) 38-431.02, notice is hereby given to the members of the Arizona State Board of Education and to the general public that the Board will hold a meeting, open to the public, on Monday, April 20, 2020, at 10:00 A.M. at the Arizona Department of Education, Room 122, 1535 W. Jefferson, Phoenix, AZ 85007. The boardroom will be closed to the public. Information on how the public may attend is outlined below. For this meeting, all public comment will be accepted in written form only. Information on how the public may submit written comment is also outlined below. A copy of the agenda for the meeting is attached. The Board reserves the right to change the order of items on the agenda, with the exception of public hearings. One or more members of the Boards may participate telephonically. Agenda materials can be reviewed online at http://azsbe.az.gov Pursuant to A.R.S. §38-431.02 (H), the Board may discuss and take action concerning any matter listed on the agenda. Pursuant to A.R.S. 38-431.03(A)(2), the Board may vote to convene in executive session, which will not be open to the public, for discussion or consideration of records exempt by law from public inspection.
    [Show full text]
  • 1 Chapter -3 Designing Simple Website Using Kompozer
    RSCD Chapter -3 Designing Simple Website Using KompoZer ------------------------------------------------------------------------------------------- 1. ……………plays a very important role in a business now-a-days. a) Website b) webpage c) Web browser d) Web host 2. …………….is a collection of interlinked web pages for a specific purpose. a) Website b) webpage c) Web browser d) Web host 3. ………….defines what we want to achieve by developing a website. a)Objective b) Goal c) Planning d) Target 4. Once by knowing the reason for developing a website, you must decide …….of the website. a)Objective b) Goal c) Planning d) Target 5. ……….means for whom the website is to be developed. a)Objective b) Goal c) Planning d) Target audience 6. From the following which is important for content of a webpage? a) Text and graphics for website b) Content as per visitor’s requirements c) Too short or too long content d) All of these 7. Who provides trial version of the software for free download? a) Editor b) Vendor c) Visitor d) None 8. The visual diagram of the website is known as ……………… a) Site Map b) Image Map c) Site Editor d) Site Browser 9. The website should contain should be classified into ………….categories. a) General b) Detailed c) Simple d) Both a and b 10. What is the first step for planning a website? a) Homepage b) Target audience c) Objective and Goal d) Browser compatibility 11. The website must contain ………………….information. a) Complete b) relevant c) incomplete d) Both a and b 12. What is the key point of a website? a) Content b) Homepage c) Objective and Goal d) Browser Compatibility 13.
    [Show full text]
  • CTE Course Description and Standards Crosswalk
    DISTRICT NAME: SITKA SCHOOL DISTRICT CTE Course Description and Standards Crosswalk Course Information Course Name Web Design & Development Course Number 0682 Number of High School 0.5 Credits Sequence or CTEPS (You must first have the Sequence N/A or CTEPS entered into the EED-CTE system.) Date of district Course May 2013 Revision Career & Technical Student Organization (CTSO) CTSO embedded in this Suggested CTSO: Technology Student Association - http://www.tsaweb.org/ sequence Occupational Standards National Workforce Center for Emerging Technologies (NWCET) http://www.washington.edu/accessit/webdesign/nwcet_standards.htm SkillsUSA (SUSA-CP) (SUSA-3D) (SUSA-E) http://www.workforcereadysystem.org/media/blueprints/ComputerProgramming_blueprint.pdf http://www.workforcereadysystem.org/media/blueprints/3Dvisualization_blueprint.pdf Source of Occupational http://www.workforcereadysystem.org/media/blueprints/Employability_blueprint.pdf Standards International Society for Technology in Education (ISTE) www.iste.org World Wide Web Consortium (W3C) http://www.w3.org/ NWCET – Web Development and Administration Cluster A. Perform Technical Analysis (A1-A2, A4-A6) B. Perform Web Programming (B1-B4) C. Develop, Deliver and Manage Content (C4-C6) D. Implement and Maintain Site and Applications (D1-D4) F. Manage Enterprise-wide Web Activities (F1, F4) G. Perform Testing and Quality Assurance (G3-G5) SUSA-CP – SkillsUSA Computer Programming (see link above) Names/Numbers of SUSA-3D - SkillsUSA Visualization and Animation (see link above) Occupational
    [Show full text]
  • Oracle Solaris 10 910 Release Notes
    Oracle® Solaris 10 9/10 Release Notes Part No: 821–1839–11 September 2010 Copyright © 2010, Oracle and/or its affiliates. All rights reserved. This software and related documentation are provided under a license agreement containing restrictions on use and disclosure and are protected by intellectual property laws. Except as expressly permitted in your license agreement or allowed by law, you may not use, copy, reproduce, translate, broadcast, modify, license, transmit, distribute, exhibit, perform, publish, or display any part, in any form, or by any means. Reverse engineering, disassembly, or decompilation of this software, unless required by law for interoperability, is prohibited. The information contained herein is subject to change without notice and is not warranted to be error-free. If you find any errors, please report them to us in writing. If this is software or related software documentation that is delivered to the U.S. Government or anyone licensing it on behalf of the U.S. Government, the following notice is applicable: U.S. GOVERNMENT RIGHTS Programs, software, databases, and related documentation and technical data delivered to U.S. Government customers are “commercial computer software” or “commercial technical data” pursuant to the applicable Federal Acquisition Regulation and agency-specific supplemental regulations. As such, the use, duplication, disclosure, modification, and adaptation shall be subject to the restrictions and license terms setforth in the applicable Government contract, and, to the extent applicable by the terms of the Government contract, the additional rights set forth in FAR 52.227-19, Commercial Computer Software License (December 2007). Oracle America, Inc., 500 Oracle Parkway, Redwood City, CA 94065.
    [Show full text]
  • Cascading Style Sheet Web Tool
    CASCADING STYLE SHEET WEB TOOL _______________ A Thesis Presented to the Faculty of San Diego State University _______________ In Partial Fulfillment of the Requirements for the Degree Master of Science in Computer Science _______________ by Kalthoum Y. Adam Summer 2011 iii Copyright © 2011 by Kalthoum Y. Adam All Rights Reserved iv DEDICATION I dedicate this work to my parents who taught me not to give up on fulfilling my dreams. To my faithful husband for his continued support and motivation. To my sons who were my great inspiration. To all my family and friends for being there for me when I needed them most. v ABSTRACT OF THE THESIS Cascading Style Sheet Web Tool by Kalthoum Y. Adam Master of Science in Computer Science San Diego State University, 2011 Cascading Style Sheet (CSS) is a style language that separates the style of a web document from its content. It is used to customize the layout and control the appearance of web pages written by markup languages. CSS saves time while developing the web page by applying the same layout and style to all pages in the website. Furthermore, it makes the website easy to maintain by just editing one file. In this thesis, we developed a CSS web tool that is intended to web developers who will hand-code their HTML and CSS to have a complete control over the web page layout and style. The tool is a form wizard that helps developers through a user-friendly interface to create a website template with a valid CSS and XHTML code.
    [Show full text]
  • How to Make a Simple Web Page Using HTML
    How to make a simple web page using HTML Introduction to HTML HTML For this class, you will have to create a web page using HTML Joke: (from http://www.w3schools.com/html/html_layout.asp): Student: How do you spell HTML? HTML stands for Hyper Text Markup Language Used to create web pages Made up of Tags - commands enclosed in < and >, example <HTML> Opening tag: <HTML> Closing tag: </HTML> HTML page “skeleton” <HTML> - opening HTML tag <HEAD> <TITLE>Page Title</TITLE> </HEAD> <BODY> Page Body </BODY> </HTML> - closing HTML TAG Not all tags need a closing tag, but its always safer to include it An html document should end with the extension “.html” or “.htm” As I will demonstrate, an html document can be written using notepad; no special software is needed HTML Tags First tag: <HTML> First tag in document Tag tells the Internet browser that it is reading an HTML document Without it, the browser would think it was viewing a text document Closed at end of document with </HTML> tag All content of web page is between <HTML> and </HTML> Can think of the <HTML> tag as being a container, since it “holds” the entire content of the web page between the <HTML> and </HTML> tags HTML Tags Next tag: <HEAD> Think of it as a container for aspects of the page that aren't part of the “meat” of the page For the purposes of this intro, will look at the <TITLE> tag and <META name=“description” content=”...”> tag that go within the <HEAD> container; that is, between the <HEAD> and </HEAD> tags Closed with </HEAD> tag <TITLE> Tag Belongs inside the <HEAD> container;
    [Show full text]
  • Formalizing Markup Languages for User Interface
    LU´IS GONZAGA MARTINS FERREIRA FORMALIZING MARKUP LANGUAGES FOR USER INTERFACE Dissertac¸ao˜ para Mestrado em Informatica´ Escola de Engenharia UNIVERSIDADE DO MINHO Braga, 2005 LU´IS GONZAGA MARTINS FERREIRA FORMALIZING MARKUP LANGUAGES FOR USER INTERFACE Dissertac¸ao˜ submetida a` Universidade do Minho para obtenc¸ao˜ do grau de Mestre em Informatica,´ ar´ ea de especializac¸ao˜ em Sistemas Distribu´ıdos, Comunicac¸oes˜ por Computador e Arquitectura de Computadores, elabo- rada sob a orientac¸ao˜ do Professor Doutor Jose´ Nuno de Oliveira, Pro- fessor Associado do Departamento de Informatica´ da Universidade do Minho. Dissertac¸ao˜ desenvolvida no ambitoˆ do Projecto EUREKA IKF (E!2235) Escola de Engenharia UNIVERSIDADE DO MINHO Braga, 2005 A` Ana, Aninhas e Ritinha Abstract This document presents a Dissertation theme, as integral part of Masters Degree in Distributed Systems, Computers Architecture and Computers Communication. The work has as primary objective the application of formal methods in the specifi- cation of presentation layer. Even reaching several relevance HCI concerns, the scope focus essentially on the way how formal methods can be explored to specify user in- terfaces described using markup languages. The state-of-the-art analysis of user interface markup languages and UIML - User Interface Markup Language formal specification are main contributions. Therefore the tabular graphical object OLAP main features are formally specified in VDM-SL and animated using UIML. This research should be considered as a contribution towards a definition of a visual component library , with user interfaces components composition and reuse. i Acknowledgements I would like to thank my supervisor Professor Jose´ Nuno Oliveira, member of DI (Department of Informatics, Minho University1), who encouraged all formal methods research and initiatives at the University, for his useful support and advice during this work.
    [Show full text]