PhD Thesis

• Benchmark-based Software Product Quality Evaluation, Defended on May 2012. (PDF)

Publications

2013

• Quality Assurance Challenges in the OutSystems Platform, Tiago L. Alves, INForum 2013 - Industrial Challenges, Simpósio de Informática. (PDF)

2011

• Benchmark-based Aggregation of Metrics to Ratings, Tiago L. Alves, José Pedro Correia, and Joost Visser, IWSM/MENSURA 2011, The Joint Conference of the 21th International Workshop on Software Measurement (IWSM) and the 6th International Conference on Software Process and Product Measurement (Mensura). To Appear. (PDF)
• Categories of Source Code in Industrial Systems, Tiago L. Alves, ESEM 2011, 5th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. To Appear. (PDF) (Presentation)
• Comparative Study of Code Query Technologies, Tiago L. Alves, Peter Rademaker, and Jurriaan Hage, SCAM 2011, 11th IEEE International Working Conference on Source Code Analysis and Manipulation. To appear. (PDF) (For the full queries used in the paper please contact the authors).
• Comparative Study of Code Query Technologies, Tiago L. Alves, Peter Rademaker, and Jurriaan Hage, Technical Report UU-CS-2011-009, Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands, April 2011, ISSN 0924-3275 (PDF)
• Type-safe Evolution of Spreadsheets, Jácome Cunha, Joost Visser, Tiago Alves, and João Saraiva, FASE 2011, Fundamental Approaches to Software Engineering. To appear. (PDF)

2010

• Deriving Metric Thresholds from Benchmark Data, Tiago L. Alves, Christiaan Ypma, and Joost Visser, ICSM 2010, 26th IEEE International Conference on Software Maintenance. To appear. (PDF) (Presentation)
• Assessment of Product Maintainability for Two Space Domain Simulators, Tiago L. Alves, ICSM 2010, 26th IEEE International Conference on Software Maintenance. To appear. (PDF) (Presentation)
• Tool-based Analysis of Space Domain Simulators, Tiago L. Alves, SESP 2010, 11th International Workshop on Simulation for European Space Programmes. To appear. (Abstract) (Paper) (Presentation)

2009

• Static Estimation of Test Coverage, Tiago L. Alves and Joost Visser, SCAM 2009, Ninth IEEE International Working Conference on Source Code Analysis and Manipulation. To appear. (PDF) (For detailled analysis results or the SemmleCode queries, please contact the authors).
• Requirements for Technical Quality of Software Products, Tiago L. Alves, European Ground System Architecture Workshop (ESAW), Darmstadt, Germany, 2009 (Abstract) (Poster)

2008

• A Case Study in Grammar Engineering, Tiago L. Alves and Joost Visser, 1st International Conference on Software Language Engineering (SLE 2008), Springer's Lecture Notes in Computer Science Series, 2008. (PDF)
• Constraint-aware Schema Transformation, Tiago L. Alves, Paulo F. Silva, and Joost Visser, 9th International Workshop on Rule-Based Programming (RULE 2008), Electronic Notes in Theoretical Computer Science, 2008. To appear. (PDF)
• Evaluation of code query technologies for industrial use, Tiago L. Alves and Peter Rademaker, Presented in the Query Technologies and Applications for Program Comprehension (QTAPC 2008), May 2008 (PDF)
• Static Estimation of Test Coverage (abstract), Tiago L. Alves and Joost Visser, 7th BElgian-NEtherlands software eVOLution workshop (Benevol 2008), Technical report of Eindhoven University of Technology, 2008. CS-Report 08-30. (PDF)

2007

• SdfMetz: Extraction of Metrics and Graphs From Syntax Definitions - Tool Demonstration, Tiago Alves and Joost Visser, Presented In Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007), but not published, 2007. (PDF)

2005

• Strategic Term Rewriting And Its Application To A VDM-SL to SQL Conversion, Tiago L. Alves, Paulo F. Silva, Joost Visser, and José Nuno Oliveira, Formal Methods 2005, Lecture Notes in Computer Science, Volume 3582, July 2005, Pages 399-414, Springer© [[http://repositorium.sdum.uminho.pt/bitstream/1822/6435/1/fm05vdm_jno.pdf[(PDF)]]
• Grammar-centered Development of VDM Support, Tiago Alves and Joost Visser, In Fitzgerald, J. S., Larsen, P. G., Plat, N. (eds.), Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR969, School of Computing Science, Newcastle University, June 2006. (PDF)
• Development of an Industrial Strength Grammar for VDM, Tiago Alves and Joost Visser, Technical Report DI-Research.PURe-05.04.29, University of Minho, Braga, Portugal, April 2005 (PDF).
• Metrication of SDF Grammars, Tiago Alves and Joost Visser, Technical Report DI-Research.PURe-05.05.01, University of Minho, Braga, Portugal, May 2005 (PDF).

Drafts

• SdfMetz: Extraction of Metrics and Graphs From Syntax Definitions, Tiago L. Alves and Joost Visser, Draft July 2008 (PDF) Grammar Metrics Spreadsheet: (XLS)

Presentations

• Benchmark-based Software Product Quality
  • 2011-07-20: HASLab Seminars UMinho. (PDF)
  • 2011-06-23: PEM Talk, SEN1, Centrum Wiskunde & Informatica (CWI). (PDF)
  • 2011-06-22: Automatic Program Analysis MSc Course, University of Utrecht. (PDF)
• Comparative Study of Code Query Technologies
  • 2009-04-23: Centrum Wiskunde & Informatica. (PDF)
  • 2009-03-25: Technical University Eindhoven. (PDF)
• Static Estimation of Test Coverage
  • 2008-12-12: BENEVOL'08. (Powerpoint)
  • 2008-11-27: IPA Herfstdagen. (Abstract) (PDF)
  • 2008-05-29: TU Delft. (PDF)
• A Case Study in Grammar Engineering
  • 2008-10-30: SLE'08. (PDF)
• Constraint-aware Schema Transformation
  • 2008-07-18: RULE'08. (Powerpoint)
  • 2008-01-23: Fast. (Powerpoint)

50 Recent Changes in TWiki Web retrieved at 18:13 (GMT)

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

See also the faster WebTopicList

• TWikiGuest - example@your.company

Web Changes Notification Service

Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.

Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:

three spaces * [ webname . ] wikiName - SMTP mail address
three spaces * [ webName . ] wikiName
three spaces * SMTP mail address
three spaces * SMTP mail address : topics
three spaces * [ webname . ] wikiName : topics

In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:

• Specify topics without a Web. prefix
• Topics must exist in this web.
• Topics may be specified using * wildcards
• Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
• Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
• Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.

For example: Subscribe Daisy to all changes to topics in this web.

   * daisy.cutter@flowers.com

   * daisy.cutter@flowers.com: Web*

   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers

   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers

   * daisy@flowers.com: TWiki.NewsLetter?

   * buttercup@flowers.com: TWiki.NewsLetter! (1)

   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter

If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.

Tip: List names in alphabetical order to make it easier to find the names.

Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.

Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.

Related topics: WebChangesAlert, TWikiUsers, TWikiRegistration

Warning

Can't INCLUDE TWiki.WebSearchAdvanced repeatedly, topic is already included.

Create New Topic in Personal/Tiago Web

Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.