TWiki
>
Mefes Web
>
WebHome
(revision 8) (raw view)
Edit
Attach
---+!! %MAKETEXT{"Seja bem vindo ao MEFES - Métodos Formais em Engenharia de Software"}% ---++ %MAKETEXT{"Apresentação"}% <font face="arial,sans-serif" color="#000099" size="2"><font style="font-size: 9pt; font-family: Arial">Com a crescente utilização da informática em nossas vidas, é cada vez maior a nossa dependência nos programas de computadores. Não é exagero afirmar que em muitas situações nossas vidas dependem de programas de computadores. Como exemplos de sistemas críticos, podemos mencionar os programas que controlam a dosagem de radiação aplicada a um paciente em tratamento radioterápico, os vários programas controlam o reator de uma usina nuclear, o uso de programas e computadores em aviões, bem como em sistemas de transportes públicos, como trens e metrôs. Uma falha em programas como os acima citados podem levar a grandes perdas econômicas, e o que é pior, podem causar também perdas de vidas. Segundo Bertrand Meyer, “se um sistema não faz aquilo que ele deveria fazer, então muito pouco resta de relevância sobre ele”. Dentre todos os critérios de qualidade de software, corretude é o mais fundamental. Trata-se de um conceito intrinsecamente relativo, uma vez que requer uma referencia. Dizer que um sistema é correto, significa afirmar que sua implementação é consistente, ou satisfaz, a sua especificação (a referência). Um método de desenvolvimento de sistemas que permite a definição precisa de um problema, e avança em direção a uma implementação que é provada correta em relação à dada especificação, é considerado formal. A pré-condição necessária para assegurar a corretude é basear o processo de desenvolvimento de um sistema em um método formal. O MEFES visa a proposição de processos de desenvolvimento de softwares que sejam sistemáticos, baseados em métodos e ferramentas, e aplicáveis a sistemas reais. Tendo sempre em mente a produção de software de qualidade, focando principalmente no aspecto de corretude, dentro de limites previsíveis de tempo e custo.</font> </font> ---++ <nop>%WEB% Web Utilities <form action='%SCRIPTURLPATH{"search"}%/%WEB%/'> * <input type="text" name="search" size="22" /> <input type="submit" class="twikiSubmit" value="%MAKETEXT{"Search"}%" /> - [[WebSearchAdvanced][%MAKETEXT{"advanced search"}%]] * WebTopicList - all topics in alphabetical order * WebChanges - recent topic changes in this web * WebNotify - subscribe to an e-mail alert sent when topics change * WebRss, WebAtom - RSS and ATOM news feeds of topic changes * WebStatistics - listing popular topics and top contributors * WebPreferences - preferences of this web </form>
Edit
|
Attach
|
P
rint version
|
H
istory
:
r9
<
r8
<
r7
<
r6
<
r5
|
B
acklinks
|
V
iew topic
|
Raw edit
|
More topic actions...
Topic revision: r8 - 08 Oct 2008 - 09:49:21 -
DiegoDias
?
Mefes
Log In
or
Register
Mefes Web
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
Webs
Abacos
Acbahia
AnpedGT16
ArcoDigital
Argumento
Avsan
CalculoB
Ceb
Cetad
CetadObserva
Cibercultura
Ciberfem
CiberParque
ColoquioCiags
Coloquiofasa
ConexoesSaberes
Cpdteste
Cppd
Creche
Cridi
Da
DACN
DCE
DelzaTeste
DeniseCarla
DepHistoria
DicionarioBelasartes
Ecologia
EDC
Educandow
EduMus
EleicoesReitor2010
Encima
Enearte
Estruturas
EstruturasEng
FACED
FAT
FepFaced
GEC
GeneticaBiodiversidade
GeneticaBiodiversidade3
GeneticaBiodiversidade
Gepindi
GetecEng
Godofredofilho
GrupoAlgebra
ICI010
Informev
Ites
LabioComp
LEG
Lepeja
Letras
LivroLivreSalvador
Main
MaisUm
Mata07
Mefes
MefesCpd
MetaReciclagem
Neclif
NelsonPretto
Nuclear
Numcad
Nutricao
Observa
OrfaosdeRua
PauloCostaLima
PdI
PescandoLetras
PETFilosofia
Pgif
PGNUT
PortalPpga
PosCultura
Pospetroigeo
PPGAC
PPGE
PpggBio
Ppggenbio
Pretto
Proad
PROGESP
ProjetoLencois
Quimica
RadioFACED
RadioTeatro
RadioWeb
Riosymposium10
Ripe
Salasdoctai
Sat
Sedu
SemBio
SeminarioPibid
SimoneLucena
Sociologia
SSL
Tabuleiro
TabuleirosUfba
TCinema
TerritoriosDigitais
TWiki
Twikidea
UFBAIrece
UniversidadeNova
VizinhoEstrangeiro
XIISNHCT
Български
English
Español
日本語
Português
Copyright &© by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback