Especificação e Modelação

Métodos Formais em Engenharia de Software

Tópicos

Avisos

23 Fev - Classificações após exame de recurso: serão publicadas em Alunos amanhã.

09 Fev - Por ter faltado, por lapso, a resolução de uma questão do teste de 28-Jan, acrescentou-se essa resolução ao PDF publicado em Material.

08 Fev - Exame de recurso: Sala CPII-208, dia 12-02-2015 (quinta-feira) das 09h00 às 11h00.

08 Fev - Correcção do teste de 28-Jan: está publicada em Material.

05 Fev - Classificações após correcção do teste: estão publicadas em Alunos.

26 Jan - Sala do teste: CPII-201, dia 28-01-2015 (quarta-feira) das 15h00 às 17h00.

19 Jan - Classificações do mini-teste: estão publicadas em Alunos.

19 Jan - Correcção do mini-teste: está publicada em Material.

14 Jan - *Preparação em casa ('Flipped Classroom') da aula de amanhã: estudar o caso de estudo VFS ('Verified File System') e os invariantes 'pc' e 'ri' (228) do respectivo modelo.

06 Jan - Perfil MFES: no final da aula da próxima 5ª-feira (12h) será feita uma breve apresentação dos temas que o perfil MFES tem para oferecer no 2º semestre, na disciplina Laboratório de Engenharia Informática.

06 Jan - Sala do mini-teste: CPII-208, dia 07-01-2015 das 16h00 às 17h00.

14 Dez - O mini-teste de 7-Jan (16h-17h, com consulta) constará de 4 questões (cada uma valendo 2.5 valores) e versará sobre toda a matéria até ao exercício 57, inclusivé.

14 Dez - 'Flipped Classroom' para 18 Dez : estudar os exercícios 47, 48, 56 e 57.

11 Dez - Mini-teste: 7-Jan, das 16h às 17h, sala e matéria a indicar.

09 Dez - (Anúncio) Bolsa BIL 6 meses em Programação funcional avançada : eventuais alunos desta disciplina interessados devem contactar o docente da disciplina ou o Prof. M.M. Barbosa (mbb@di.uminho.pt) até à próxima quinta-feira o mais tardar.

06 Dez - 'Flipped Classroom' para 11 Dez : estudar os exercícios 64, 67 e 68.

29 Nov - 'Flipped Classroom' para 04 Dez : estudar cuidadosamente a ficha Exercícios sobre caso de estudo "O novo plano de estudos do MEI" que está prevista para essas aulas.

22 Nov - 'Flipped Classroom' para 27 Nov : estudar a prova de (79) (anexo dos slides) e os exercícios 40 e 52.

14 Nov - 'Flipped Classroom' para 20 Nov : fazer os exercícios 49, 50, 51, 53 e 54.

10 Nov - No próximo dia 13-Nov vai haver uma aula TP suplementar de EM no horário de ATS (resolução de exercícios).

10 Nov - 'Flipped Classroom' para 13 Nov : fazer os exercícios 44 e 45; derivar a versão PF do invariante do "problema MEI" da aula anterior.

05 Nov - As aulas desta disciplina regressam a partir de hoje à sala DI-0.03.

01 Nov - 'Flipped Classroom' para 6 Nov : fazer os exercícios 31, 33, 34 e 36.

24 Out - 'Flipped Classroom' para 30 Out : (a) fazer os exercícios 25, 26, 27, 29 e 31; (b) completar o modelo 'Propositio de homine et capra et lvpo' em Alloy com factos (slide 35) e correr no Alloy analyser.

22 Out - As aulas desta disciplina passam a partir de hoje a ter lugar na sala DI-0.05.

15 Out - As aulas desta disciplina passam a partir de hoje a ter lugar na sala DI-0.03.

23 Set - As aulas iniciam-se no próximo dia 25 de Setembro, às 9h00, na sala DI 1.08.

22 Set - Criação do site.

This is a subscription service to be automatically notified by e-mail when topics change in this Education/EM web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:

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
Subscribe Daisy to all changes in all webs that start with Web.
   * daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers
Subscribe StarTrekFan to changes to all topics that start with Star except those that end in Wars, sInTheirEyes or shipTroopers.
   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
   * daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
   * buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).

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

TIP 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

r5 - 28 Mar 2005 - 09:40:13 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM