Infelizmente a ferramenta de refactoring do Haskell não está a ser actualizada e não pode ser utilizada. O(s) grupo(s) que pretendam mesmo fazer o projeto em Haskell devem contactar o docente para definir um projeto alternativo.
4 Fev - As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.
30 Jan - As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.
25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).
24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).
24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).
18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.
18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.
10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.
8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .
4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09
23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.
11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).
11 Dez - Preparação em casa('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.
04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.
03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.
27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.
13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).
12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).
29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e
16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.
7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.
30 Set - Os slides de UC2 - CSI já estão disponíveis.
22 Set - Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.
19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).
17 Set - Início das aulas: 19-Set.
09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.
Introdução aos métodos formais e seu papel na programação. Verificação e cálculo de soluções informáticas. Problemas e sistemas de informação para os resolver. Modelos e seu papel na concepção de soluções. Importância da abstracção na captação de requisitos. Limites da tipagem estática. Papel das relações binárias na modelação formal. Bases de dados seguindo o modelo 'key-value pair'. Taxonomia e álgebra das relações binárias. O lema "everything is a relation". 'Model checking' usando a ferramenta Alloy. Demonstração de corrrecção usando álgebra relacional. Noção formal de contrato. Pré-condições mais fracas. Lógica de Hoare em formato relacional.
Regime de avaliação
Duas provas de avaliação (mini-teste + teste) e exame de recurso. Avaliação contínua com base em problemas dados nas aulas TP. As provas escritas são de consulta de material impresso, apenas.
O artigo Modelling an Aircraft Landing System in Event-B descreve a modelação formal de um sistema de controlo do trem de aterragem de um avião baseado nos requisitos impostos pela Federal Aviation Administration dos EUA. Neste artigo o trem de aterragem é modelado a níveis diferentes de abstracção, dando origem a vários modelos nomeados M1, M2, M3, etc, com cada vez mais detalhe.
Os grupos de trabalho devem estudar o artigo acima referido com atenção por forma a perceberem bem qual é o problema que é abordado. Ao mesmo tempo, deverão informar-se sobre a linguagem de modelação Event-B, mas apenas na medida do que é necessário para perceberem o artigo. O que se pretende neste trabalho é exprimir os diferentes modelos M1, M2, M3, etc, usando o NuSMV em vez de Event-B. O nível de detalhe a atingir fica à consideração de cada grupo.
Os grupos deveram entregar por email o trabalho até à data limite de 15-Dez-2017 (um ficheiro zip com todos os modelos desenvolvidos, devidamente comentados).
Enunciado do trabalho sobre Alloy
O Monopólio é um dos jogos de tabuleiro mais populares em todo o mundo. O objectivo deste trabalho é fazerem um modelo Alloy deste jogo, cujas regras podem ser encontradas aqui. Naturalmente, por questões de eficiência na análise será necessário abstrair certos aspectos do jogo (por exemplo, a configuração exacta do tabuleiro ou os valores monetários envolvidos nas transacções), podendo cada grupo escolher diferentes aspectos a abstrair. Fica também à consideração de cada grupo a escolha do idioma de Alloy a usar na modelação da dinâmica do jogo, assim como a escolha das propriedades a verificar. Finalmente, os grupos devem também desenvolver um theme que facilite a compreensão das instâncias.
Os grupos deveram entregar por email o trabalho até à data limite de 21-Jan-2018 (um modelo Alloy, devidamente comentado, e o respectivo theme).
TWiki's Education/MFES1718 webThe Education/MFES1718 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718Copyright 2020 by contributing authors2020-10-19T10:42:06ZWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebHome2020-10-19T10:42:06ZBem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ... (last changed by JoseNunoOliveira)JoseNunoOliveiraCSIhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/CSI2018-11-21T21:01:21ZUC2 Cálculo de Sistemas de Informação E Learning Docente / Horário Docente Foto Horário Sala Nuno Oliveira 5a feira, 14h 17h Sala ... (last changed by JoseNunoOliveira)JoseNunoOliveiraEquipaDocentehttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EquipaDocente2018-09-15T11:20:22ZEquipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Sousa Pinto Alexandre Saraiva ... (last changed by JoseNunoOliveira)JoseNunoOliveiraLEIhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/LEI2018-03-07T08:38:00ZCohesive Project (Lab. EI) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj/papers ... (last changed by JoseNunoOliveira)JoseNunoOliveiraATShttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/ATS2018-02-16T10:59:32ZAnálise e Teste de Software Docentes João Saraiva homepage Alunos Afonso João Borges Cabral Cerejeira da Silva a70387 Afonso Pires Pontes pg35389 ... (last changed by JoaoSaraiva)JoaoSaraivaAChttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/AC2018-02-14T13:56:43ZUC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ... (last changed by JoseProenca)JoseProencaWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebSideBar2018-02-13T18:12:48ZTópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ... (last changed by JoseNunoOliveira)JoseNunoOliveiraAvisoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Avisos2018-02-05T00:42:38Z4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ... (last changed by JoseNunoOliveira)JoseNunoOliveiraVFhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/VF2018-02-01T16:45:06ZUC3 Verificação Formal (2ª semestre) de Verificação Formal 2018 JoseNunoOliveira 11 Sep 2017 (last changed by JorgeSousaPinto)JorgeSousaPintoEMhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EM2018-01-30T09:38:36ZEspecificação e Modelação Docente e horário Docente Foto Horário Sala Alcino Cunha 5a feira, 9h 12h Sala 1.16 (antiga 1.08) Método ... (last changed by AlcinoCunha)AlcinoCunhaCalendariohttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Calendario2017-09-09T11:35:10ZCalendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 09 Sep 2017 (last changed by JoseNunoOliveira)JoseNunoOliveiraWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebPreferences2017-09-08T10:06:23ZEducation/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)AlcinoCunhaWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebStatistics2011-09-10T18:37:19ZStatistics for Education/MFES1718 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)TWikiGuestWebTopicActionshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopicActions2009-09-29T16:53:07Z (last changed by AlcinoCunha)AlcinoCunhaWebCsshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebCss2007-05-03T08:33:47Z.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)AlcinoCunhaWebTopBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopBar2007-02-13T14:43:04Z (last changed by AlcinoCunha)AlcinoCunha
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ...
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ...
Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software.
Este perfil de especialização do MiEI conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.
Todos fazemos parte do Laboratório HASLab/U.Minho
(Formal Methods for High-Assurance Software),
em que se vem consolidando know-how em métodos formais desde há mais de 30 anos.
As disciplinas que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial.
Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ...
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Education/MFES1718 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:
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
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? :
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: 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.
These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.
Natural Skin configuration
Set SKIN=nat
Set SKINSTYLE = Plain
Set STYLEBORDER = thin
Set STYLEBUTTONS = off
Set STYLESIDEBAR = left
Set STYLEVARIATION = none
Set STYLESEARCHBOX = off
Set PAGETITLE = Métodos Formais em Engenharia de Software
Set NATWEBLOGO = Métodos Formais em Engenharia de Software
Web-specific background color: (Pick a lighter one of the StandardColors).
Set WEBBGCOLOR = #D0D0D0
Note: This setting is automatically configured when you create a web
Image, URL and alternate tooltip text of web's logo. Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
Set WEBLOGOALT = Métodos Formais em Engenharia de Software
List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/MFES1718.Topic links. Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
Set SITEMAPLIST = on
Set SITEMAPWHAT = Métodos Formais em Engenharia de Software
Set SITEMAPUSETO = Mestrado Integrado em Engenharia Informática [17/18]
Note: Above settings are automatically configured when you create a web
Exclude web from a web="all" search: (Set to on for hidden webs).
Set NOSEARCHALL =
Note: This setting is automatically configured when you create a web
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Education/MFES1718 web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718
The Education/MFES1718 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Education/MFES1718
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebHome
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ... (last changed by JoseNunoOliveira)2020-10-19T10:42:06ZJoseNunoOliveiraCSI
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/CSI
UC2 Cálculo de Sistemas de Informação E Learning Docente / Horário Docente Foto Horário Sala Nuno Oliveira 5a feira, 14h 17h Sala ... (last changed by JoseNunoOliveira)2018-11-21T21:01:21ZJoseNunoOliveiraEquipaDocente
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EquipaDocente
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Sousa Pinto Alexandre Saraiva ... (last changed by JoseNunoOliveira)2018-09-15T11:20:22ZJoseNunoOliveiraLEI
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/LEI
Cohesive Project (Lab. EI) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj/papers ... (last changed by JoseNunoOliveira)2018-03-07T08:38:00ZJoseNunoOliveiraATS
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/ATS
Análise e Teste de Software Docentes João Saraiva homepage Alunos Afonso João Borges Cabral Cerejeira da Silva a70387 Afonso Pires Pontes pg35389 ... (last changed by JoaoSaraiva)2018-02-16T10:59:32ZJoaoSaraivaAC
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/AC
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ... (last changed by JoseProenca)2018-02-14T13:56:43ZJoseProencaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebSideBar
Tópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ... (last changed by JoseNunoOliveira)2018-02-13T18:12:48ZJoseNunoOliveiraAvisos
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Avisos
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ... (last changed by JoseNunoOliveira)2018-02-05T00:42:38ZJoseNunoOliveiraVF
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/VF
UC3 Verificação Formal (2ª semestre) de Verificação Formal 2018 JoseNunoOliveira 11 Sep 2017 (last changed by JorgeSousaPinto)2018-02-01T16:45:06ZJorgeSousaPintoEM
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EM
Especificação e Modelação Docente e horário Docente Foto Horário Sala Alcino Cunha 5a feira, 9h 12h Sala 1.16 (antiga 1.08) Método ... (last changed by AlcinoCunha)2018-01-30T09:38:36ZAlcinoCunhaCalendario
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Calendario
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 09 Sep 2017 (last changed by JoseNunoOliveira)2017-09-09T11:35:10ZJoseNunoOliveiraWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebPreferences
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2017-09-08T10:06:23ZAlcinoCunhaWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopicActions
(last changed by AlcinoCunha)2009-09-29T16:53:07ZAlcinoCunhaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebCss
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)2007-05-03T08:33:47ZAlcinoCunhaWebTopBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopBar
(last changed by AlcinoCunha)2007-02-13T14:43:04ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebLeftBar
Apresentação Sumários Projectos Material (last changed by AlcinoCunha)2007-02-13T10:35:33ZAlcinoCunha
Infelizmente a ferramenta de refactoring do Haskell não está a ser actualizada e não pode ser utilizada. O(s) grupo(s) que pretendam mesmo fazer o projeto em Haskell devem contactar o docente para definir um projeto alternativo.
4 Fev - As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.
30 Jan - As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.
25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).
24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).
24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).
18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.
18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.
10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.
8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .
4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09
23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.
11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).
11 Dez - Preparação em casa('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.
04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.
03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.
27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.
13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).
12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).
29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e
16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.
7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.
30 Set - Os slides de UC2 - CSI já estão disponíveis.
22 Set - Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.
19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).
17 Set - Início das aulas: 19-Set.
09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.
Introdução aos métodos formais e seu papel na programação. Verificação e cálculo de soluções informáticas. Problemas e sistemas de informação para os resolver. Modelos e seu papel na concepção de soluções. Importância da abstracção na captação de requisitos. Limites da tipagem estática. Papel das relações binárias na modelação formal. Bases de dados seguindo o modelo 'key-value pair'. Taxonomia e álgebra das relações binárias. O lema "everything is a relation". 'Model checking' usando a ferramenta Alloy. Demonstração de corrrecção usando álgebra relacional. Noção formal de contrato. Pré-condições mais fracas. Lógica de Hoare em formato relacional.
Regime de avaliação
Duas provas de avaliação (mini-teste + teste) e exame de recurso. Avaliação contínua com base em problemas dados nas aulas TP. As provas escritas são de consulta de material impresso, apenas.
O artigo Modelling an Aircraft Landing System in Event-B descreve a modelação formal de um sistema de controlo do trem de aterragem de um avião baseado nos requisitos impostos pela Federal Aviation Administration dos EUA. Neste artigo o trem de aterragem é modelado a níveis diferentes de abstracção, dando origem a vários modelos nomeados M1, M2, M3, etc, com cada vez mais detalhe.
Os grupos de trabalho devem estudar o artigo acima referido com atenção por forma a perceberem bem qual é o problema que é abordado. Ao mesmo tempo, deverão informar-se sobre a linguagem de modelação Event-B, mas apenas na medida do que é necessário para perceberem o artigo. O que se pretende neste trabalho é exprimir os diferentes modelos M1, M2, M3, etc, usando o NuSMV em vez de Event-B. O nível de detalhe a atingir fica à consideração de cada grupo.
Os grupos deveram entregar por email o trabalho até à data limite de 15-Dez-2017 (um ficheiro zip com todos os modelos desenvolvidos, devidamente comentados).
Enunciado do trabalho sobre Alloy
O Monopólio é um dos jogos de tabuleiro mais populares em todo o mundo. O objectivo deste trabalho é fazerem um modelo Alloy deste jogo, cujas regras podem ser encontradas aqui. Naturalmente, por questões de eficiência na análise será necessário abstrair certos aspectos do jogo (por exemplo, a configuração exacta do tabuleiro ou os valores monetários envolvidos nas transacções), podendo cada grupo escolher diferentes aspectos a abstrair. Fica também à consideração de cada grupo a escolha do idioma de Alloy a usar na modelação da dinâmica do jogo, assim como a escolha das propriedades a verificar. Finalmente, os grupos devem também desenvolver um theme que facilite a compreensão das instâncias.
Os grupos deveram entregar por email o trabalho até à data limite de 21-Jan-2018 (um modelo Alloy, devidamente comentado, e o respectivo theme).
TWiki's Education/MFES1718 webThe Education/MFES1718 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718Copyright 2020 by contributing authors2020-10-19T10:42:06ZWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebHome2020-10-19T10:42:06ZBem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ... (last changed by JoseNunoOliveira)JoseNunoOliveiraCSIhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/CSI2018-11-21T21:01:21ZUC2 Cálculo de Sistemas de Informação E Learning Docente / Horário Docente Foto Horário Sala Nuno Oliveira 5a feira, 14h 17h Sala ... (last changed by JoseNunoOliveira)JoseNunoOliveiraEquipaDocentehttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EquipaDocente2018-09-15T11:20:22ZEquipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Sousa Pinto Alexandre Saraiva ... (last changed by JoseNunoOliveira)JoseNunoOliveiraLEIhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/LEI2018-03-07T08:38:00ZCohesive Project (Lab. EI) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj/papers ... (last changed by JoseNunoOliveira)JoseNunoOliveiraATShttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/ATS2018-02-16T10:59:32ZAnálise e Teste de Software Docentes João Saraiva homepage Alunos Afonso João Borges Cabral Cerejeira da Silva a70387 Afonso Pires Pontes pg35389 ... (last changed by JoaoSaraiva)JoaoSaraivaAChttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/AC2018-02-14T13:56:43ZUC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ... (last changed by JoseProenca)JoseProencaWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebSideBar2018-02-13T18:12:48ZTópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ... (last changed by JoseNunoOliveira)JoseNunoOliveiraAvisoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Avisos2018-02-05T00:42:38Z4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ... (last changed by JoseNunoOliveira)JoseNunoOliveiraVFhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/VF2018-02-01T16:45:06ZUC3 Verificação Formal (2ª semestre) de Verificação Formal 2018 JoseNunoOliveira 11 Sep 2017 (last changed by JorgeSousaPinto)JorgeSousaPintoEMhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EM2018-01-30T09:38:36ZEspecificação e Modelação Docente e horário Docente Foto Horário Sala Alcino Cunha 5a feira, 9h 12h Sala 1.16 (antiga 1.08) Método ... (last changed by AlcinoCunha)AlcinoCunhaCalendariohttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Calendario2017-09-09T11:35:10ZCalendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 09 Sep 2017 (last changed by JoseNunoOliveira)JoseNunoOliveiraWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebPreferences2017-09-08T10:06:23ZEducation/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)AlcinoCunhaWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebStatistics2011-09-10T18:37:19ZStatistics for Education/MFES1718 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic ... (last changed by TWikiGuest)TWikiGuestWebTopicActionshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopicActions2009-09-29T16:53:07Z (last changed by AlcinoCunha)AlcinoCunhaWebCsshttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebCss2007-05-03T08:33:47Z.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)AlcinoCunhaWebTopBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopBar2007-02-13T14:43:04Z (last changed by AlcinoCunha)AlcinoCunha
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ...
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ...
Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software.
Este perfil de especialização do MiEI conta com uma equipa de docentes altamente qualificados na investigação e ensino de métodos formais aplicados ao desenvolvimento de software.
Todos fazemos parte do Laboratório HASLab/U.Minho
(Formal Methods for High-Assurance Software),
em que se vem consolidando know-how em métodos formais desde há mais de 30 anos.
As disciplinas que compoem MFES corporizam os principais vectores de que depende o projecto de aplicações fiáveis, à escala industrial.
Na sua componente teórica, a visão é a de abordar problemas de software segundo uma autêntica perspectiva de engenharia, que permite - através da modelos sobre os quais é possível raciocinar e calcular - prever o comportamento dos programas antes de serem escritos. Uma vez escritos, MFES ensina como fazer a sua análise e teste, dois ingredientes essenciais à qualidade do software.
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ...
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ...
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ...
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ...
This is a subscription service to be automatically notified by e-mail when topics change in this Education/MFES1718 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:
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
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? :
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: 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.
These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.
Natural Skin configuration
Set SKIN=nat
Set SKINSTYLE = Plain
Set STYLEBORDER = thin
Set STYLEBUTTONS = off
Set STYLESIDEBAR = left
Set STYLEVARIATION = none
Set STYLESEARCHBOX = off
Set PAGETITLE = Métodos Formais em Engenharia de Software
Set NATWEBLOGO = Métodos Formais em Engenharia de Software
Web-specific background color: (Pick a lighter one of the StandardColors).
Set WEBBGCOLOR = #D0D0D0
Note: This setting is automatically configured when you create a web
Image, URL and alternate tooltip text of web's logo. Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.
Set WEBLOGOALT = Métodos Formais em Engenharia de Software
List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/MFES1718.Topic links. Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
Set SITEMAPLIST = on
Set SITEMAPWHAT = Métodos Formais em Engenharia de Software
Set SITEMAPUSETO = Mestrado Integrado em Engenharia Informática [17/18]
Note: Above settings are automatically configured when you create a web
Exclude web from a web="all" search: (Set to on for hidden webs).
Set NOSEARCHALL =
Note: This setting is automatically configured when you create a web
Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
#Set NOAUTOLINK =
Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.
Default template for new topics for this web:
WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
Set WEBFORMS =
Users or groups who are not / are allowed to view / change / rename topics in the Education/MFES1718 web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.
Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
You can introduce your own preferences variables and use them in your topics and templates.
TWiki search results for \.*
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718
The Education/MFES1718 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.en-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Education/MFES1718
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718
/twiki/pub/Main/LocalLogos/um_eengP.jpgWebHome
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebHome
Bem vindo ao Perfil de MFES Bem vindo à página da edição de 2016/17 do perfil de Métodos Formais em Engenharia de Software . Este perfil de especialização do conta ... (last changed by JoseNunoOliveira)2020-10-19T10:42:06ZJoseNunoOliveiraCSI
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/CSI
UC2 Cálculo de Sistemas de Informação E Learning Docente / Horário Docente Foto Horário Sala Nuno Oliveira 5a feira, 14h 17h Sala ... (last changed by JoseNunoOliveira)2018-11-21T21:01:21ZJoseNunoOliveiraEquipaDocente
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EquipaDocente
Equipa docente Soares Barbosa Alcino Cunha João Frade Nuno Oliveira Sousa Pinto Alexandre Saraiva ... (last changed by JoseNunoOliveira)2018-09-15T11:20:22ZJoseNunoOliveiraLEI
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/LEI
Cohesive Project (Lab. EI) Interesting and useful slides for preparing your milestone presentations: http://research.microsoft.com/en us/um/people/simonpj/papers ... (last changed by JoseNunoOliveira)2018-03-07T08:38:00ZJoseNunoOliveiraATS
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/ATS
Análise e Teste de Software Docentes João Saraiva homepage Alunos Afonso João Borges Cabral Cerejeira da Silva a70387 Afonso Pires Pontes pg35389 ... (last changed by JoaoSaraiva)2018-02-16T10:59:32ZJoaoSaraivaAC
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/AC
UC4 Arquitectura e Cálculo (2ª semestre) Este curso tem por objectivo o estudo de modelos e cálculos em arquitectura de software, com ênfase nos sistemas reactivos ... (last changed by JoseProenca)2018-02-14T13:56:43ZJoseProencaWebSideBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebSideBar
Tópicos Bem vindo a MFES principal Docentes Contacto Sumários OC Análise e Teste de Software UC1 Especificação e Modelação ... (last changed by JoseNunoOliveira)2018-02-13T18:12:48ZJoseNunoOliveiraAvisos
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Avisos
4 Fev As notas finais de UC2 CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente. 30 ... (last changed by JoseNunoOliveira)2018-02-05T00:42:38ZJoseNunoOliveiraVF
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/VF
UC3 Verificação Formal (2ª semestre) de Verificação Formal 2018 JoseNunoOliveira 11 Sep 2017 (last changed by JorgeSousaPinto)2018-02-01T16:45:06ZJorgeSousaPintoEM
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/EM
Especificação e Modelação Docente e horário Docente Foto Horário Sala Alcino Cunha 5a feira, 9h 12h Sala 1.16 (antiga 1.08) Método ... (last changed by AlcinoCunha)2018-01-30T09:38:36ZAlcinoCunhaCalendario
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/Calendario
Calendarização / Sumários Actualização contínua no calendário: JoseNunoOliveira 09 Sep 2017 (last changed by JoseNunoOliveira)2017-09-09T11:35:10ZJoseNunoOliveiraWebPreferences
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebPreferences
Education/MFES1718 Web Preferences The following settings are web preferences of the Education/MFES1718 web. These preferences overwrite the site level preferences ... (last changed by AlcinoCunha)2017-09-08T10:06:23ZAlcinoCunhaWebTopicActions
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopicActions
(last changed by AlcinoCunha)2009-09-29T16:53:07ZAlcinoCunhaWebCss
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebCss
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... (last changed by AlcinoCunha)2007-05-03T08:33:47ZAlcinoCunhaWebTopBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebTopBar
(last changed by AlcinoCunha)2007-02-13T14:43:04ZAlcinoCunhaWebLeftBar
http://wiki.di.uminho.pt/twiki/bin/view/Education/MFES1718/WebLeftBar
Apresentação Sumários Projectos Material (last changed by AlcinoCunha)2007-02-13T10:35:33ZAlcinoCunha
4 Fev - As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.
30 Jan - As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.
25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).
24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).
24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).
18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.
18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.
10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.
8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .
4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09
23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.
11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).
11 Dez - Preparação em casa('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.
04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.
03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.
27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.
13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).
12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).
29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e
16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.
7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.
30 Set - Os slides de UC2 - CSI já estão disponíveis.
22 Set - Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.
19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).
17 Set - Início das aulas: 19-Set.
09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.
4 Fev - As notas finais de UC2 - CSI já se encontram na respectiva página. Os exames podem ser consultados dia 6 de Fevereiro às 15:00 no gabinete do docente.
30 Jan - As notas finais de UC1 - EM já se encontram na respectiva página. Os exames podem ser consultados dia 2 de Fevereiro às 14:00 no gabinete do docente.
25 Jan - A aula de dúvidas de UC2 - CSI já está narcada no calendário (30-Jan de tarde, na sala do costume).
24 Jan - A hora do exame de UC1 - EM foi alterada para as 9h00 do dia 25 de Janeiro (sala CP2 111).
24 Jan - A hora do exame de UC2 - CSI foi alterada para as 11h00 do dia 1 de Fevereiro (sala CP2-105).
18 Jan - A entrega do trabalho de Alloy foi adiada para o dia 21 de Janeiro.
18 Jan - As notas do teste de UC1 - EM já se encontram na respectiva página. Os testes podem ser consultados dia 19 de Janeiro às 14:00 no gabinete do docente.
10 Jan - As notas do teste de UC2 - CSI já se encontram na respectiva página.
8 Jan - Colocados na página de CSI os enunciados das provas de avaliação com propostas de resolução .
4 Jan - A aula suplementar de hoje terá lugar na sala DI 1.09
23 Dez - As notas do miniteste de UC2 - CSI já se encontram na respectiva página.
11 Dez - As aulas de reposição do dia 13, 4ª feira, serão na Sala de Reuniões do DIUM do 3º andar (não foi possível obter nenhuma sala comum, está tudo cheio nesse dia).
11 Dez - Preparação em casa('Flipped Classroom') das aulas de CSI desta semana (2 dias): ler até ao slide 172 (para 4ª-feira) e daí fazer os exercícios que estão nesta folha.
04 Dez - CSI: sessão de dúvidas - amanhã à tarde, após as 16h30, o docente estará disponível para tirar dúvidas para o mimi-teste.
03 Dez - CSI: pf vejam as FAQs que vão aparecendo ao fundo da página de CSI.
27 Nov - CSI: Por colisão de agenda com um júri da FEUP em que o docente participa, o miniteste terá que ser adiado 1 semana. Esta semana apenas permanece a aula T das 17h-18h.
13 Nov - As aulas de reposição da próxima 4ª-feira dia 15 terão lugar no Anfiteatro DI-1.01 (vulg. A2).
12 Out - Preparação em casa das aulas de CSI desta semana (2 dias): ler até ao slide 114 e preparar os exercícios 28-31 e 43-44. NB: há uma nova versão dos slides, com algumas alterações (204 slides no total).
29 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 92 e preparar os exercícios 19, 21, 22 e
16 Out - Preparação em casa da aula de CSI desta semana: ler até ao slide 62 e preparar os exercícios 7, 8, 12, 14 e 15.
7 Out - Preparação em casa da aula de CSI da próxima semana: ler até ao slide 44 e estudar os exercícios 1 e 4.
30 Set - Os slides de UC2 - CSI já estão disponíveis.
22 Set - Idealmente, na próxima aula de UC1 - EM devem já trazer a ferramenta NuSMV instalada.
19 Set - As aulas da disciplina UC2 - CSI só se iniciam a 28-Set (docente esta semana em missão no estrangeiro).
17 Set - Início das aulas: 19-Set.
09 Set - Aguarda-se informação da Direcção de Curso sobre data do início das aulas das disciplinas deste perfil.
As notas finais de 
(versão de 21-Nov-17, 203 slides)
Todos fazemos parte do Laboratório 
Tip: List names in alphabetical order to make it easier to find the names.
Rename, move or delete this web: 
If you already know the name of the topic, enter the name of the topic into the 
List topics that start with the letter: 
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.
Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.